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

	Name	Last modified	Size	Description
	Parent Directory		-
	dune-localfunctions_2.6.0.orig.tar.gz.asc	03-Apr-2018 09:48	473
	dune-localfunctions_2.5.0.orig.tar.gz.asc	18-Dec-2016 23:04	1.6K
	dune-localfunctions_2.3.1-1.dsc	18-Jun-2014 03:31	2.4K
	dune-localfunctions_2.3.1-1.debian.tar.xz	18-Jun-2014 03:31	2.7K
	dune-localfunctions_2.6.0-1.dsc	03-Apr-2018 09:48	2.7K
	dune-localfunctions_2.5.0-2.dsc	21-Apr-2017 02:51	2.7K
	dune-localfunctions_2.6.0-1.debian.tar.xz	03-Apr-2018 09:48	3.5K
	dune-localfunctions_2.5.0-2.debian.tar.xz	21-Apr-2017 02:51	3.7K
	libdune-localfunctions-dev_2.3.1-1_all.deb	18-Jun-2014 03:31	91K
	libdune-localfunctions-dev_2.6.0-1_all.deb	03-Apr-2018 10:13	106K
	libdune-localfunctions-dev_2.5.0-2_all.deb	21-Apr-2017 03:26	106K
	dune-localfunctions_2.3.1.orig.tar.xz	18-Jun-2014 03:31	126K
	dune-localfunctions_2.6.0.orig.tar.gz	03-Apr-2018 09:48	173K
	dune-localfunctions_2.5.0.orig.tar.gz	18-Dec-2016 23:04	175K
	libdune-localfunctions-doc_2.3.1-1_all.deb	18-Jun-2014 03:31	769K
	libdune-localfunctions-doc_2.5.0-2_all.deb	21-Apr-2017 03:26	4.0M
	libdune-localfunctions-doc_2.6.0-1_all.deb	03-Apr-2018 10:13	4.3M