../ libdeal.ii-8.4.2_8.4.2-2_armhf.deb 19-Dec-2016 04:08 26218548 libdeal.ii-dev_8.4.2-2_armhf.deb 19-Dec-2016 04:08 1190624 libdeal.ii-doc_8.4.2-2_all.deb 07-Dec-2016 09:00 141750076