aliases.nix
|
ppl-address-book: delete
|
2019-05-03 18:47:17 +02:00 |
all-packages.nix
|
creduce: 2.8.0 -> 2.9.0, llvm7
|
2019-05-06 23:39:56 -05:00 |
coq-packages.nix
|
coqPackages: refactor
|
2019-04-10 12:56:57 +02:00 |
dotnet-packages.nix
|
treewide: Change URLs to HTTPS
|
2019-04-22 10:19:54 +02:00 |
impure.nix
|
top-level/impure.nix: expose crossOverlays
|
2019-04-19 12:03:56 -04:00 |
python-packages.nix
|
addic7ed-cli: init at 1.4.5
|
2019-05-01 23:51:48 +03:00 |
release.nix
|
Fix release.nix
|
2019-04-29 10:07:20 +02:00 |
static.nix
|
wasm: init cross target
|
2019-04-23 21:48:57 -04:00 |