../ dune-grid_2.6.0-3.debian.tar.xz 11-Apr-2022 09:54 7488 dune-grid_2.6.0-3.dsc 11-Apr-2022 09:54 2530 dune-grid_2.6.0.orig.tar.xz 11-Apr-2022 09:54 3M libdune-grid-dev_2.6.0-3_amd64.deb 11-Apr-2022 10:35 1M libdune-grid-dev_2.6.0-3_i386.deb 11-Apr-2022 10:34 1M libdune-grid-doc_2.6.0-3_all.deb 11-Apr-2022 10:46 8M