Unverified Commit b3f8d82c authored Mar 23, 2026 by Vincent Laporte Committed by GitHub Mar 23, 2026

ocamlPackages.elpi: 3.6.1 -> 3.6.2 (#502457)

parents c4b84da8 a457602c

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

+1 −1

Original line number	Diff line number	Diff line
		@@ -27,7 +27,7 @@ let
		(case (range "8.13" "8.14") "1.13.7")
		(case "8.12" "1.12.0")
		(case "8.11" "1.11.4")
		] { }
		] coq.ocamlPackages.elpi.version
		);
		elpi = coq.ocamlPackages.elpi.override { version = default-elpi-version; };
		propagatedBuildInputs_wo_elpi = [

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.6.1"
		"3.6.2"
		else if lib.versionAtLeast ocaml.version "4.08" then
		"1.20.0"
		else
		@@ -34,6 +34,7 @@ in

		let
		fetched = coqPackages.metaFetch {
		release."3.6.2".sha256 = "sha256-BDE4L5qYZfaMt+6JivNBJIaJGeDSf5E+Kw1Wera/WFk=";
		release."3.6.1".sha256 = "sha256-zoVgRqNAXeCgk3zGntVkkZxIiQrCU5+ONeI97BiT674=";
		release."3.4.5".sha256 = "sha256-cck6XqC98Z9lb3CYS8K/aB1WOckjAyXzZ14vX41nJvI=";
		release."3.4.4".sha256 = "sha256-SvNNAyBYIkSMv3rhx0wVu2JjHdGYUOqaFzZKGBMMebs=";

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

+1 −1

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.2") "3.6.1")
		(case (range "9.0" "9.2") "3.6.2")
		(case (range "9.0" "9.1") "3.4.5")
		(case (range "9.0" "9.1") "2.0.7")
		] rocq-core.ocamlPackages.elpi.version;