../ deal.ii_9.0.1-1.debian.tar.xz 07-Dec-2018 20:27 7980 deal.ii_9.0.1-1.dsc 07-Dec-2018 20:27 2685 deal.ii_9.0.1.orig.tar.xz 07-Dec-2018 20:27 142M libdeal.ii-9.0.1_9.0.1-1+b1_amd64.deb 02-Jan-2019 21:19 40M libdeal.ii-9.0.1_9.0.1-1+b1_arm64.deb 02-Jan-2019 23:57 34M libdeal.ii-dev_9.0.1-1+b1_amd64.deb 02-Jan-2019 21:19 1M libdeal.ii-dev_9.0.1-1+b1_arm64.deb 02-Jan-2019 23:57 1M libdeal.ii-doc_9.0.1-1_all.deb 07-Dec-2018 20:27 361M