aliases.nix
|
webkitgtk24x-gtk{3.2}: remove
|
2019-12-05 07:01:28 -05:00 |
all-packages.nix
|
cherry pick
|
2019-12-08 11:17:32 +01:00 |
coq-packages.nix
|
coq_8_10: 8.10.1 → 8.10.2
|
2019-12-03 13:51:52 +00:00 |
php-packages.nix
|
phpPackages.xdebug: 2.8.0 -> 2.8.1
|
2019-12-07 12:51:19 +03:00 |
stage.nix
|
symlinkJoin: fix cross
|
2019-10-28 15:12:35 +00:00 |