../ 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-2.debian.tar.xz 10-Aug-2016 10:03 7312 deal.ii_8.4.1-2.dsc 10-Aug-2016 10:03 2591 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-2_all.deb 10-Aug-2016 11:44 141342252