../ dolfin-bin_2019.2.0~legacy20240219.1c52e83-11_a..> 31-Oct-2024 20:44 48712 dolfin-doc_2019.2.0~legacy20240219.1c52e83-11_a..> 31-Oct-2024 20:44 13209156 libdolfin-dev-common_2019.2.0~legacy20240219.1c..> 31-Oct-2024 20:44 221780