Dennis Gosnell 49e6d1b813 tests.coq.overrideCoqDerivation: use runCommand instead of runCommandNoCC		2022-09-03 21:02:17 +09:00
..
cc-wrapper
coq	tests.coq.overrideCoqDerivation: use runCommand instead of runCommandNoCC	2022-09-03 21:02:17 +09:00
cross
cuda
dhall
haskell
install-shell-files
ld-library-path
macos-sierra-shared
make-binary-wrapper
make-wrapper
nixos-functions
patch-shebangs
php
rust-sysroot
simple
stdenv-inputs
texlive
vim
config.nix
default.nix	tests.coq.overrideCoqDerivation: add test	2022-08-29 14:46:20 +09:00
kernel.nix