all-packages.nix
|
Merge pull request #148521 from polygon/fspy
|
2021-12-05 06:04:21 +01:00 |
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 |
splice.nix
|
top-level: add depsHostHost splicing
|
2021-12-02 17:22:54 -08:00 |