Index of /ubuntu-archive/mirror/archive.ubuntu.com/ubuntu/pool/universe/d/dune-functions

	Name	Last modified	Size	Description
	Parent Directory		-
	libdune-functions-dev_2.6~20180228-1build1_all.deb	2018-08-16 12:58	56K
	libdune-functions-dev_2.8.0-2_amd64.deb	2021-10-23 02:38	72K
	libdune-functions-doc_2.6~20180228-1build1_all.deb	2018-08-16 12:58	1.5M
	libdune-functions-doc_2.8.0-2_all.deb	2021-10-23 02:38	1.4M