Philippe 13/12/2023: downgrade HDF5 from 1.14.3 to 1.14.2 to workaround a...

Philippe 13/12/2023: downgrade HDF5 from 1.14.3 to 1.14.2 to workaround a known bug (to be corrected in future version 1.14.4)

src/configure

@@ -13,7 +13,7 @@ export VERSION_BUG=${VERSION_BUG:-2}
 export VERSION_XYZ=${VERSION_XYZ:-${VERSION_MASTER}-${VERSION_BUG}${VER_OASIS:+-${VER_OASIS}}}
 export VERSION_DATE=${VERSION_DATE:-"28/11/2023"}
 export VERSION_LIBAEC=${VERSION_LIBAEC:-"1.1.2"}
-export VERSION_HDF=${VERSION_HDF:-"1.14.3"}
+export VERSION_HDF=${VERSION_HDF:-"1.14.2"}
 export VERSION_CDFC=${VERSION_CDFC:-"4.9.2"}
 export VERSION_CDFCXX=${VERSION_CDFCXX:-"4.3.1"}
 export VERSION_CDFF=${VERSION_CDFF:-"4.6.1"}