../ dolfin-bin_2017.2.0.post0-2_all.deb 28-May-2020 17:50 10260 dolfin-doc_2017.2.0.post0-2_all.deb 28-May-2020 18:12 2620908 libdolfin-dev_2017.2.0.post0-2_amd64.deb 28-May-2020 17:45 211016 libdolfin2017.2_2017.2.0.post0-2_amd64.deb 28-May-2020 17:31 1683000 python-dolfin_2017.2.0.post0-2_amd64.deb 28-May-2020 17:57 1111528 python3-dolfin_2017.2.0.post0-2_amd64.deb 28-May-2020 17:38 1110480