aliases.nix
|
ppl-address-book: delete
|
2019-05-03 18:47:17 +02: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-cross.nix
|
release-cross: add wasi targets
|
2019-04-23 21:51:30 -04: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 |