Unverified Commit 3128dbb7 authored by Vincent Laporte's avatar Vincent Laporte Committed by GitHub
Browse files

compcert: 3.15 → 3.16 (#441969)

parents e7d4920b e66d6920

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

+5 −0
Original line number Diff line number Diff line
@@ -40,6 +40,10 @@ let 
    defaultVersion =

      with lib.versions;

      lib.switch coq.version [

        {

          case = range "8.15" "9.0";

          out = "3.16";

        }

        {

          case = range "8.14" "8.20";

          out = "3.15";
@@ -68,6 +72,7 @@ let 
      "3.13.1".sha256 = "sha256-ldXbuzVB0Z+UVTd5S4yGSg6oRYiKbXLMmUZcQsJLcns=";

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

      "3.15".sha256 = "sha256-QFTueGZd0hAWUj+c5GZL/AyNpfN4FuJiIzCICmwRXJ8=";

      "3.16".sha256 = "sha256-Ep8bcSFs3Cu+lV5qgo89JJU2vh4TTq66Or0c4evo3gM=";

    };



    strictDeps = true;

pkgs/top-level/coq-packages.nix

+4 −0
Original line number Diff line number Diff line
@@ -227,6 +227,10 @@ let 
            version =

              with lib.versions;

              lib.switch self.coq.version [

                {

                  case = range "8.19" "8.20";

                  out = "3.15";

                }

                {

                  case = range "8.15" "8.18";

                  out = "3.13.1";