Index of /debian-php/pool/main/d/dolfin/

../
dolfin-bin_2018.1.0.post1-16_all.deb               31-Aug-2022 14:04               48896
dolfin-bin_2019.2.0~git20201207.b495043-5_all.deb  01-Sep-2022 16:39               54360
dolfin-doc_2018.1.0.post1-16_all.deb               31-Aug-2022 14:04             4134736
dolfin-doc_2019.2.0~git20201207.b495043-5_all.deb  01-Sep-2022 16:39            12566980
libdolfin-dev-common_2019.2.0~git20201207.b4950..> 01-Sep-2022 16:39              232384
libdolfin-dev_2018.1.0.post1-16_amd64.deb          31-Aug-2022 14:04              227840
libdolfin-dev_2019.2.0~git20201207.b495043-5_am..> 01-Sep-2022 16:39               53816
libdolfin2018.1_2018.1.0.post1-16_amd64.deb        31-Aug-2022 14:04             1735720
libdolfin2019.2_2019.2.0~git20201207.b495043-5_..> 01-Sep-2022 16:39             1873464
libdolfin64-2019.2_2019.2.0~git20201207.b495043..> 01-Sep-2022 16:39             1872644
libdolfin64-dev_2019.2.0~git20201207.b495043-5_..> 01-Sep-2022 16:39               49852
python-dolfin_2018.1.0.post1-16_all.deb            31-Aug-2022 14:04               43652
python3-dolfin-real_2019.2.0~git20201207.b49504..> 01-Sep-2022 16:39              778720
python3-dolfin64-real_2019.2.0~git20201207.b495..> 01-Sep-2022 16:39              795132
python3-dolfin_2018.1.0.post1-16_amd64.deb         31-Aug-2022 14:04              786736
python3-dolfin_2019.2.0~git20201207.b495043-5_a..> 01-Sep-2022 16:39               67344