../ deal.ii_8.1.0-6.debian.tar.xz 16-Mar-2016 19:14 7476 deal.ii_8.1.0-6.dsc 16-Mar-2016 19:14 2302 deal.ii_8.1.0.orig.tar.xz 14-Apr-2014 18:47 77M libdeal.ii-8.1.0_8.1.0-6_mipsel.deb 17-Mar-2016 08:16 12M libdeal.ii-dev_8.1.0-6_mipsel.deb 17-Mar-2016 08:16 1020K libdeal.ii-doc_8.1.0-6_all.deb 16-Mar-2016 20:45 81M