Cyril Cohen 7e589a45ef coqPackages: etc ... - use propagatedBuildInputs to make sure ocaml plugin stuff is in path - updated coqPackage.heq (broken url) - fixed use of `DESTDIR` and `COQMF_COQLIB` in mkCoqDerivation - adding `COQCORELIB` environement variable to put ocaml plugin files in the right place - make metaFetch available from `coqPackages`		2022-05-12 06:11:43 +02:00
..
agda-packages.nix
aliases.nix	Merge pull request #172331 from Artturin/removeold1	2022-05-11 18:34:57 +02:00
all-packages.nix	Merge pull request #172615 from tjni/fix-cliscord-darwin	2022-05-12 01:36:29 +02:00
beam-packages.nix
config.nix	stdenv/check-meta: add an eval warning option	2022-05-03 22:29:12 +03:00
coq-packages.nix	coqPackages: etc	2022-05-12 06:11:43 +02:00
cubocore-packages.nix
cuda-packages.nix	cudaPackages: overhaul of how we package cuda packages	2022-04-09 08:50:22 +02:00
darwin-packages.nix
default.nix
dhall-packages.nix
dotnet-packages.nix
emacs-packages.nix
emscripten-packages.nix
gnuradio-packages.nix
haskell-packages.nix	pkgsMusl.haskell.compiler.ghc884: bootstrap using normal binary ghc	2022-04-19 12:02:01 +02:00
haxe-packages.nix
impure.nix
java-packages.nix
kodi-packages.nix
linux-kernels.nix	anbox: drop kernel modules package	2022-05-10 21:15:48 +02:00
lua-packages.nix	luaPackages.vicious: 2.5.0 -> 2.5.1	2022-05-08 19:32:09 +02:00
make-tarball.nix
metrics.nix
nim-packages.nix
nixpkgs-basic-release-checks.nix
ocaml-packages.nix	ocamlPackages.biniou: remove legacy version 1.0.9 for OCaml < 4.02	2022-05-10 13:24:09 +02:00
octave-packages.nix
packages-config.nix	emacs: 27.2 -> 28.1	2022-04-16 16:53:45 +12:00
perl-packages.nix	Merge pull request #172387 from SuperSandro2000/CryptOpenSSLRandom	2022-05-11 06:15:31 +02:00
php-packages.nix	php.extensions: Remove fixes for abandoned PHP versions	2022-05-10 00:37:55 +02:00
python2-packages.nix
python-aliases.nix	Merge pull request #171754 from dotlambda/python-memcached-1.59	2022-05-08 20:45:41 +02:00
python-packages.nix	python3.pkgs.sphinx-better-theme: init at 0.1.5 (#171595)	2022-05-12 01:00:52 +02:00
qt5-packages.nix	openbr: drop	2022-05-11 19:23:06 +02:00
release-alternatives.nix
release-cross.nix
release-cuda.nix	cudaPackages: overhaul of how we package cuda packages	2022-04-09 08:50:22 +02:00
release-haskell.nix	haskellPackages: xhtml is not bundled if haddock is disabled	2022-04-29 15:27:02 +02:00
release-lib.nix	nixos/lxd: improve tests	2022-05-03 12:24:13 +02:00
release-python.nix
release-r.nix
release-small.nix	release-small: replace ssmtp package use with msmtp	2022-04-17 00:44:50 +02:00
release.nix
ruby-packages.nix	rubyPackages: add pandocomatic (#164545)	2022-04-14 05:39:57 -05:00
splice.nix
stage.nix
unixtools.nix
wine-packages.nix