Unverified Commit 20bb5aff authored by Vincent Laporte's avatar Vincent Laporte Committed by GitHub
Browse files

Rocq: 9.1+rc1 -> 9.1.0 (#443157)

parents bad8bf4b 4ebe5996

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

+1 −1
Original line number Diff line number Diff line
@@ -70,7 +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.1+rc1".sha256 = "sha256-GShKHQ9EdvyNe9WlkzF6KLYybc5dPeVrh4bpkVy6pY4=";

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

  };

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

  fetched =

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

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


  release = {

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

    "9.1+rc1".sha256 = "sha256-GShKHQ9EdvyNe9WlkzF6KLYybc5dPeVrh4bpkVy6pY4=";

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

  };

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

  fetched =