../ dolfin-bin_2017.2.0.post0-2_all.deb 02-Oct-2018 09:49 10260 dolfin-doc_2017.2.0.post0-2_all.deb 02-Oct-2018 09:52 2620908 libdolfin-dev_2017.2.0.post0-2_amd64.deb 02-Oct-2018 09:38 211016 libdolfin2017.2_2017.2.0.post0-2_amd64.deb 02-Oct-2018 09:34 1683000 python-dolfin_2017.2.0.post0-2_amd64.deb 02-Oct-2018 09:17 1111528 python3-dolfin_2017.2.0.post0-2_amd64.deb 02-Oct-2018 09:18 1110480