all-packages.nix
|
gremlin-console: 3.4.10 -> 3.5.0
|
2021-05-15 08:59:18 +02:00 |
coq-packages.nix
|
coq: default to version 8.13
|
2021-05-10 18:57:58 +02:00 |
php-packages.nix
|
php.packages.deployer: init at 6.8.0
|
2021-05-05 08:38:28 -04:00 |
python-packages.nix
|
py-dmidecode: init at 0.1.0
|
2021-05-12 09:36:21 +01:00 |