Commit 523c0935 authored by Pierre Roux's avatar Pierre Roux Committed by Vincent Laporte
Browse files

coqPackages_8_19.mathcomp-algebra-tactics

parent aad90cd3

pkgs/development/coq-modules/mathcomp-algebra-tactics/default.nix

+1 −1
Original line number Diff line number Diff line
@@ -11,7 +11,7 @@ mkCoqDerivation { 
     lib.switch [ coq.coq-version mathcomp-algebra.version ] [

       { cases = [ (range "8.16" "8.19") (isGe "2.0") ]; out = "1.2.3"; }

       { cases = [ (range "8.16" "8.18") (isGe "2.0") ]; out = "1.2.2"; }

       { cases = [ (range "8.16" "8.18") (isGe "1.15") ]; out = "1.1.1"; }

       { cases = [ (range "8.16" "8.19") (isGe "1.15") ]; out = "1.1.1"; }

       { cases = [ (range "8.13" "8.16") (isGe "1.12") ]; out = "1.0.0"; }

     ] null;