Unverified Commit 9c479cf0 authored by Vincent Laporte's avatar Vincent Laporte Committed by GitHub
Browse files

compcert: 3.13.1 → 3.14 (#308752)

parent 77c2c147

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

+2 −1
Original line number Diff line number Diff line
@@ -29,7 +29,7 @@ compcert = mkCoqDerivation { 
  releaseRev = v: "v${v}";



  defaultVersion =  with lib.versions; lib.switch coq.version [

      { case = range "8.14" "8.19"; out = "3.13.1"; }

      { case = range "8.14" "8.19"; out = "3.14"; }

      { case = isEq "8.13"        ; out = "3.10"; }

      { case = isEq "8.12"       ; out = "3.9"; }

      { case = range "8.8" "8.11"; out = "3.8"; }
@@ -43,6 +43,7 @@ compcert = mkCoqDerivation { 
    "3.12".sha256 = "sha256-hXkQ8UnAx3k50OJGBmSm4hgrnRFCosu4+PEMrcKfmV0=";

    "3.13".sha256 = "sha256-ZedxgEPr1ZgKIcyhQ6zD1l2xr6RDNNUYq/4ZyR6ojM4=";

    "3.13.1".sha256 = "sha256-ldXbuzVB0Z+UVTd5S4yGSg6oRYiKbXLMmUZcQsJLcns=";

    "3.14".sha256 = "sha256-QXJMpp/BaPiK5okHeo2rcmXENToXKjB51UqljMHTDgw=";

  };



  strictDeps = true;

pkgs/top-level/coq-packages.nix

+1 −1
Original line number Diff line number Diff line
@@ -136,7 +136,7 @@ let 
        (lib.versionAtLeast self.coq.version "8.14") {

          compcert = self.compcert.override {

            version = with lib.versions; lib.switch self.coq.version [

              { case = range "8.15" "8.17"; out = "3.13.1"; }

              { case = range "8.15" "8.19"; out = "3.13.1"; }

              { case = isEq "8.14"; out = "3.11"; }

            ] null;

          };