diff options
Diffstat (limited to 'pkgs/test/coq/default.nix')
-rw-r--r-- | pkgs/test/coq/default.nix | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/pkgs/test/coq/default.nix b/pkgs/test/coq/default.nix new file mode 100644 index 000000000000..cf59dd473b4c --- /dev/null +++ b/pkgs/test/coq/default.nix @@ -0,0 +1,6 @@ +{ lib, callPackage }: + +lib.recurseIntoAttrs { + overrideCoqDerivation = callPackage ./overrideCoqDerivation { }; +} + |