../ dune-grid-glue_2.9.0-3.debian.tar.xz 14-Aug-2026 18:58 3692 dune-grid-glue_2.9.0-3.dsc 14-Aug-2026 18:58 2576 dune-grid-glue_2.9.0.orig.tar.gz 14-Aug-2026 18:58 97K dune-grid-glue_2.9.0.orig.tar.gz.asc 14-Aug-2026 18:58 228 libdune-grid-glue-dev_2.9.0-3_amd64.deb 14-Aug-2026 22:55 103K libdune-grid-glue-dev_2.9.0-3_i386.deb 14-Aug-2026 22:55 107K libdune-grid-glue-doc_2.9.0-3_all.deb 14-Aug-2026 22:55 764K