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

	Name	Last modified	Size	Description
	Parent Directory		-
	dune-localfunctions_2.6.0-1.debian.tar.xz	2019-08-27 12:12	3.5K
	dune-localfunctions_2.6.0-1.dsc	2019-08-27 12:12	2.7K
	dune-localfunctions_2.6.0.orig.tar.gz	2019-08-27 12:12	173K
	dune-localfunctions_2.6.0.orig.tar.gz.asc	2019-08-27 12:12	473
	dune-localfunctions_2.7.1-2.debian.tar.xz	2023-02-25 17:32	3.6K
	dune-localfunctions_2.7.1-2.dsc	2023-02-25 17:32	2.7K
	dune-localfunctions_2.7.1.orig.tar.gz	2023-02-25 17:32	185K
	dune-localfunctions_2.7.1.orig.tar.gz.asc	2023-02-25 17:32	833
	dune-localfunctions_2.9.0-2.debian.tar.xz	2023-03-12 08:18	4.6K
	dune-localfunctions_2.9.0-2.dsc	2023-03-12 08:18	2.4K
	dune-localfunctions_2.9.0.orig.tar.xz	2023-03-12 08:18	149K
	libdune-localfunctions-dev_2.6.0-1_all.deb	2019-08-27 12:12	106K
	libdune-localfunctions-dev_2.7.1-2_all.deb	2023-02-25 17:32	113K
	libdune-localfunctions-dev_2.9.0-2_amd64.deb	2023-03-12 08:18	121K
	libdune-localfunctions-doc_2.6.0-1_all.deb	2019-08-27 12:12	4.3M
	libdune-localfunctions-doc_2.7.1-2_all.deb	2023-02-25 17:32	3.6M
	libdune-localfunctions-doc_2.9.0-2_all.deb	2023-03-12 08:18	4.1M