../ dolfin-bin_2018.1.0.post1-16_all.deb 11-Feb-2019 13:58 48896 dolfin-doc_2018.1.0.post1-16_all.deb 11-Feb-2019 13:58 4134736 libdolfin-dev_2018.1.0.post1-16_amd64.deb 11-Feb-2019 13:28 227840 libdolfin2018.1_2018.1.0.post1-16_amd64.deb 11-Feb-2019 13:28 1735720 python-dolfin_2018.1.0.post1-16_all.deb 11-Feb-2019 13:58 43652 python3-dolfin_2018.1.0.post1-16_amd64.deb 11-Feb-2019 13:28 786736