../ dune-istl_2.10.0-2.debian.tar.xz 11-Jun-2026 16:52 5948 dune-istl_2.10.0-2.dsc 11-Jun-2026 16:52 2491 dune-istl_2.10.0.orig.tar.bz2 11-Jun-2026 16:52 338231 libdune-istl-dev_2.10.0-2_amd64.deb 11-Jun-2026 16:52 218500 libdune-istl-dev_2.10.0-2_riscv64.deb 11-Jun-2026 16:52 218488 libdune-istl-doc_2.10.0-2_all.deb 11-Jun-2026 16:52 3919520