../ deal.ii_8.4.2-2.debian.tar.xz 07-Dec-2016 12:44 7968 deal.ii_8.4.2-2.dsc 07-Dec-2016 12:44 2601 deal.ii_8.4.2.orig.tar.xz 05-Sep-2016 12:47 135357744 libdeal.ii-8.4.2_8.4.2-2+b1_amd64.deb 22-Feb-2017 01:11 31510622 libdeal.ii-dev_8.4.2-2+b1_amd64.deb 22-Feb-2017 01:11 1190846 libdeal.ii-doc_8.4.2-2_all.deb 07-Dec-2016 15:00 141750076