../ dune-istl_2.5.0-1.debian.tar.xz 18-Dec-2016 13:04 3260 dune-istl_2.5.0-1.dsc 18-Dec-2016 13:04 2603 dune-istl_2.5.0.orig.tar.gz 18-Dec-2016 13:04 326879 dune-istl_2.5.0.orig.tar.gz.asc 18-Dec-2016 13:04 1666 libdune-istl-dev_2.5.0-1_all.deb 18-Dec-2016 13:04 177732 libdune-istl-doc_2.5.0-1_all.deb 18-Dec-2016 13:04 2734238