aliases.nix
|
monero: rename to monero-cli
|
2021-11-28 11:35:14 +01:00 |
coq-packages.nix
|
compcert: 3.9 → 3.10
|
2021-11-29 08:45:34 +01:00 |
php-packages.nix
|
php80Extensions.xmlreader: fix build
|
2021-11-25 18:18:21 +01:00 |
python2-packages.nix
|
python2Packages.keyring: drop
|
2021-11-25 08:44:54 -08:00 |