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

	Name	Last modified	Size
	Parent Directory		-
	dune-localfunctions_2.6.0.orig.tar.gz.asc	03-Apr-2018 02:48	473
	dune-localfunctions_2.7.1.orig.tar.gz.asc	07-Jan-2021 15:01	833
	libdune-localfunctions-dev_2.6.0-1_all.deb	03-Apr-2018 03:13	106K
	libdune-localfunctions-dev_2.7.1-2_all.deb	13-Jan-2021 11:59	113K
	libdune-localfunctions-dev_2.9.0-2_amd64.deb	13-Jan-2023 14:59	121K
	libdune-localfunctions-dev_2.9.0-2_i386.deb	13-Jan-2023 06:54	121K
	libdune-localfunctions-dev_2.10.0-1+b1_amd64.deb	23-Jan-2025 16:52	124K
	libdune-localfunctions-dev_2.10.0-1_i386.deb	14-Nov-2024 22:16	124K
	libdune-localfunctions-dev_2.10.0-1_riscv64.deb	15-Nov-2024 05:38	124K
	libdune-localfunctions-doc_2.6.0-1_all.deb	03-Apr-2018 03:13	4.3M
	libdune-localfunctions-doc_2.7.1-2_all.deb	13-Jan-2021 11:59	3.6M
	libdune-localfunctions-doc_2.9.0-2_all.deb	13-Jan-2023 14:44	4.1M
	libdune-localfunctions-doc_2.10.0-1_all.deb	14-Nov-2024 22:16	4.7M