../ deal.ii_9.2.0-3.debian.tar.xz 03-Dec-2020 11:44 10552 deal.ii_9.2.0-3.dsc 03-Dec-2020 11:44 2740 deal.ii_9.2.0.orig.tar.xz 11-Jun-2020 19:32 187397596 libdeal.ii-9.2.0_9.2.0-3+b2_amd64.deb 28-Dec-2020 01:14 67186840 libdeal.ii-dev_9.2.0-3+b2_amd64.deb 28-Dec-2020 01:14 1830336 libdeal.ii-doc_9.2.0-3_all.deb 03-Dec-2020 14:10 198089776