../ dolfin-bin_2018.1.0.post1-16_all.deb 11-Feb-2019 13:58 48K dolfin-doc_2018.1.0.post1-16_all.deb 11-Feb-2019 13:58 4M dolfin_2018.1.0.post1-16.debian.tar.xz 11-Feb-2019 08:29 28K dolfin_2018.1.0.post1-16.dsc 11-Feb-2019 08:29 3423 dolfin_2018.1.0.post1.orig.tar.gz 27-Jun-2018 13:15 9M dolfin_2018.1.0.post1.orig.tar.gz.asc 27-Jun-2018 13:15 488 python-dolfin_2018.1.0.post1-16_all.deb 11-Feb-2019 13:58 43K