wchresta 074c9cbe1c idris2: init at version 0.2.0-840e020 ... A purely functional programming language with first class types		2020-05-23 12:54:27 -04:00
..
agda-packages.nix	agdaPackages.cubical: init at 0.2 (#76994)	2020-05-19 13:20:35 -04:00
aliases.nix	linux-steam-integration: Drop abandoned package that doesn't build	2020-05-22 09:00:39 +02:00
all-packages.nix	idris2: init at version 0.2.0-840e020	2020-05-23 12:54:27 -04:00
beam-packages.nix
config.nix
coq-packages.nix	coq_8_11: 8.11.1 → 8.11.2	2020-05-20 19:21:42 +02:00
darwin-packages.nix
default.nix
dhall-packages.nix
dotnet-packages.nix
emacs-packages.nix
emscripten-packages.nix
haskell-packages.nix	ghcHEAD: 20200403 -> 20200505	2020-05-08 21:11:46 +02:00
haxe-packages.nix
impure.nix
java-packages.nix
lua-packages.nix
make-tarball.nix
metrics.nix
ocaml-packages.nix	ocamlPackages.async_unix: remove at 112.24.00	2020-05-22 10:07:12 +02:00
packages-config.nix
perl-packages.nix	Merge pull request #87595 from aanderse/perl-packages/config-properties	2020-05-12 19:25:48 -04:00
php-packages.nix	Merge pull request #87941 from etu/composer-update	2020-05-16 22:08:11 +02:00
pure-packages.nix
python-packages.nix	pythonPackages.kicad: bindings to kicad	2020-05-23 15:44:14 +02:00
release-alternatives.nix
release-cross.nix
release-lib.nix
release-python.nix
release-small.nix
release.nix	agda: rework builder	2020-05-14 20:54:11 +01:00
ruby-packages.nix
splice.nix
stage.nix
static.nix	arrow-cpp: 0.16.0 -> 0.17.0	2020-05-11 22:34:24 -04:00
unix-tools.nix
wine-packages.nix