../ libdeal.ii-8.4.2_8.4.2-2_amd64.deb 27-Nov-2019 13:26 31443128 libdeal.ii-dev_8.4.2-2_amd64.deb 27-Nov-2019 13:25 1190562 libdeal.ii-doc_8.4.2-2_all.deb 27-Nov-2019 13:26 141750076