aliases.nix
|
Merge pull request #88476 from veprbl/pr/rivet3
|
2020-05-26 15:52:08 -04:00 |
all-packages.nix
|
python3: now points to python38
|
2020-06-04 18:08:29 +02:00 |
coq-packages.nix
|
coq: use OCaml 4.09
|
2020-05-27 10:12:22 +02:00 |
perl-packages.nix
|
perlPackages.DataULID: init at 1.0.0
|
2020-05-29 22:53:13 +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 |