Commit 582a0333 authored by Pierre Roux's avatar Pierre Roux
Browse files

coq: 9.0+rc1 -> 9.0.0

parent 8ffa3db8

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

+1 −1
Original line number Diff line number Diff line
@@ -61,7 +61,7 @@ let 
   "8.19.2".sha256   = "sha256-q+i07JsMZp83Gqav6v1jxsgPLN7sPvp5/oszVnavmz0=";

   "8.20.0".sha256   = "sha256-WFpZlA6CzFVAruPhWcHQI7VOBVhrGLdFzWrHW0DTSl0=";

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

   "9.0+rc1".sha256  = "sha256-TLq925HFdizxyHjKRMeHBH9rLRpLNUiVIfA1JSMgYXA=";

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

  };

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

  fetched = import ../../../../build-support/coq/meta-fetch/default.nix

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

+1 −1
Original line number Diff line number Diff line
@@ -15,7 +15,7 @@ let 
  lib = import ../../../../build-support/coq/extra-lib.nix { inherit (args) lib; };



  release = {

   "9.0+rc1".sha256 = "sha256-TLq925HFdizxyHjKRMeHBH9rLRpLNUiVIfA1JSMgYXA=";

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

  };

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

  fetched = import ../../../../build-support/coq/meta-fetch/default.nix

pkgs/top-level/all-packages.nix

+3 −2
Original line number Diff line number Diff line
@@ -5668,7 +5668,7 @@ with pkgs; 
    ocamlPackages = ocaml-ng.ocamlPackages_4_14;

  };













  inherit (coqPackages) compcert;













  inherit (coqPackages_8_20) compcert;





























  computecpp = wrapCCWith rec {















    cc = computecpp-unwrapped;










@@ -17078,7 +17078,8 @@ with pkgs;













    stdenv = gccStdenv;















  };



























  why3 = callPackage ../applications/science/logic/why3 { };













  why3 = callPackage ../applications/science/logic/why3













    { coqPackages = coqPackages_8_20; };





























  yices = callPackage ../applications/science/logic/yices {















    gmp-static = gmp.override { withStatic = true; };

























pkgs/top-level/coq-packages.nix



+2
−2






























Original line number
Diff line number
Diff line








@@ -237,7 +237,7 @@ in rec {













  coq_8_18 = mkCoq "8.18";















  coq_8_19 = mkCoq "8.19";















  coq_8_20 = mkCoq "8.20";













  coq_9_0  = mkCoq "9.0+rc1";













  coq_9_0  = mkCoq "9.0";































  coqPackages_8_5 = mkCoqPackages coq_8_5;















  coqPackages_8_6 = mkCoqPackages coq_8_6;









@@ -257,6 +257,6 @@ in rec {













  coqPackages_8_20 = mkCoqPackages coq_8_20;















  coqPackages_9_0 = mkCoqPackages coq_9_0;





























  coqPackages = recurseIntoAttrs coqPackages_8_20;













  coqPackages = recurseIntoAttrs coqPackages_9_0;















  coq = coqPackages.coq;















}
























pkgs/top-level/rocq-packages.nix



+1
−1






























Original line number
Diff line number
Diff line








@@ -49,7 +49,7 @@ in rec {













    let self = lib.makeScope newScope (lib.flip mkRocqPackages' rocq-core); in















    self.filterPackages (! rocq-core.dontFilter or false);





























  rocq-core_9_0  = mkRocq "9.0+rc1";













  rocq-core_9_0  = mkRocq "9.0";































  rocqPackages_9_0 = mkRocqPackages rocq-core_9_0;