../ dune-localfunctions_2.10.0-1.debian.tar.xz 11-Jun-2026 16:52 4776 dune-localfunctions_2.10.0-1.dsc 11-Jun-2026 16:52 2446 dune-localfunctions_2.10.0.orig.tar.bz2 11-Jun-2026 16:52 166369 libdune-localfunctions-dev_2.10.0-1+b1_amd64.deb 11-Jun-2026 16:52 127480 libdune-localfunctions-dev_2.10.0-1_riscv64.deb 11-Jun-2026 16:52 127196 libdune-localfunctions-doc_2.10.0-1_all.deb 11-Jun-2026 16:52 4967544