../ libdeal.ii-8.1.0_8.1.0-6ubuntu1_amd64.deb 28-May-2020 21:43 19667272 libdeal.ii-8.5.1_8.5.1-3_amd64.deb 28-May-2020 18:08 31658940 libdeal.ii-dev_8.1.0-6ubuntu1_amd64.deb 28-May-2020 21:40 1043028 libdeal.ii-dev_8.5.1-3_amd64.deb 28-May-2020 17:58 1298580 libdeal.ii-doc_8.1.0-6ubuntu1_all.deb 28-May-2020 21:48 85750182 libdeal.ii-doc_8.5.1-3_all.deb 28-May-2020 17:49 142728504