../ dune-grid_2.10.0-1.debian.tar.xz 11-Jun-2026 16:52 7044 dune-grid_2.10.0-1.dsc 11-Jun-2026 16:52 2516 dune-grid_2.10.0.orig.tar.bz2 11-Jun-2026 16:52 2794950 libdune-grid-dev_2.10.0-1+b3_amd64.deb 11-Jun-2026 16:52 1061496 libdune-grid-dev_2.10.0-1+b3_riscv64.deb 11-Jun-2026 16:52 1071160 libdune-grid-doc_2.10.0-1_all.deb 11-Jun-2026 16:52 7889252