aliases.nix
|
Merge pull request #88620 from doronbehar/wrapMpv
|
2020-05-25 10:56:04 -03:00 |
all-packages.nix
|
Merge pull request #85898 from NickHu/rmapi
|
2020-05-25 19:00:20 +02: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 |
release.nix
|
agda: rework builder
|
2020-05-14 20:54:11 +01:00 |
static.nix
|
arrow-cpp: 0.16.0 -> 0.17.0
|
2020-05-11 22:34:24 -04:00 |