../ dolfin-bin_2019.1.0-10build2_all.deb 18-Feb-2020 10:38 11K dolfin-doc_2019.1.0-10build2_all.deb 18-Feb-2020 10:38 6M libdolfin-dev_2019.1.0-10build2_arm64.deb 18-Feb-2020 11:52 186K libdolfin2019.1_2019.1.0-10build2_arm64.deb 18-Feb-2020 11:52 1M python3-dolfin_2019.1.0-10build2_arm64.deb 18-Feb-2020 11:52 601K