Jan Tojnar a821be7531 Merge branch 'master' into staging-next		2020-11-05 09:42:47 +01:00
..
agda-packages.nix	agda-packages: add fla library at v0.1	2020-10-15 10:54:22 -06:00
aliases.nix	pythonPackages.smugline: remove	2020-11-04 09:13:16 -08:00
all-packages.nix	Merge branch 'master' into staging-next	2020-11-05 09:42:47 +01:00
beam-packages.nix
config.nix
coq-packages.nix
darwin-packages.nix
default.nix
dhall-packages.nix
dotnet-packages.nix	dafny: use pinned z3 in the full closure	2020-10-24 22:24:40 +02:00
emacs-packages.nix
emscripten-packages.nix
haskell-packages.nix	haskell.compiler.integer-simple: Exclude ghc8102Binary*	2020-11-04 09:55:56 +01:00
haxe-packages.nix
impure.nix
java-packages.nix	javaPackages: add upgraded packages	2020-10-22 10:11:36 +09:00
lua-packages.nix
make-tarball.nix
metrics.nix
ocaml-packages.nix	ocamlPackages.mirage-channel: init at 4.0.1	2020-11-03 13:41:21 +01:00
packages-config.nix
perl-packages.nix	Merge pull request #102071 from zakame/contrib/perl-NetAsyncWebSocket	2020-10-30 16:43:05 +00:00
php-packages.nix	php: Drop usage of isPhp73 and isPhp74	2020-10-11 20:10:58 +02:00
pure-packages.nix
python-packages.nix	Merge branch 'master' into staging-next	2020-11-05 09:42:47 +01:00
release-alternatives.nix
release-cross.nix
release-lib.nix
release-python.nix
release-small.nix
release.nix	Revert "Disable the metrics job"	2020-11-04 13:53:25 +01:00
ruby-packages.nix
splice.nix
stage.nix
static.nix
unix-tools.nix
wine-packages.nix