Index of /ubuntu-ports/pool/universe/d/dune-grid-glue/

../
dune-grid-glue_2.6~20180130-1build3.debian.tar.xz  30-Aug-2023 22:40                3704
dune-grid-glue_2.6~20180130-1build3.dsc            30-Aug-2023 22:40                2417
dune-grid-glue_2.6~20180130.orig.tar.xz            30-Aug-2023 22:40               67620
dune-grid-glue_2.8.0-2.debian.tar.xz               30-Aug-2023 22:40                3424
dune-grid-glue_2.8.0-2.dsc                         30-Aug-2023 22:40                2569
dune-grid-glue_2.8.0.orig.tar.gz                   30-Aug-2023 22:40               81141
dune-grid-glue_2.8.0.orig.tar.gz.asc               30-Aug-2023 22:40                1601
dune-grid-glue_2.9.0-3build2.debian.tar.xz         23-Apr-2024 00:08                3868
dune-grid-glue_2.9.0-3build2.dsc                   23-Apr-2024 00:08                2708
dune-grid-glue_2.9.0.orig.tar.gz                   16-Dec-2023 00:37               99492
dune-grid-glue_2.9.0.orig.tar.gz.asc               16-Dec-2023 00:37                 228
libdune-grid-glue-dev_2.6~20180130-1build3_arm6..> 30-Aug-2023 22:40               98704
libdune-grid-glue-dev_2.8.0-2_arm64.deb            30-Aug-2023 22:40              104846
libdune-grid-glue-dev_2.9.0-3build2_arm64.deb      23-Apr-2024 00:08              107610
libdune-grid-glue-doc_2.6~20180130-1build3_all.deb 30-Aug-2023 22:40              720772
libdune-grid-glue-doc_2.8.0-2_all.deb              30-Aug-2023 22:40              753420
libdune-grid-glue-doc_2.9.0-3build2_all.deb        23-Apr-2024 00:08              966740