../ dune-grid_2.6.0-3.debian.tar.xz 27-Mar-2020 22:03 7488 dune-grid_2.6.0-3.dsc 27-Mar-2020 22:03 2530 dune-grid_2.6.0.orig.tar.xz 27-Mar-2020 22:03 3M libdune-grid-dev_2.6.0-3_amd64.deb 27-Mar-2020 22:03 1M libdune-grid-dev_2.6.0-3_arm64.deb 27-Mar-2020 22:03 1M libdune-grid-dev_2.6.0-3_i386.deb 27-Mar-2020 22:03 1M libdune-grid-dev_2.6.0-3_mips64el.deb 27-Mar-2020 22:03 985K libdune-grid-doc_2.6.0-3_all.deb 27-Mar-2020 22:03 8M