../ 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-6.debian.tar.xz 16-Mar-2016 11:14 7476 deal.ii_8.1.0-6.dsc 16-Mar-2016 11:14 2302 deal.ii_8.1.0.orig.tar.xz 14-Apr-2014 10:47 80669372 libdeal.ii-doc_8.1.0-4_all.deb 21-Apr-2014 08:40 84912600 libdeal.ii-doc_8.1.0-6_all.deb 16-Mar-2016 12:45 84878842