Index of /mirror/ubuntu/pool/universe/d/dolfin/

../
dolfin-bin_2019.2.0~git20230116.bd54183-1_all.deb  15-Feb-2023 16:59               13046
dolfin-doc_2019.2.0~git20230116.bd54183-1_all.deb  15-Feb-2023 16:59            12961586
libdolfin-dev-common_2019.2.0~git20230116.bd541..> 15-Feb-2023 16:59              193016