../ dune-istl_2.10.0-2.debian.tar.xz 22-Sep-2025 08:07 5948 dune-istl_2.10.0-2.dsc 22-Sep-2025 08:07 1608 dune-istl_2.10.0.orig.tar.bz2 22-Sep-2025 08:07 338231 libdune-istl-dev_2.10.0-2_loong64.deb 22-Sep-2025 08:07 218488 libdune-istl-doc_2.10.0-2_all.deb 22-Sep-2025 08:07 3921820