aliases.nix
|
cquery: remove
|
2020-06-15 20:48:56 +01:00 |
all-packages.nix
|
cquery: remove
|
2020-06-15 20:48:56 +01:00 |
coq-packages.nix
|
coq: use OCaml 4.09
|
2020-05-27 10:12:22 +02:00 |
release-lib.nix
|
release-lib: Avoid filtering twice
|
2020-06-12 15:23:21 -04:00 |
static.nix
|
libexecinfo: fix building statically
|
2020-06-08 17:47:51 -05:00 |