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

hb dep is added later, after we check the version number

Browse Source
This commit is contained in:
Cyril Cohen 2023-06-15 14:57:44 +02:00 committed by Vincent Laporte
parent 0b77630d18
commit d22a44e57a
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
pkgs/development/coq-modules/mathcomp-analysis/default.nix
View File

@ -29,7 +29,6 @@ let
{ cases = [ (range "8.13" "8.15") (range "1.13" "1.14") ]; out = "0.5.1"; }
{ cases = [ (range "8.13" "8.15") (range "1.12" "1.14") ]; out = "0.3.13"; }
{ cases = [ (range "8.11" "8.14") (range "1.12" "1.13") ]; out = "0.3.10"; }
{ cases = [ (range "8.11" "8.12") "1.11.0" ]; out = "0.3.4"; }
{ cases = [ (range "8.10" "8.12") "1.11.0" ]; out = "0.3.3"; }
{ cases = [ (range "8.10" "8.11") "1.11.0" ]; out = "0.3.1"; }
{ cases = [ (range "8.8" "8.11") (range "1.8" "1.10") ]; out = "0.2.3"; }
@ -39,7 +38,7 @@ let
packages = [ "classical" "analysis" ];
mathcomp_ = package: let
classical-deps = [ mathcomp.algebra mathcomp-finmap hierarchy-builder ];
classical-deps = [ mathcomp.algebra mathcomp-finmap ];
analysis-deps = [ mathcomp.field mathcomp-bigenough ];
intra-deps = if package == "single" then []
else map mathcomp_ (head (splitList (lib.pred.equal package) packages));