../ deal.ii_8.1.0-6ubuntu1.debian.tar.xz 01-Apr-2016 06:08 7728 deal.ii_8.1.0-6ubuntu1.dsc 01-Apr-2016 06:08 2330 deal.ii_8.1.0.orig.tar.xz 06-Jan-2015 13:38 80669372 libdeal.ii-8.1.0_8.1.0-6ubuntu1_amd64.deb 01-Apr-2016 07:19 19667272 libdeal.ii-dev_8.1.0-6ubuntu1_amd64.deb 01-Apr-2016 07:19 1043028 libdeal.ii-doc_8.1.0-6ubuntu1_all.deb 01-Apr-2016 07:19 85750182