../ dune-localfunctions_2.10.0-1_x32.buildinfo 15-Nov-2024 00:03 7783 dune-localfunctions_2.11.0~git20251211-1_x32.bu..> 04-Jan-2026 18:03 7257 libdune-localfunctions-dev_2.10.0-1_x32.deb 15-Nov-2024 00:03 127208 libdune-localfunctions-dev_2.11.0~git20251211-1..> 04-Jan-2026 18:03 130860