Unverified Commit 794eb1a6 authored by Vincent Laporte's avatar Vincent Laporte Committed by GitHub
Browse files

rocqPackages.rocq-elpi: 3.1.0 -> 3.2.0 (#450257)

parents a1b044ba 4f4d8243

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

+2 −0
Original line number Diff line number Diff line
@@ -30,6 +30,7 @@ let 
      lib.switch

        [ coq.coq-version mathcomp.version ]

        [

          (case (range "8.20" "9.1") (isGe "2.3.0") "2.1.1")

          (case (range "8.20" "9.1") (isGe "2.3.0") "2.1.0")

          (case (range "8.16" "8.20") (isGe "2.1.0") "2.0.3")

          (case (range "8.16" "8.20") (isGe "2.0.0") "2.0.1")
@@ -43,6 +44,7 @@ let 
        ]

        null;



    release."2.1.1".sha256 = "sha256-nAQAX35W9br7dgrT9FqGyHYSzwgMiMsuD1d7SztQDwY=";

    release."2.1.0".sha256 = "sha256-UoDxy2BKraDyRsO42GXRo26O74OF51biZQGkIMWLf8Y=";

    release."2.0.3".sha256 = "sha256-5lDq7IWlEW0EkNzYPu+dA6KOvRgy53W/alikpDr/Kd0=";

    release."2.0.1".sha256 = "sha256-d/IQ4IdS2tpyPewcGobj2S6m2HU+iXQmlvR+ITNIcjI=";

pkgs/development/ocaml-modules/elpi/default.nix

+2 −1
Original line number Diff line number Diff line
@@ -18,7 +18,7 @@ 
  coqPackages,

  version ?

    if lib.versionAtLeast ocaml.version "4.13" then

      "3.3.0"

      "3.4.1"

    else if lib.versionAtLeast ocaml.version "4.08" then

      "1.20.0"

    else
@@ -34,6 +34,7 @@ in 


let

  fetched = coqPackages.metaFetch {

    release."3.4.1".sha256 = "sha256-3rQPw91dHAqp61KTHk1UOEqh5syWrZZ1V1/1eE8cyI8=";

    release."3.3.0".sha256 = "sha256:963f95eea48b8f853cca9cbe4db49f22343c58e88dc961bc1da303356ef50dcd";

    release."3.0.1".sha256 = "sha256-r4B0xn6UCVslVW4dHiqq8NBMGfNz44kZy48KDWeGquc=";

    release."2.0.7".sha256 = "sha256-gCM+vZK6vWlhSO1VMjiWHse23mvxVwRarhxwkIQK7e0=";

pkgs/development/rocq-modules/rocq-elpi/default.nix

+3 −2
Original line number Diff line number Diff line
@@ -17,7 +17,7 @@ let 
      in

      with lib.versions;

      lib.switch rocq-core.rocq-version [

        (case (range "9.0" "9.1") "3.3.0")

        (case (range "9.0" "9.1") "3.4.1")

        (case (range "9.0" "9.1") "2.0.7")

      ] { };

  elpi = rocq-core.ocamlPackages.elpi.override { version = default-elpi-version; };
@@ -36,10 +36,11 @@ let 
      in

      with lib.versions;

      lib.switch rocq-core.rocq-version [

        (case (range "9.0" "9.1") "3.1.0")

        (case (range "9.0" "9.1") "3.2.0")

        (case (range "9.0" "9.1") "2.6.0")

        (case "9.0" "2.5.2")

      ] null;

    release."3.2.0".sha256 = "sha256-FyYG/8lEyt1L/paMez8jYAnnUE+sxIp4Da5MztmwJ/c=";

    release."3.1.0".sha256 = "sha256-ytGPGwJv+jmRT6uN0sg6q+xh8ND0PMIZ9ULB0Uwca1w=";

    release."3.0.0".sha256 = "sha256-YMe2is7duGcvAHjM4joUE90EloibjSxqfZThsJhstdU=";

    release."2.6.0".sha256 = "sha256-23BHq1NFUkI3ayXnGUwiGFySLyY3EuH4RyMgAhQqI4g=";