../ dune-grid-glue_2.7.0-3.debian.tar.xz 18-Aug-2026 16:25 3792 dune-grid-glue_2.7.0-3.dsc 18-Aug-2026 16:25 2569 dune-grid-glue_2.7.0.orig.tar.gz 18-Aug-2026 16:25 79K dune-grid-glue_2.7.0.orig.tar.gz.asc 18-Aug-2026 16:26 1601 libdune-grid-glue-dev_2.7.0-3+b1_amd64.deb 18-Aug-2026 19:57 102K libdune-grid-glue-dev_2.7.0-3+b1_i386.deb 18-Aug-2026 19:57 105K libdune-grid-glue-doc_2.7.0-3_all.deb 18-Aug-2026 19:57 702K