Merge pull request #165625 from StridBot/auto-update/ocaml4.13.1-jingoo

This commit is contained in:
Sandro 2022-03-27 14:45:58 +02:00 committed by GitHub
commit b8f9be5de7
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -3,7 +3,7 @@
buildDunePackage rec {
pname = "jingoo";
version = "1.4.2";
version = "1.4.4";
useDune2 = true;
@ -13,7 +13,7 @@ buildDunePackage rec {
owner = "tategakibunko";
repo = "jingoo";
rev = "v${version}";
sha256 = "0q947aik4i4z5wjllhwlkxh60qczwgra21yyrrzwhi9y5bnf8346";
sha256 = "sha256-qIw69OE7wYyZYKnIc9QrmF8MzY5Fg5pBFyIpexmaYxA=";
};
buildInputs = [ menhir ];