agda-packages.nix
|
agdaPackages.generics: init at 1.0.1
|
2024-07-01 17:11:41 +02:00 |
coq-packages.nix
|
coq_8_20: init at 8.20+rc1 (#323105)
|
2024-06-28 15:47:38 +02:00 |
kodi-packages.nix
|
kodi-skyvideoitalia: init at 1.0.4
|
2024-06-21 21:37:44 +02: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 |
python-aliases.nix
|
python311Packages.faster-fifo: drop
|
2024-07-02 10:25:01 +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 |