ocamlPackages.menhir: 20230608 → 20231231 (#290480)

This commit is contained in:
R. RyanTM 2024-05-17 19:11:23 +10:00 committed by GitHub
parent 203f99022a
commit b03b2ae335
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -2,14 +2,15 @@
buildDunePackage rec {
pname = "menhirLib";
version = "20230608";
version = "20231231";
minimalOCamlVersion = "4.03";
src = fetchFromGitLab {
domain = "gitlab.inria.fr";
owner = "fpottier";
repo = "menhir";
rev = version;
sha256 = "sha256-dUPoIUVr3gqvE5bniyQh/b37tNfRsZN8X3e99GFkyLY=";
hash = "sha256-veB0ORHp6jdRwCyDDAfc7a7ov8sOeHUmiELdOFf/QYk=";
};
meta = with lib; {