../ dune-geometry_2.5.0-1.debian.tar.xz 26-Apr-2023 14:18 3616 dune-geometry_2.5.0-1.dsc 26-Apr-2023 14:18 2699 dune-geometry_2.5.0.orig.tar.gz 26-Apr-2023 14:18 689K dune-geometry_2.5.0.orig.tar.gz.asc 26-Apr-2023 14:18 1666 libdune-geometry-dbg_2.5.0-1_i386.deb 26-Apr-2023 14:18 424K libdune-geometry-dev_2.5.0-1_i386.deb 26-Apr-2023 14:18 268K libdune-geometry-doc_2.5.0-1_all.deb 26-Apr-2023 14:18 892K