aliases.nix
|
caddy1: remove
|
2020-10-02 23:50:59 +10:00 |
all-packages.nix
|
compcert: build with Coq 8.11
|
2020-10-05 16:39:26 +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
|
xmlsort: missing dependency
|
2020-10-05 13:49:31 +08:00 |