agda-packages.nix
|
agdaPackages.generic: init at v0.1
|
2020-08-10 14:56:23 +01:00 |
aliases.nix
|
Merge staging-next into staging
|
2020-08-15 09:12:42 +02:00 |
all-packages.nix
|
Merge staging-next into staging
|
2020-08-15 09:12:42 +02:00 |
beam-packages.nix
|
erlangR23: init at 23.0.2
|
2020-06-10 20:06:12 +02:00 |
coq-packages.nix
|
coq_8_12: 8.12+β1 → 8.12.0
|
2020-08-08 06:33:08 +02:00 |
dhall-packages.nix
|
Nixpkgs support for dhall-to-nixpkgs
|
2020-06-17 15:57:21 +02:00 |
haskell-packages.nix
|
ghc-8.10.x: add v8.10.2
|
2020-08-08 22:32:58 +02:00 |
make-tarball.nix
|
Remove tmp file from tarball job
|
2020-07-14 20:02:31 -07:00 |
release-cross.nix
|
pkgs/top-level: add x86_64-redox
|
2020-07-26 04:46:22 -07:00 |
release-lib.nix
|
release-lib: Avoid filtering twice
|
2020-06-12 15:23:21 -04:00 |
release.nix
|
pkgs: Add pkgs-lib structure
|
2020-07-29 18:08:20 +02:00 |
static.nix
|
python35: remove
|
2020-08-12 21:57:18 -07:00 |