nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-08-25 17:55:21 +00:00
Code Issues Packages Projects Releases Wiki Activity

ocamlPackages.elpi: coqPackages -> rocqPackages

Browse Source 
(cherry picked from commit cad142c61a)
This commit is contained in:
Pierre Roux
2026-04-21 08:53:48 +02:00
committed by Vincent Laporte
parent 6411f2a7df
commit 7454847fa5
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/development/ocaml-modules/elpi/default.nix
View File

@@ -15,7 +15,7 @@
ppx_deriving_0_15,
ppx_deriving_0_33,
ppx_optcomp,
coqPackages,
rocqPackages,
version ?
if lib.versionAtLeast ocaml.version "4.13" then
"3.4.2"
@@ -33,7 +33,7 @@ let
in
let
fetched = coqPackages.metaFetch {
fetched = rocqPackages.metaFetch {
release."3.7.1".sha256 = "sha256-AQn0T9bAj17tAcVZdl3PTj4ri0fCXQJvAVN1dFn19GY=";
release."3.6.2".sha256 = "sha256-BDE4L5qYZfaMt+6JivNBJIaJGeDSf5E+Kw1Wera/WFk=";
release."3.6.1".sha256 = "sha256-zoVgRqNAXeCgk3zGntVkkZxIiQrCU5+ONeI97BiT674=";