Index of /professional/pool/main/d/dune-istl/

../
dune-istl_2.4.1-1.debian.tar.xz                    29-Feb-2016 17:40                3200
dune-istl_2.4.1-1.dsc                              29-Feb-2016 17:40                2311
dune-istl_2.4.1.orig.tar.xz                        29-Feb-2016 17:40              230380
dune-istl_2.5.0-1.debian.tar.xz                    18-Dec-2016 21:04                3260
dune-istl_2.5.0-1.dsc                              18-Dec-2016 21:04                2603
dune-istl_2.5.0.orig.tar.gz                        18-Dec-2016 21:04              326879
dune-istl_2.5.0.orig.tar.gz.asc                    18-Dec-2016 21:04                1666
libdune-istl-dev_2.4.1-1_all.deb                   29-Feb-2016 17:40              165886
libdune-istl-dev_2.5.0-1_all.deb                   18-Dec-2016 21:04              177732
libdune-istl-doc_2.4.1-1_all.deb                   29-Feb-2016 17:40             2510978
libdune-istl-doc_2.5.0-1_all.deb                   18-Dec-2016 21:04             2734238