../ dune-geometry_2.5.0-1.debian.tar.xz 24-Apr-2019 17:15 3616 dune-geometry_2.5.0-1.dsc 24-Apr-2019 17:15 2699 dune-geometry_2.5.0.orig.tar.gz 24-Apr-2019 17:15 689K dune-geometry_2.5.0.orig.tar.gz.asc 24-Apr-2019 17:15 1666 libdune-geometry-dbg_2.5.0-1_mips64el.deb 24-Apr-2019 17:15 480K libdune-geometry-dev_2.5.0-1_mips64el.deb 24-Apr-2019 17:15 266K libdune-geometry-doc_2.5.0-1_all.deb 24-Apr-2019 17:15 892K