Index of /20.04/full/mirror/archive.ubuntu.com/ubuntu/pool/universe/d/dolfin/

../
dolfin-bin_2019.1.0-10build2_all.deb               18-Feb-2020 10:38               11336
dolfin-doc_2019.1.0-10build2_all.deb               18-Feb-2020 10:38             5768440
libdolfin-dev_2019.1.0-10build2_amd64.deb          18-Feb-2020 10:38              190320
libdolfin2019.1_2019.1.0-10build2_amd64.deb        18-Feb-2020 10:38             1785384
python3-dolfin_2019.1.0-10build2_amd64.deb         18-Feb-2020 10:38              716348