Index of /ubuntu/pool/universe/d/dune-functions

	Name	Last modified	Size	Description
	Parent Directory		-
	dune-functions_2.5.1.orig.tar.gz.asc	19-Jul-2017 08:14	1.0K
	dune-functions_2.6~20180228-1build1.dsc	19-Jul-2018 15:58	2.5K
	dune-functions_2.5.1-1.debian.tar.xz	19-Jul-2017 08:14	2.7K
	dune-functions_2.5.1-1.dsc	19-Jul-2017 08:14	2.7K
	dune-functions_2.6~20180228-1build1.debian.tar.xz	19-Jul-2018 15:58	2.9K
	libdune-functions-dev_2.5.1-1_all.deb	19-Jul-2017 12:53	53K
	libdune-functions-dev_2.6~20180228-1build1_all.deb	16-Aug-2018 19:58	56K
	dune-functions_2.5.1.orig.tar.gz	19-Jul-2017 08:14	247K
	dune-functions_2.6~20180228.orig.tar.xz	05-May-2018 04:29	257K
	libdune-functions-doc_2.6~20180228-1build1_all.deb	16-Aug-2018 19:58	1.5M
	libdune-functions-doc_2.5.1-1_all.deb	19-Jul-2017 12:53	1.7M