nixpkgs-suyu/pkgs/test/coq/default.nix

Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.

7 lines
116 B
Nix
Raw Normal View History

{ lib, callPackage }:
lib.recurseIntoAttrs {
overrideCoqDerivation = callPackage ./overrideCoqDerivation { };
}