aliases.nix
|
firestr: remove package
|
2019-12-08 23:27:48 +01:00 |
coq-packages.nix
|
coq_8_10: 8.10.1 → 8.10.2
|
2019-12-03 13:51:52 +00:00 |
python-packages.nix
|
stups-zign: init at 1.2
|
2019-12-08 15:51:23 +01:00 |
stage.nix
|
symlinkJoin: fix cross
|
2019-10-28 15:12:35 +00:00 |