coq-packages.nix
|
coq_8_14: 8.14.0 → 8.14.1
|
2021-12-01 13:46:15 +01:00 |
java-packages.nix
|
OpenJDK: expose more versions
|
2021-12-02 17:54:20 -08:00 |
ocaml-packages.nix
|
ocamlPackages.optcomp: remove broken
|
2021-12-06 13:48:32 +01:00 |
php-packages.nix
|
php80Extensions.xmlreader: fix build
|
2021-11-25 18:18:21 +01:00 |
splice.nix
|
top-level: add depsHostHost splicing
|
2021-12-02 17:22:54 -08:00 |