Index of /debian-ports/pool-hppa/main/d/dune-localfunctions/

../
dune-localfunctions_2.11.0-1_hppa.buildinfo        07-Feb-2026 06:03                7622
libdune-localfunctions-dev_2.11.0-1_hppa.deb       07-Feb-2026 06:03              131012