colin/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

coqPackages.multinomials: fix

Browse Source
This commit is contained in:
Cyril Cohen 2021-10-01 14:58:10 +02:00 committed by Vincent Laporte
parent 1b6a6083ea
commit 4f762132b0
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/development/coq-modules/multinomials/default.nix
View File

@ -30,7 +30,11 @@ with lib; mkCoqDerivation {
"1.0".sha256 = "1qmbxp1h81cy3imh627pznmng0kvv37k4hrwi2faa101s6bcx55m";
};
useDune2ifVersion = versions.isGe "1.5.3";
useDune2ifVersion = v: versions.isGe "1.5.3" v || v == "dev";
preConfigure = ''
patchShebangs configure || true
'';
propagatedBuildInputs =
[ mathcomp.ssreflect mathcomp.algebra mathcomp-finmap mathcomp-bigenough ];