aliases.nix
|
fwupdate: remove
|
2020-05-19 08:57:27 +10:00 |
all-packages.nix
|
rivet: 2.7.2 -> 3.1.1
|
2020-05-25 01:01:22 -04:00 |
coq-packages.nix
|
coq_8_11: 8.11.1 → 8.11.2
|
2020-05-20 19:21:42 +02:00 |
haskell-packages.nix
|
ghcHEAD: 20200403 -> 20200505
|
2020-05-08 21:11:46 +02:00 |
make-tarball.nix
|
nix-daemon.nix: Add option nix.registry
|
2020-04-02 19:38:00 +02:00 |
python-packages.nix
|
rivet: 2.7.2 -> 3.1.1
|
2020-05-25 01:01:22 -04:00 |
release.nix
|
agda: rework builder
|
2020-05-14 20:54:11 +01:00 |
static.nix
|
pkgsStatic.python3: fix build
|
2020-03-30 17:06:38 +02:00 |