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

../
dune-grid-glue_2.6~20180130-1.debian.tar.xz        08-Apr-2019 09:43                3580
dune-grid-glue_2.6~20180130-1.dsc                  08-Apr-2019 09:43                2393
dune-grid-glue_2.6~20180130.orig.tar.xz            08-Apr-2019 09:43               67620
dune-grid-glue_2.9.0-3.debian.tar.xz               16-Feb-2023 22:42                3692
dune-grid-glue_2.9.0-3.dsc                         16-Feb-2023 22:42                2576
dune-grid-glue_2.9.0.orig.tar.gz                   16-Feb-2023 22:42               99492
dune-grid-glue_2.9.0.orig.tar.gz.asc               16-Feb-2023 22:42                 228
libdune-grid-glue-dev_2.6~20180130-1+b11_amd64.deb 08-Apr-2019 09:41              104228
libdune-grid-glue-dev_2.6~20180130-1+b11_arm64.deb 05-Nov-2020 16:15               99260
libdune-grid-glue-dev_2.6~20180130-1+b11_i386.deb  05-Nov-2020 16:14              107072
libdune-grid-glue-dev_2.9.0-3_amd64.deb            16-Feb-2023 22:23              105912
libdune-grid-glue-dev_2.9.0-3_arm64.deb            16-Feb-2023 22:21              101220
libdune-grid-glue-dev_2.9.0-3_i386.deb             16-Feb-2023 22:20              109228
libdune-grid-glue-doc_2.6~20180130-1_all.deb       08-Apr-2019 09:40              706596
libdune-grid-glue-doc_2.9.0-3_all.deb              16-Feb-2023 22:35              782096