../ dune-geometry_2.5.1-1.debian.tar.xz 18-Jul-2017 23:14 3672 dune-geometry_2.5.1-1.dsc 18-Jul-2017 23:14 2643 dune-geometry_2.5.1.orig.tar.gz 18-Jul-2017 23:14 704515 dune-geometry_2.5.1.orig.tar.gz.asc 18-Jul-2017 23:14 1061 libdune-geometry-dev_2.5.1-1_i386.deb 19-Jul-2017 00:15 273886 libdune-geometry-doc_2.5.1-1_all.deb 19-Jul-2017 00:14 1018210