coq-packages.nix
|
coqPackages.coq-hammer: init at 1.3.2
|
2024-06-27 07:09:32 +02:00 |
kodi-packages.nix
|
kodi-skyvideoitalia: init at 1.0.4
|
2024-06-21 21:37:44 +02:00 |
linux-kernels.nix
|
Merge pull request #310778 from wineee/dde23
|
2024-06-25 09:52:28 +08:00 |
ocaml-packages.nix
|
ocamlPackages.eqaf: 0.9 → 0.10
|
2024-06-24 09:46:02 +02:00 |
php-packages.nix
|
phpExtensions.intl: icu64 -> icu73
|
2024-06-21 08:27:45 +02:00 |
release.nix
|
pkgs/top-level: stop permitting openssl 1.1
|
2024-06-24 02:25:04 +02:00 |
stage.nix
|
Revert #320852: Clean up cross bootstrapping
|
2024-06-21 07:48:24 +02:00 |