agda-packages.nix
|
agdaPackages.generic: init at v0.1
|
2020-08-10 14:56:23 +01:00 |
aliases.nix
|
jasper: remove, abandoned upstream.
|
2020-09-09 18:29:42 +00:00 |
all-packages.nix
|
rpcsvc-proto: init at 1.4.2
|
2020-09-12 23:04:44 +02:00 |
coq-packages.nix
|
coq: default to version 8.11
|
2020-08-23 08:19:21 +02:00 |
darwin-packages.nix
|
discrete-scroll: init at 0.1.1
|
2020-08-27 13:47:08 +03:00 |
haskell-packages.nix
|
ghc-8.10.x: add v8.10.2
|
2020-08-08 22:32:58 +02:00 |
make-tarball.nix
|
Don't set $NIX_DB_DIR
|
2020-08-24 18:50:20 +02:00 |
metrics.nix
|
Don't set $NIX_DB_DIR
|
2020-08-24 18:50:20 +02:00 |
ocaml-packages.nix
|
ocamlPackages.srt: init at 0.1.1
|
2020-09-06 07:44:21 +02:00 |
release-small.nix
|
emacs25: Drop outdated version
|
2020-08-21 00:32:37 +02:00 |
static.nix
|
python35: remove
|
2020-08-12 21:57:18 -07:00 |