Gabriel Ebner 7fb27d1c22 Merge pull request #153190 from jvanbruegge/isabelle-vampire ... isabelle: Use vampire and eprover from nixpkgs		2022-01-02 22:56:09 +01:00
..
agda-packages.nix
aliases.nix	terraform-providers: remove archived providers (#153015)	2022-01-02 13:02:00 +01:00
all-packages.nix	Merge pull request #153190 from jvanbruegge/isabelle-vampire	2022-01-02 22:56:09 +01:00
beam-packages.nix
config.nix
coq-packages.nix	coqPackages.mathcomp-word: init at 1.0	2021-12-24 11:59:00 +01:00
cubocore-packages.nix
darwin-packages.nix
default.nix
dhall-packages.nix
dotnet-packages.nix	buildDotnetPackage: rename baseName to pname	2021-12-23 22:46:35 +01:00
emacs-packages.nix
emscripten-packages.nix
gnuradio-packages.nix
haskell-packages.nix
haxe-packages.nix
impure.nix	top-level/impure.nix: refactor by removing 'with builtins'	2021-12-16 18:46:43 +02:00
java-packages.nix
kodi-packages.nix	kodi: move kodi-packages/ to kodi/addons/	2021-12-18 22:34:47 -03:00
linux-kernels.nix	asus-ec-sensors: init at 2021-12-16 (#150989)	2021-12-20 10:48:08 +00:00
lua-packages.nix
make-tarball.nix
metrics.nix
nim-packages.nix	Remove nimPackages.python	2021-12-17 11:13:35 +00:00
nixpkgs-basic-release-checks.nix
ocaml-packages.nix	stog: 0.18.0 → 0.20.0	2021-12-30 08:23:22 +01:00
octave-packages.nix
packages-config.nix	packages-config.nix: make sure all GHCs are added to packages.json	2021-12-22 22:07:00 +01:00
perl-packages.nix	Merge pull request #150538 from stigtsp/package/convos-6.40	2021-12-28 01:06:16 +00:00
php-packages.nix	Merge pull request #147411 from drupol/php/php-8.1.0	2021-12-21 12:33:07 +01:00
pure-packages.nix
python-aliases.nix	python3Packages.xenomapper: move to top-level	2022-01-01 02:09:11 +01:00
python-packages.nix	Merge pull request #153120 from fabaff/bump-meshtastic	2022-01-02 20:57:14 +01:00
python2-packages.nix	python2Packages: remove superfluous overrides	2022-01-01 02:10:53 +01:00
qt5-packages.nix	qt5ct: move to qt5-packages	2021-12-27 11:03:07 -03:00
release-alternatives.nix
release-cross.nix
release-haskell.nix	release-haskell.nix: GHC 9.2.1 is a released compiler	2021-12-21 16:12:21 +01:00
release-lib.nix
release-python.nix
release-r.nix
release-small.nix
release.nix
ruby-packages.nix
splice.nix
stage.nix
unixtools.nix
wine-packages.nix