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

../
dune-geometry_2.10.0-1+b1_x32.buildinfo            04-Feb-2025 03:03    8391
libdune-geometry-dev-dbgsym_2.10.0-1+b1_x32.deb    04-Feb-2025 03:03    377K
libdune-geometry-dev_2.10.0-1+b1_x32.deb           04-Feb-2025 03:03    280K