all-packages.nix
|
Merge master into staging-next
|
2020-10-13 19:34:34 +02:00 |
beam-packages.nix
|
elixir_1_6: remove
|
2020-09-24 15:14:52 +02:00 |
coq-packages.nix
|
coqPackages.VST: init at 2.6
|
2020-10-05 16:39:26 +02:00 |
default.nix
|
top-level: ignore unexpected args
|
2020-10-01 11:21:32 -07:00 |
ocaml-packages.nix
|
ocamlPackages.z3: init at 4.8.9
|
2020-09-30 22:03:17 +02:00 |
perl-packages.nix
|
Merge master into staging-next
|
2020-10-08 21:47:26 +02:00 |