all-packages.nix
|
Merge master into staging-next
|
2019-02-24 09:19:12 +01:00 |
coq-packages.nix
|
coqPackages.paramcoq: init at 1.1.1
|
2019-02-17 15:56:43 +01:00 |
default.nix
|
top-level: fix a typo
|
2019-02-03 15:30:13 +00:00 |
impure.nix
|
top-level: cleanup whitespace
|
2019-02-03 15:30:14 +00:00 |
php-packages.nix
|
phpPackages.phpstan: 0.11.1 -> 0.11.2
|
2019-02-12 17:49:05 +01:00 |
python-packages.nix
|
Merge master into staging-next
|
2019-02-24 09:19:12 +01:00 |
stage.nix
|
Partially revert 755e824
|
2019-02-03 18:22:22 +07:00 |