gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

ocamlPackages.menhir: coqPackages -> rocqPackages

Browse Source
This commit is contained in:
Pierre Roux
2026-05-05 13:25:52 +02:00
parent cad142c61a
commit c76cd16798
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/ocaml-modules/menhir/lib.nix
+2 -2
View File
@@ -2,12 +2,12 @@
lib,
buildDunePackage,
ocaml,
coqPackages,
rocqPackages,
version ? "20260203",
}:
let
fetched = coqPackages.metaFetch {
fetched = rocqPackages.metaFetch {
release."20231231".sha256 = "sha256-veB0ORHp6jdRwCyDDAfc7a7ov8sOeHUmiELdOFf/QYk=";
release."20240715".sha256 = "sha256-9CSxAIm0aEXkwF+aj8u/bqLG30y5eDNz65EnohJPjzI=";
release."20250903".sha256 = "sha256-ap1OvcvCAuqmFDwhPwMBosHs3cm5NxPW/w1J8AzWduk=";