../ libdeal.ii-8.5.1_8.5.1-3_amd64.deb 23-Apr-2018 08:55 31658940 libdeal.ii-9.3.2_9.3.2-1~exp1ubuntu1_amd64.deb 09-Mar-2022 20:50 73946386 libdeal.ii-dev_8.5.1-3_amd64.deb 23-Apr-2018 08:55 1298580 libdeal.ii-dev_9.3.2-1~exp1ubuntu1_amd64.deb 09-Mar-2022 20:50 1966094 libdeal.ii-doc_8.5.1-3_all.deb 23-Apr-2018 08:55 142728504 libdeal.ii-doc_9.3.2-1~exp1ubuntu1_all.deb 09-Mar-2022 20:50 212652292