diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-11-05 14:53:19 +0000 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-11-05 14:53:19 +0000 |
commit | cd05d5a112c83b80d8b9432842c97c27a9d03a90 (patch) | |
tree | a2c4344522f51171a125f9632ba4ed582916eda6 /pkgs/development/coq-modules | |
parent | 2b9916c715d23ebfb13850e9d990370697220d98 (diff) | |
download | nixlib-cd05d5a112c83b80d8b9432842c97c27a9d03a90.tar nixlib-cd05d5a112c83b80d8b9432842c97c27a9d03a90.tar.gz nixlib-cd05d5a112c83b80d8b9432842c97c27a9d03a90.tar.bz2 nixlib-cd05d5a112c83b80d8b9432842c97c27a9d03a90.tar.lz nixlib-cd05d5a112c83b80d8b9432842c97c27a9d03a90.tar.xz nixlib-cd05d5a112c83b80d8b9432842c97c27a9d03a90.tar.zst nixlib-cd05d5a112c83b80d8b9432842c97c27a9d03a90.zip |
coqPackages.autosubst: fix build
Diffstat (limited to 'pkgs/development/coq-modules')
-rw-r--r-- | pkgs/development/coq-modules/autosubst/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/autosubst/default.nix b/pkgs/development/coq-modules/autosubst/default.nix index 9c24e77e0f78..bffa5172b0e4 100644 --- a/pkgs/development/coq-modules/autosubst/default.nix +++ b/pkgs/development/coq-modules/autosubst/default.nix @@ -11,6 +11,7 @@ stdenv.mkDerivation rec { sha256 = "06pcjbngzwqyncvfwzz88j33wvdj9kizxyg5adp7y6186h8an341"; }; + buildInputs = [ coq ]; propagatedBuildInputs = [ mathcomp ]; patches = [./0001-changes-to-work-with-Coq-8.6.patch]; |