coq-packages.nix
|
coqPackages.itauto: init at 8.13+no
|
2021-07-01 21:46:19 +07:00 |
php-packages.nix
|
phpPackages.dom: drop patch
|
2021-07-01 14:07:39 +02:00 |
python-packages.nix
|
python3.pkgs.dftfit: remove
|
2021-07-03 08:45:31 +02:00 |
python2-packages.nix
|
Merge master into staging-next
|
2021-06-23 18:04:30 +00:00 |
stage.nix
|
top-level: fix typo
|
2021-06-17 11:16:37 +02:00 |