Index of /debian/pool/main/d/dune-grid-glue/

../
dune-grid-glue_2.10.0-1.debian.tar.xz              31-Oct-2025 09:28                4084
dune-grid-glue_2.10.0-1.dsc                        31-Oct-2025 09:28                2330
dune-grid-glue_2.10.0.orig.tar.bz2                 31-Oct-2025 09:28              316872
dune-grid-glue_2.7.0-3.debian.tar.xz               31-Oct-2025 09:28                3792
dune-grid-glue_2.7.0-3.dsc                         31-Oct-2025 09:28                2569
dune-grid-glue_2.7.0.orig.tar.gz                   31-Oct-2025 09:28               81402
dune-grid-glue_2.7.0.orig.tar.gz.asc               31-Oct-2025 09:28                1601
dune-grid-glue_2.9.0-3.debian.tar.xz               31-Oct-2025 09:28                3692
dune-grid-glue_2.9.0-3.dsc                         31-Oct-2025 09:28                2576
dune-grid-glue_2.9.0.orig.tar.gz                   31-Oct-2025 09:28               99492
dune-grid-glue_2.9.0.orig.tar.gz.asc               31-Oct-2025 09:28                 228
libdune-grid-glue-dev_2.10.0-1+b1_amd64.deb        31-Oct-2025 09:28              109480
libdune-grid-glue-dev_2.7.0-3+b1_amd64.deb         31-Oct-2025 09:28              104664
libdune-grid-glue-dev_2.9.0-3_amd64.deb            31-Oct-2025 09:28              105912
libdune-grid-glue-doc_2.10.0-1_all.deb             31-Oct-2025 09:28              958704
libdune-grid-glue-doc_2.7.0-3_all.deb              31-Oct-2025 09:28              719088
libdune-grid-glue-doc_2.9.0-3_all.deb              31-Oct-2025 09:28              782096