ocamlPackages.menhirLib: 20210419 -> 20211012

conduit-nginx
Mario Rodas 2021-10-19 22:38:44 -05:00 committed by Vincent Laporte
parent 8018eea2df
commit 1326545a4e
1 changed files with 2 additions and 2 deletions

View File

@ -2,14 +2,14 @@
buildDunePackage rec {
pname = "menhirLib";
version = "20210419";
version = "20211012";
src = fetchFromGitLab {
domain = "gitlab.inria.fr";
owner = "fpottier";
repo = "menhir";
rev = version;
sha256 = "0jcbr7s3iwfr7xxfybs3h407g76yfp5yq5r9i0wg2ahvvbqh03ky";
sha256 = "08kf5apbv15n2kcr3qhyr3rvsf2lg25ackr3x9kfgiiqc0p3sz40";
};
useDune2 = true;