../ dune-istl_2.5.0-2.debian.tar.xz 24-Apr-2019 17:15 3864 dune-istl_2.5.0-2.dsc 24-Apr-2019 17:15 2603 dune-istl_2.5.0.orig.tar.gz 24-Apr-2019 17:15 319K dune-istl_2.5.0.orig.tar.gz.asc 24-Apr-2019 17:15 1666 libdune-istl-dev_2.5.0-2_all.deb 24-Apr-2019 17:15 174K libdune-istl-doc_2.5.0-2_all.deb 24-Apr-2019 17:15 3M