../ dolfin-bin_2018.1.0.post1-16_all.deb 22-Jul-2020 16:55 48896 dolfin-doc_2018.1.0.post1-16_all.deb 22-Jul-2020 15:48 4134736 libdolfin-dev_2018.1.0.post1-16_armhf.deb 22-Jul-2020 15:01 227864 libdolfin2018.1_2018.1.0.post1-16_armhf.deb 22-Jul-2020 16:43 1398596 python-dolfin_2018.1.0.post1-16_all.deb 22-Jul-2020 14:43 43652 python3-dolfin_2018.1.0.post1-16_armhf.deb 22-Jul-2020 15:10 656924