docfd: 8.0.1 -> 8.0.2 (#340435)

This commit is contained in:
nixpkgs-merge-bot[bot] 2024-09-08 08:23:28 +00:00 committed by GitHub
commit 2eb00885dc
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -21,7 +21,7 @@ let
in
buildDunePackage' rec {
pname = "docfd";
version = "8.0.1";
version = "8.0.2";
minimalOCamlVersion = "5.1";
@ -29,7 +29,7 @@ buildDunePackage' rec {
owner = "darrenldl";
repo = "docfd";
rev = version;
hash = "sha256-0VeUT9i3/eEA64XsrpUi3oXyrinEFSJWzsEXrsUly30=";
hash = "sha256-A4feBRZs9EFpfgbGGcaKlwAz59RbKuPZAVJytgYVUAc=";
};
nativeBuildInputs = [