../ deal.ii_9.1.1-9build2.debian.tar.xz 29-Feb-2020 06:38 10456 deal.ii_9.1.1-9build2.dsc 29-Feb-2020 06:38 2839 deal.ii_9.1.1.orig.tar.xz 23-Jul-2019 23:14 162621324 libdeal.ii-9.1.1_9.1.1-9build2_amd64.deb 29-Feb-2020 09:28 61070976 libdeal.ii-dev_9.1.1-9build2_amd64.deb 29-Feb-2020 09:28 1712436 libdeal.ii-doc_9.1.1-9build2_all.deb 29-Feb-2020 09:28 170975592