diff options
Diffstat (limited to 'pkgs/test/default.nix')
-rw-r--r-- | pkgs/test/default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/test/default.nix b/pkgs/test/default.nix index 82975efb5917..2638bbc37e6b 100644 --- a/pkgs/test/default.nix +++ b/pkgs/test/default.nix @@ -75,6 +75,8 @@ with pkgs; dhall = callPackage ./dhall { }; + coq = callPackage ./coq {}; + makeWrapper = callPackage ./make-wrapper { }; makeBinaryWrapper = callPackage ./make-binary-wrapper { makeBinaryWrapper = pkgs.makeBinaryWrapper.override { |