../ deal.ii_9.5.1-3.debian.tar.xz 25-May-2024 08:21 12K deal.ii_9.5.1-3.dsc 25-May-2024 08:21 2782 deal.ii_9.5.1.orig.tar.xz 06-Sep-2023 21:29 234M libdeal.ii-9.5.1_9.5.1-3_amd64.deb 25-May-2024 14:07 82M libdeal.ii-dev_9.5.1-3_amd64.deb 25-May-2024 14:07 2M libdeal.ii-doc_9.5.1-3_all.deb 25-May-2024 10:08 246M