Index of /debian10/pool/main/d/dolfin/


../
dolfin-bin_2018.1.0.post1-16_all.deb               11-Feb-2019 13:58               48896
dolfin-doc_2018.1.0.post1-16_all.deb               11-Feb-2019 13:58             4134736
libdolfin-dev_2018.1.0.post1-16_amd64.deb          11-Feb-2019 13:28              227840
libdolfin2018.1_2018.1.0.post1-16_amd64.deb        11-Feb-2019 13:28             1735720
python-dolfin_2018.1.0.post1-16_all.deb            11-Feb-2019 13:58               43652
python3-dolfin_2018.1.0.post1-16_amd64.deb         11-Feb-2019 13:28              786736