From bad817025c5d7024806a06da91b2631b995442a2 Mon Sep 17 00:00:00 2001 From: Carsten Bauer Date: Thu, 3 Aug 2023 13:20:32 +0200 Subject: [PATCH] fix doc build --- docs/Project.toml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/docs/Project.toml b/docs/Project.toml index 233f1ce..cbc32d4 100644 --- a/docs/Project.toml +++ b/docs/Project.toml @@ -3,9 +3,11 @@ BenchmarkTools = "6e4b80f9-dd63-53aa-95a3-0cdb28fa8baf" DocThemePC2 = "891028e3-bd96-440d-a0ed-4cea5ae68e00" Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4" DocumenterTools = "35a29f4d-8980-5a13-9543-d66fff28ecb8" +HDF5 = "f67ccb44-e63f-5c2f-98bd-6dc0ccc4ba2f" [compat] BenchmarkTools = "1.2" DocThemePC2 = "0.1" Documenter = "0.27" DocumenterTools = "0.1" +HDF5 = "0.16"