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

	Name	Last modified	Size
	Parent Directory		-
	dune-functions_2.6~20180228-1.debian.tar.xz	2018-04-11 08:49	2.8K
	dune-functions_2.6~20180228-1.dsc	2018-04-11 08:49	2.5K
	dune-functions_2.6~20180228.orig.tar.xz	2018-04-11 08:49	257K
	dune-functions_2.7.1-2.debian.tar.xz	2021-01-13 22:59	3.1K
	dune-functions_2.7.1-2.dsc	2021-01-13 22:59	2.4K
	dune-functions_2.7.1.orig.tar.xz	2021-01-08 03:06	85K
	dune-functions_2.9.0-2.debian.tar.xz	2023-01-14 00:52	4.2K
	dune-functions_2.9.0-2.dsc	2023-01-14 00:52	2.4K
	dune-functions_2.9.0.orig.tar.xz	2023-01-09 01:59	112K
	libdune-functions-dev_2.6~20180228-1_all.deb	2018-04-11 11:03	57K
	libdune-functions-dev_2.7.1-2_all.deb	2021-01-14 00:55	65K
	libdune-functions-dev_2.9.0-2_amd64.deb	2023-01-14 04:56	81K
	libdune-functions-dev_2.9.0-2_i386.deb	2023-01-14 07:09	81K
	libdune-functions-doc_2.6~20180228-1_all.deb	2018-04-11 11:03	1.5M
	libdune-functions-doc_2.7.1-2_all.deb	2021-01-14 00:55	1.3M
	libdune-functions-doc_2.9.0-2_all.deb	2023-01-14 04:56	1.7M