../ dune-geometry_2.10.0-1.debian.tar.xz 14-Nov-2024 23:12 5800 dune-geometry_2.10.0-1.dsc 14-Nov-2024 23:12 2345 dune-geometry_2.10.0.orig.tar.bz2 14-Nov-2024 23:12 555K libdune-geometry-dev_2.10.0-1+b1_amd64.deb 23-Jan-2025 20:42 280K libdune-geometry-doc_2.10.0-1_all.deb 15-Nov-2024 00:54 1M