Unverified Commit 99dd6bdb authored by Vincent Laporte's avatar Vincent Laporte Committed by GitHub
Browse files

coqPackages.ssprove: 0.3.0 -> 0.3.1 (#499071)

parents 5b07017a 2abb9917

pkgs/development/coq-modules/ssprove/default.nix

+2 −1
Original line number Diff line number Diff line
@@ -31,7 +31,7 @@ 
    lib.switch

      [ coq.coq-version mathcomp-boot.version ]

      [

        (case (range "8.20" "9.1") (range "2.3.0" "2.5.0") "0.3.0")

        (case (range "8.20" "9.1") (range "2.3.0" "2.5.0") "0.3.1")

        (case (range "8.18" "9.1") (range "2.3.0" "2.4.0") "0.2.4")

        (case (range "8.18" "8.20") (range "2.3.0" "2.3.0") "0.2.3")

        (case (range "8.18" "8.20") (range "2.1.0" "2.2.0") "0.2.2")
@@ -48,6 +48,7 @@ 


  releaseRev = v: "v${v}";



  release."0.3.1".sha256 = "sha256-KB8cwlU3pnxPMQZ+RSyB2EJINhw7iN3vwF6iY4U4+oc=";

  release."0.3.0".sha256 = "sha256-ioPqavLOc8ZEzroalLR4dpqDbnOyzzOmWSF9+J1yPdQ=";

  release."0.2.4".sha256 = "sha256-uglr47aDgSkKi2JyVyN+2BrokZISZUAE8OUylGjy7ds=";

  release."0.2.3".sha256 = "sha256-Y3dmNIF36IuIgrVILteofOv8e5awKfq93S4YN7enswI=";

pkgs/top-level/coq-packages.nix

+1 −3
Original line number Diff line number Diff line
@@ -216,9 +216,7 @@ let 
      simple-io = callPackage ../development/coq-modules/simple-io { };

      smpl = callPackage ../development/coq-modules/smpl { };

      smtcoq = callPackage ../development/coq-modules/smtcoq { };

      ssprove = callPackage ../development/coq-modules/ssprove {

        mathcomp-word = self.mathcomp-word.override { version = "3.2"; };

      };

      ssprove = callPackage ../development/coq-modules/ssprove { };

      stalmarck-tactic = callPackage ../development/coq-modules/stalmarck { };

      stalmarck = self.stalmarck-tactic.stalmarck;

      stdlib = callPackage ../development/coq-modules/stdlib { };