all-packages.nix
|
josm: fix package
|
2020-05-08 20:11:50 +02:00 |
coq-packages.nix
|
coq_8_11: 8.11.0 → 8.11.1
|
2020-04-05 15:32:32 +02:00 |
haskell-packages.nix
|
ghc: drop 8.8.1
|
2020-04-24 21:48:28 +02:00 |
make-tarball.nix
|
nix-daemon.nix: Add option nix.registry
|
2020-04-02 19:38:00 +02:00 |
python-packages.nix
|
safety-cli: init at 0.5.1
|
2020-05-08 09:23:18 -07:00 |
static.nix
|
pkgsStatic.python3: fix build
|
2020-03-30 17:06:38 +02:00 |