Index of /pool/main/d/dolfin/

../
dolfin-bin_2019.2.0~git20201207.b495043-5_all.deb  01-Mar-2022 11:31               54360
dolfin-doc_2019.2.0~git20201207.b495043-5_all.deb  01-Mar-2022 11:21            12566980
libdolfin-dev-common_2019.2.0~git20201207.b4950..> 01-Mar-2022 11:36              232384
libdolfin-dev_2019.2.0~git20201207.b495043-5_am..> 01-Mar-2022 11:23               53816
libdolfin2019.2_2019.2.0~git20201207.b495043-5_..> 01-Mar-2022 11:31             1873464
libdolfin64-2019.2_2019.2.0~git20201207.b495043..> 01-Mar-2022 11:37             1872644
libdolfin64-dev_2019.2.0~git20201207.b495043-5_..> 01-Mar-2022 11:23               49852
python3-dolfin-real_2019.2.0~git20201207.b49504..> 01-Mar-2022 11:34              778720
python3-dolfin64-real_2019.2.0~git20201207.b495..> 01-Mar-2022 11:34              795132
python3-dolfin_2019.2.0~git20201207.b495043-5_a..> 01-Mar-2022 11:28               67344