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

../
dune-localfunctions_2.10.0-1_hppa.buildinfo        15-Nov-2024 09:03    7630
libdune-localfunctions-dev_2.10.0-1_hppa.deb       15-Nov-2024 09:03    124K