../ deal.ii_8.1.0-4.debian.tar.xz 21-Apr-2014 08:40 4324 deal.ii_8.1.0-4.dsc 21-Apr-2014 08:40 2282 deal.ii_8.1.0.orig.tar.xz 14-Apr-2014 10:47 80669372 deal.ii_8.4.1-1.debian.tar.xz 22-Jul-2016 11:50 7284 deal.ii_8.4.1-1.dsc 22-Jul-2016 11:50 2607 deal.ii_8.4.1.orig.tar.xz 22-Jul-2016 11:50 135591724 libdeal.ii-doc_8.1.0-4_all.deb 21-Apr-2014 08:40 84912600 libdeal.ii-doc_8.4.1-1_all.deb 22-Jul-2016 11:50 141343402