Unverified Commit 2abb9917 authored by 4ever2's avatar 4ever2
Browse files

coqPackages.ssprove: 0.3.0 -> 0.3.1

parent a0f2821b

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
@@ -214,9 +214,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 { };