dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

coqPackages.autosubst: fix build

Browse Source
This commit is contained in:
Vincent Laporte 2018-11-05 14:53:19 +00:00
parent 2b9916c715
commit cd05d5a112
No known key found for this signature in database
GPG Key ID: EBD582ADDDB1F81F
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
pkgs/development/coq-modules/autosubst/default.nix
View File

@ -11,6 +11,7 @@ stdenv.mkDerivation rec {
sha256 = "06pcjbngzwqyncvfwzz88j33wvdj9kizxyg5adp7y6186h8an341"; sha256 = "06pcjbngzwqyncvfwzz88j33wvdj9kizxyg5adp7y6186h8an341";
}; };
buildInputs = [ coq ];
propagatedBuildInputs = [ mathcomp ]; propagatedBuildInputs = [ mathcomp ];
patches = [./0001-changes-to-work-with-Coq-8.6.patch]; patches = [./0001-changes-to-work-with-Coq-8.6.patch];