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

../
dune-grid-glue_2.10.0-1.debian.tar.xz              06-Aug-2025 12:29                4084
dune-grid-glue_2.10.0-1.dsc                        06-Aug-2025 12:29                2330
dune-grid-glue_2.10.0.orig.tar.bz2                 06-Aug-2025 12:29              316872
dune-grid-glue_2.9.0-3.debian.tar.xz               20-Apr-2023 12:40                3692
dune-grid-glue_2.9.0-3.dsc                         20-Apr-2023 12:40                2576
dune-grid-glue_2.9.0.orig.tar.gz                   20-Apr-2023 12:40               99492
dune-grid-glue_2.9.0.orig.tar.gz.asc               20-Apr-2023 12:40                 228
libdune-grid-glue-dev_2.10.0-1+b1_amd64.deb        06-Aug-2025 12:29              109480
libdune-grid-glue-dev_2.10.0-1+b1_i386.deb         06-Aug-2025 12:29              112584
libdune-grid-glue-dev_2.9.0-3_amd64.deb            20-Apr-2023 12:40              105912
libdune-grid-glue-dev_2.9.0-3_i386.deb             20-Apr-2023 12:40              109228
libdune-grid-glue-doc_2.10.0-1_all.deb             06-Aug-2025 12:29              958704
libdune-grid-glue-doc_2.9.0-3_all.deb              20-Apr-2023 12:40              782096