Unverified Commit 333b3224 authored by Vincent Laporte's avatar Vincent Laporte Committed by GitHub
Browse files

rocq-core_9_0: 9.0.0 -> 9.0.1 (#447090)

parents 9649273e 1fb263de

pkgs/applications/science/logic/coq/default.nix

+1 −0
Original line number Diff line number Diff line
@@ -70,6 +70,7 @@ let 
    "8.20.0".sha256 = "sha256-WFpZlA6CzFVAruPhWcHQI7VOBVhrGLdFzWrHW0DTSl0=";

    "8.20.1".sha256 = "sha256-nRaLODPG4E3gUDzGrCK40vhl4+VhPyd+/fXFK/HC3Ig=";

    "9.0.0".sha256 = "sha256-GRwYSvrJGiPD+I82gLOgotb+8Ra5xHZUJGcNwxWqZkU=";

    "9.0.1".sha256 = "sha256-gRgQhFiYvGR/Z46TmTl1bgN9O32nifxQGdrzfw0WHrk=";

    "9.1.0".sha256 = "sha256-+QL7I1/0BfT87n7lSaOmpHj2jJuDB4idWhAxwzvVQOE=";

  };

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

pkgs/applications/science/logic/rocq-core/default.nix

+1 −0
Original line number Diff line number Diff line
@@ -23,6 +23,7 @@ let 


  release = {

    "9.0.0".sha256 = "sha256-GRwYSvrJGiPD+I82gLOgotb+8Ra5xHZUJGcNwxWqZkU=";

    "9.0.1".sha256 = "sha256-gRgQhFiYvGR/Z46TmTl1bgN9O32nifxQGdrzfw0WHrk=";

    "9.1.0".sha256 = "sha256-+QL7I1/0BfT87n7lSaOmpHj2jJuDB4idWhAxwzvVQOE=";

  };

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

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

+0 −1
Original line number Diff line number Diff line
@@ -26,7 +26,6 @@ let 
      (case "8.18" "1.3.1-8.18")

      (case "8.19" "1.3.3-8.19")

      (case "8.20" "1.3.4-8.20")

      (case "9.0" "1.3.4-9.0")

    ] null;

  release = {

    "1.0-beta2-8.11".sha256 = "sha256-I9YNk5Di6Udvq5/xpLSNflfjRyRH8fMnRzbo3uhpXNs=";

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

+2 −1
Original line number Diff line number Diff line
@@ -15,10 +15,11 @@ let 
      case = case: out: { inherit case out; };

    in

    lib.switch coq.coq-version [

      (case "9.0" "1.4-9.0")

      (case "9.0" "1.4-9.0.1")

    ] null;

  release = {

    "1.4-9.0".sha256 = "sha256-5QecDAMkvgfDPZ7/jDfnOgcE+Eb1LTAozP7nz6nkuxg=";

    "1.4-9.0.1".sha256 = "sha256-zMUd2A6EG0LYK3L9ABQvS/Et4MDpSmf3Pxd9+IPNYkI=";

  };

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