aliases.nix
|
mbedtls_1_3: clarify deprecation message
|
2019-12-11 10:55:40 +01:00 |
all-packages.nix
|
root: 6.12.06 -> 6.18.04
|
2019-12-14 01:28:27 -08:00 |
coq-packages.nix
|
coq_8_10: 8.10.1 → 8.10.2
|
2019-12-03 13:51:52 +00:00 |
stage.nix
|
symlinkJoin: fix cross
|
2019-10-28 15:12:35 +00:00 |