all-packages.nix
|
Merge pull request #66821 from ehmry/irssi
|
2019-08-19 13:52:35 +02:00 |
coq-packages.nix
|
elpi: 1.4.1 -> 1.6.0, and coq-elpi
|
2019-08-09 08:47:52 +00:00 |
dotnet-packages.nix
|
dafny: 2.1.0 -> 2.3.0
|
2019-06-20 17:15:27 +02:00 |
ocaml-packages.nix
|
ocamlPackages.mmap: init at 1.1.0
|
2019-08-16 06:28:28 +00:00 |
perl-packages.nix
|
Merge master into staging-next
|
2019-08-09 14:00:27 +02:00 |