coq-packages.nix
|
coq: use OCaml 4.09
|
2020-05-27 10:12:22 +02:00 |
ocaml-packages.nix
|
graphql_ppx: init at 0.7.1
|
2020-06-09 08:56:18 +02:00 |
perl-packages.nix
|
perlPackages.DataULID: init at 1.0.0
|
2020-05-29 22:53:13 +02:00 |
static.nix
|
libexecinfo: fix building statically
|
2020-06-08 17:47:51 -05:00 |