agda-packages.nix
|
agdaPackages.generic: init at v0.1
|
2020-08-10 14:56:23 +01:00 |
all-packages.nix
|
zegrapher: init at 3.1.1
|
2020-10-12 19:31:34 -03:00 |
beam-packages.nix
|
elixir_1_6: remove
|
2020-09-24 15:14:52 +02:00 |
coq-packages.nix
|
coqPackages.VST: init at 2.6
|
2020-10-05 16:39:26 +02:00 |
darwin-packages.nix
|
discrete-scroll: init at 0.1.1
|
2020-08-27 13:47:08 +03:00 |
default.nix
|
top-level: ignore unexpected args
|
2020-10-01 11:21:32 -07: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.z3: init at 4.8.9
|
2020-09-30 22:03:17 +02:00 |
perl-packages.nix
|
perlPackages.Hailo: init at 0.75
|
2020-10-06 10:09:23 +02:00 |