Index of /debian/pool/main/d/dune-functions

	Name	Last modified	Size	Description
	Parent Directory		-
	dune-functions_2.5.0.orig.tar.gz.asc	19-Dec-2016 03:11	1.6K
	dune-functions_2.6~20180228-1.dsc	11-Apr-2018 05:49	2.5K
	dune-functions_2.5.0-1.debian.tar.xz	19-Dec-2016 03:11	2.5K
	dune-functions_2.5.0-1.dsc	19-Dec-2016 03:11	2.7K
	dune-functions_2.6~20180228-1.debian.tar.xz	11-Apr-2018 05:49	2.8K
	libdune-functions-dev_2.5.0-1_all.deb	19-Dec-2016 03:11	53K
	libdune-functions-dev_2.6~20180228-1_all.deb	11-Apr-2018 08:03	57K
	dune-functions_2.5.0.orig.tar.gz	19-Dec-2016 03:11	247K
	dune-functions_2.6~20180228.orig.tar.xz	11-Apr-2018 05:49	257K
	libdune-functions-doc_2.5.0-1_all.deb	19-Dec-2016 03:11	1.5M
	libdune-functions-doc_2.6~20180228-1_all.deb	11-Apr-2018 08:03	1.5M