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 |
python-packages.nix
|
python3Packages.empy: init at 3.3.4
|
2021-12-05 00:58:01 -06:00 |
splice.nix
|
top-level: add depsHostHost splicing
|
2021-12-02 17:22:54 -08:00 |