coq-packages.nix
|
coq_8_14: init at 8.14+rc1
|
2021-10-13 10:44:09 +02:00 |
ocaml-packages.nix
|
ocamlPackages.color: init at 0.2.0
|
2021-10-16 19:12:56 +02:00 |
php-packages.nix
|
phpExtensions.amqp: init at 1.11.0beta
|
2021-10-08 18:10:44 +02:00 |
qt5-packages.nix
|
qcoro: init at 0.3.0
|
2021-10-16 14:09:20 -04:00 |