Index of /debian-ports/pool-hurd-amd64/main/d/dune-localfunctions/

../
dune-localfunctions_2.10.0-1_hurd-amd64.buildinfo  24-Nov-2024 00:03                8426
dune-localfunctions_2.11.0~git20251211-1_hurd-a..> 05-Jan-2026 00:03                9030
libdune-localfunctions-dev_2.10.0-1_hurd-amd64.deb 24-Nov-2024 00:03              127208
libdune-localfunctions-dev_2.11.0~git20251211-1..> 05-Jan-2026 00:03              130868