Index of /debian-ports/pool-x32/main/d/dune-geometry

	Name	Last modified	Size
	Parent Directory		-
	dune-geometry_2.10.0-1+b1_x32.buildinfo	2025-02-04 00:03	8.2K
	libdune-geometry-dev_2.10.0-1+b1_x32.deb	2025-02-04 00:03	280K
	libdune-geometry-dev-dbgsym_2.10.0-1+b1_x32.deb	2025-02-04 00:03	377K