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

../
dune-grid_2.10.0-1.debian.tar.xz                   31-Oct-2025 09:28                7044
dune-grid_2.10.0-1.dsc                             31-Oct-2025 09:28                2516
dune-grid_2.10.0.orig.tar.bz2                      31-Oct-2025 09:28             2794950
dune-grid_2.7.1-2.debian.tar.xz                    31-Oct-2025 09:28                6700
dune-grid_2.7.1-2.dsc                              31-Oct-2025 09:28                2489
dune-grid_2.7.1.orig.tar.xz                        31-Oct-2025 09:28             2655336
dune-grid_2.9.0-2.debian.tar.xz                    31-Oct-2025 09:28                6704
dune-grid_2.9.0-2.dsc                              31-Oct-2025 09:28                2500
dune-grid_2.9.0.orig.tar.xz                        31-Oct-2025 09:28             2688904
libdune-grid-dev_2.10.0-1+b3_amd64.deb             31-Oct-2025 09:28             1061496
libdune-grid-dev_2.7.1-2_amd64.deb                 31-Oct-2025 09:28             1164628
libdune-grid-dev_2.9.0-2_amd64.deb                 31-Oct-2025 09:28             1049412
libdune-grid-doc_2.10.0-1_all.deb                  31-Oct-2025 09:28             7889252
libdune-grid-doc_2.7.1-2_all.deb                   31-Oct-2025 09:28             5795296
libdune-grid-doc_2.9.0-2_all.deb                   31-Oct-2025 09:28             6752500