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
..
add-opengl-runpath
agda
alternatives
appimage
bintools-wrapper
build-bazel-package
build-fhs-userenv
build-fhs-userenv-bubblewrap
build-graalvm-native-image
build-setupcfg
buildenv
cc-wrapper
coq	coqPackages: etc	2022-05-12 06:11:43 +02:00
dhall
docker	testers.invalidateFetcherByDrvHash: Move from top-level	2022-05-05 12:08:50 +02:00
dotnet	nuget-to-nix: include required dependencies	2022-04-30 18:24:48 -07:00
emacs
expand-response-params
fake-nss
fetchbitbucket
fetchbower
fetchbzr
fetchcvs
fetchdarcs
fetchdocker
fetchfirefoxaddon	testers.invalidateFetcherByDrvHash: Move from top-level	2022-05-05 12:08:50 +02:00
fetchfossil
fetchgit	testers.invalidateFetcherByDrvHash: Move from top-level	2022-05-05 12:08:50 +02:00
fetchgitea
fetchgithub
fetchgitiles
fetchgitlab
fetchgitlocal
fetchgx
fetchhg
fetchipfs
fetchmavenartifact
fetchmtn
fetchnextcloudapp
fetchpatch	testers.invalidateFetcherByDrvHash: Move from top-level	2022-05-05 12:08:50 +02:00
fetchrepoorcz
fetchrepoproject
fetchs3
fetchsavannah
fetchsourcehut
fetchsvn
fetchsvnrevision
fetchsvnssh
fetchurl
fetchzip
flutter
go
icon-conv-tools
install-shell-files
java
kernel	makeInitrdNG: Strip more and remove output	2022-05-01 17:06:14 +02:00
libredirect
make-darwin-bundle
make-desktopitem
make-startupitem
make-symlinks
mkshell
mono-dll-fixer
nix-gitignore
node/fetch-yarn-deps	testers.invalidateFetcherByDrvHash: Move from top-level	2022-05-05 12:08:50 +02:00
nuke-references
ocaml	treewide: Simplify negated uses of versionAtLeast, versionOlder	2022-04-25 13:35:24 -07:00
oci-tools
pkg-config-wrapper
prefer-remote-fetch
references-by-popularity
release
remove-references-to
replace-secret
rust	buildRustCrate: set meta.mainProgram to crateName	2022-05-05 14:25:27 +00:00
setup-hooks	makeBinaryWrapper: really unset NIX_CFLAGS	2022-05-06 17:03:52 +02:00
singularity-tools
skaware	skawarePackages.buildPackage: fix typo in comment	2022-05-09 15:52:56 +00:00
snap
src-only
substitute
substitute-files
templaterpm
testers	testers.nixosTest: Remove redundant system.stateVersion = lib.trivial.release;	2022-05-09 14:33:49 +02:00
trivial-builders	treewide: nixosTest -> testers.nixosTest	2022-05-09 14:16:06 +02:00
vm
wrapper-common
writers
build-maven.nix
build-pecl.nix
closure-info.nix
plugins.nix
replace-dependency.nix
setup-systemd-units.nix
source-from-head-fun.nix
trivial-builders.nix