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

	Name	Last modified	Size
	Parent Directory		-
	dune-istl_2.3.1-1.debian.tar.xz	17-Jun-2014 19:31	2.8K
	dune-istl_2.3.1-1.dsc	17-Jun-2014 19:31	2.2K
	dune-istl_2.3.1.orig.tar.xz	17-Jun-2014 19:31	219K
	dune-istl_2.5.0-2.debian.tar.xz	20-Apr-2017 18:51	3.8K
	dune-istl_2.5.0-2.dsc	20-Apr-2017 18:51	2.5K
	dune-istl_2.5.0.orig.tar.gz	18-Dec-2016 13:04	319K
	dune-istl_2.5.0.orig.tar.gz.asc	18-Dec-2016 13:04	1.6K
	dune-istl_2.6.0-2.debian.tar.xz	28-Sep-2018 20:23	6.5K
	dune-istl_2.6.0-2.dsc	28-Sep-2018 20:23	2.5K
	dune-istl_2.6.0.orig.tar.gz	03-Apr-2018 01:02	329K
	dune-istl_2.6.0.orig.tar.gz.asc	03-Apr-2018 01:02	473
	libdune-istl-dev_2.3.1-1_all.deb	17-Jun-2014 19:31	159K
	libdune-istl-dev_2.5.0-2_all.deb	20-Apr-2017 19:26	174K
	libdune-istl-dev_2.6.0-2_all.deb	28-Sep-2018 21:29	181K
	libdune-istl-doc_2.3.1-1_all.deb	17-Jun-2014 19:31	913K
	libdune-istl-doc_2.5.0-2_all.deb	20-Apr-2017 19:26	2.6M
	libdune-istl-doc_2.6.0-2_all.deb	28-Sep-2018 21:29	2.8M