coq-packages.nix
|
coqPackages.itauto: init at 8.13+no
|
2021-07-01 21:46:19 +07:00 |
ocaml-packages.nix
|
Merge master into staging-next
|
2021-07-02 12:01:08 +00:00 |
php-packages.nix
|
phpPackages.dom: drop patch
|
2021-07-01 14:07:39 +02:00 |
stage.nix
|
top-level: fix typo
|
2021-06-17 11:16:37 +02:00 |