../ dune-localfunctions_2.10~pre20240905-1_powerpc.buildinfo 22-Oct-2024 06:03 7658 dune-localfunctions_2.9.0-2_powerpc.buildinfo 13-Jan-2023 06:03 8571 libdune-localfunctions-dev_2.10~pre20240905-1_powerpc.deb 22-Oct-2024 06:03 124K libdune-localfunctions-dev_2.9.0-2_powerpc.deb 13-Jan-2023 06:03 121K