coq-packages.nix
|
coq_8_12: init at 8.12+β1
|
2020-06-19 12:28:42 +02:00 |
dhall-packages.nix
|
Nixpkgs support for dhall-to-nixpkgs
|
2020-06-17 15:57:21 +02:00 |
haskell-packages.nix
|
ghcHEAD: 20200403 -> 20200505
|
2020-05-08 21:11:46 +02:00 |
python-packages.nix
|
maestral: 0.6.4 -> 1.1.0
|
2020-06-22 13:36:52 -07:00 |
release-lib.nix
|
release-lib: Avoid filtering twice
|
2020-06-12 15:23:21 -04:00 |
static.nix
|
libexecinfo: fix building statically
|
2020-06-08 17:47:51 -05:00 |