../ dune-istl_2.10.0-1.debian.tar.xz 14-Nov-2024 18:02 5292 dune-istl_2.10.0-1.dsc 14-Nov-2024 18:02 2491 dune-istl_2.10.0.orig.tar.bz2 14-Nov-2024 18:02 338231 libdune-istl-dev_2.10.0-1+b1_amd64.deb 23-Jan-2025 15:57 218788 libdune-istl-dev_2.10.0-1_arm64.deb 14-Nov-2024 20:10 218528 libdune-istl-dev_2.10.0-1_i386.deb 14-Nov-2024 19:34 218516 libdune-istl-doc_2.10.0-1_all.deb 14-Nov-2024 20:10 3920372