Merge pull request #165617 from StridBot/auto-update/ocaml4.13.1-directories

This commit is contained in:
Sandro 2022-03-27 13:37:20 +02:00 committed by GitHub
commit f675b661da
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2,7 +2,7 @@
buildDunePackage rec {
pname = "directories";
version = "0.2";
version = "0.5";
useDune2 = true;
minimumOCamlVersion = "4.07";
@ -11,7 +11,7 @@ buildDunePackage rec {
owner = "ocamlpro";
repo = pname;
rev = version;
sha256 = "0s7ginh0g0fhw8xf9v58cx99a8q9jqsf4i0p134m5qzf84qpjwff";
sha256 = "sha256-31CGhmmfOORJ1ewgp+IU+p1+f2kfX/W+lxK7EGU62vc=";
};
meta = {