Commit 6302147d authored by Pierre Roux's avatar Pierre Roux Committed by Vincent Laporte
Browse files

coqPackages.mathcomp-algebra-tactics 1.0.0 -> 1.1.1

parent 40ed0699

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

+2 −0
Original line number Diff line number Diff line
@@ -9,10 +9,12 @@ mkCoqDerivation { 


  defaultVersion = with lib.versions;

     lib.switch [ coq.coq-version mathcomp-algebra.version ] [

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

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

     ] null;



  release."1.0.0".sha256 = "sha256-kszARPBizWbxSQ/Iqpf2vLbxYc6AjpUCLnSNlPcNfls=";

  release."1.1.1".sha256 = "sha256-5wItMeeTRoJlRBH3zBNc2VUZn6pkDde60YAvXTx+J3U=";



  propagatedBuildInputs = [ mathcomp-algebra coq-elpi mathcomp-zify ];