../ dune-localfunctions_2.10.0-1_alpha.buildinfo 19-Nov-2024 00:03 8806 dune-localfunctions_2.11.0~git20251211-1_alpha...> 05-Jan-2026 00:03 8984 libdune-localfunctions-dev_2.10.0-1_alpha.deb 19-Nov-2024 00:03 124K libdune-localfunctions-dev_2.11.0~git20251211-1..> 05-Jan-2026 00:03 128K