pkgs/test/coq/default.nix at python-updates

nixpkgs mirror (for testing) github.com/NixOS/nixpkgs

nix

nixpkgs / pkgs / test / coq / default.nix

at python-updates 5 lines 115 B view raw

wrap content

1{ lib, callPackage }:
2
3lib.recurseIntoAttrs {
4  overrideCoqDerivation = callPackage ./overrideCoqDerivation { };
5}