Commit 145b4298 authored by Pierre Roux's avatar Pierre Roux Committed by Vincent Laporte
Browse files

coqPackages_8_19.mathcomp-real-closed

parent 2114214e

pkgs/development/coq-modules/mathcomp-real-closed/default.nix

+1 −1
Original line number Diff line number Diff line
@@ -21,7 +21,7 @@ mkCoqDerivation { 


  defaultVersion = with lib.versions; lib.switch [ coq.version mathcomp.version ]  [

      { cases = [ (isGe "8.16")  (isGe "2.0.0") ]; out = "2.0.0"; }

      { cases = [ (isGe "8.13")  (range "1.13.0" "1.18.0") ]; out = "1.1.4"; }

      { cases = [ (isGe "8.13")  (range "1.13.0" "1.19.0") ]; out = "1.1.4"; }

      { cases = [ (isGe "8.13")  (range "1.12.0" "1.18.0") ]; out = "1.1.3"; }

      { cases = [ (isGe "8.10")  (range "1.12.0" "1.18.0") ]; out = "1.1.2"; }

      { cases = [ (isGe "8.7")   "1.11.0" ]; out = "1.1.1"; }