../ libdeal.ii-8.1.0_8.1.0-6ubuntu1_amd64.deb 06-Apr-2016 11:07 19667272 libdeal.ii-8.5.1_8.5.1-3_amd64.deb 02-Oct-2018 09:30 31658940 libdeal.ii-dev_8.1.0-6ubuntu1_amd64.deb 06-Apr-2016 11:10 1043028 libdeal.ii-dev_8.5.1-3_amd64.deb 02-Oct-2018 09:35 1298580 libdeal.ii-doc_8.1.0-6ubuntu1_all.deb 06-Apr-2016 11:10 85750182 libdeal.ii-doc_8.5.1-3_all.deb 02-Oct-2018 09:48 142728504