../ libdune-grid-glue-dev_2.5.0-1_amd64.deb 11-Mar-2022 19:43 104K libdune-grid-glue-dev_2.6~20180130-1build3_amd6..> 12-Mar-2022 14:15 103K libdune-grid-glue-dev_2.8.0-2_amd64.deb 07-Nov-2023 16:40 105K libdune-grid-glue-doc_2.5.0-1_all.deb 11-Mar-2022 19:43 656K libdune-grid-glue-doc_2.6~20180130-1build3_all.deb 12-Mar-2022 14:15 704K libdune-grid-glue-doc_2.8.0-2_all.deb 07-Nov-2023 16:40 736K