../ dune-functions_2.10.0-2.debian.tar.xz 11-Jun-2026 16:52 5760 dune-functions_2.10.0-2.dsc 11-Jun-2026 16:52 2444 dune-functions_2.10.0.orig.tar.xz 11-Jun-2026 16:52 155116 libdune-functions-dev_2.10.0-2+b1_amd64.deb 11-Jun-2026 16:52 91948 libdune-functions-dev_2.10.0-2_riscv64.deb 11-Jun-2026 16:52 91616 libdune-functions-doc_2.10.0-2_all.deb 11-Jun-2026 16:52 2611088