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

	Name	Last modified	Size	Description
	Parent Directory		-
	dune-grid-glue_2.7.0-3.debian.tar.xz	2021-09-15 02:22	3.7K
	dune-grid-glue_2.7.0-3.dsc	2021-09-15 02:22	2.5K
	dune-grid-glue_2.7.0.orig.tar.gz	2021-09-15 02:22	79K
	dune-grid-glue_2.7.0.orig.tar.gz.asc	2021-09-15 02:22	1.6K
	dune-grid-glue_2.9.0-3.debian.tar.xz	2024-10-04 14:10	3.6K
	dune-grid-glue_2.9.0-3.dsc	2024-10-04 14:10	2.5K
	dune-grid-glue_2.9.0.orig.tar.gz	2024-10-04 14:10	97K
	dune-grid-glue_2.9.0.orig.tar.gz.asc	2024-10-04 14:10	228
	dune-grid-glue_2.10.0-1.debian.tar.xz	2026-08-05 00:48	4.0K
	dune-grid-glue_2.10.0-1.dsc	2026-08-05 00:48	2.3K
	dune-grid-glue_2.10.0.orig.tar.bz2	2026-08-05 00:48	309K
	libdune-grid-glue-dev_2.7.0-3+b1_amd64.deb	2021-09-15 02:22	102K
	libdune-grid-glue-dev_2.9.0-3_amd64.deb	2024-10-04 14:10	103K
	libdune-grid-glue-dev_2.10.0-1+b1_amd64.deb	2026-08-05 00:48	107K
	libdune-grid-glue-doc_2.7.0-3_all.deb	2021-09-15 02:22	702K
	libdune-grid-glue-doc_2.9.0-3_all.deb	2024-10-04 14:10	764K
	libdune-grid-glue-doc_2.10.0-1_all.deb	2026-08-05 00:48	936K