Index of /debian/pool/main/d/dune-grid-glue

	Name	Last modified	Size	Description
	Parent Directory		-
	dune-grid-glue_2.6~20180130-1.debian.tar.xz	2018-04-10 04:54	3.5K
	dune-grid-glue_2.6~20180130.orig.tar.xz	2018-04-10 04:54	66K
	dune-grid-glue_2.7.0-3.debian.tar.xz	2020-11-14 05:48	3.7K
	dune-grid-glue_2.7.0.orig.tar.gz.asc	2020-06-09 17:28	1.6K
	dune-grid-glue_2.9.0-3.debian.tar.xz	2023-01-13 07:39	3.6K
	dune-grid-glue_2.9.0.orig.tar.gz.asc	2023-01-11 11:25	228
	dune-grid-glue_2.10.0-1.debian.tar.xz	2024-11-14 15:42	4.0K
	libdune-grid-glue-dev_2.6~20180130-1+b11_i386.deb	2019-03-15 18:13	105K
	libdune-grid-glue-dev_2.7.0-3+b1_i386.deb	2021-01-22 07:31	105K
	libdune-grid-glue-dev_2.9.0-3_i386.deb	2023-01-13 12:09	107K
	libdune-grid-glue-dev_2.10.0-1+b1_i386.deb	2025-01-23 09:05	110K
	libdune-grid-glue-dev_2.10.0-1+b1_riscv64.deb	2025-01-24 22:10	111K
	libdune-grid-glue-doc_2.6~20180130-1_all.deb	2018-04-10 15:49	690K
	libdune-grid-glue-doc_2.7.0-3_all.deb	2020-11-14 06:28	702K
	libdune-grid-glue-doc_2.9.0-3_all.deb	2023-01-13 09:56	764K
	libdune-grid-glue-doc_2.10.0-1_all.deb	2024-11-14 16:55	936K