../ fenics_1.4.0.1.dsc 29-Aug-2014 07:54 1719 fenics_1.4.0.1.tar.xz 29-Aug-2014 07:54 2680 fenics_1.4.0.1_all.deb 29-Aug-2014 07:54 3194 fenics_2016.2.0.1.dsc 05-Jan-2017 10:29 1727 fenics_2016.2.0.1.tar.xz 05-Jan-2017 10:29 2792 fenics_2016.2.0.1_all.deb 05-Jan-2017 10:59 3320 fenics_2018.1.0.6.dsc 16-Aug-2018 11:43 1708 fenics_2018.1.0.6.tar.xz 16-Aug-2018 11:43 4096 fenics_2018.1.0.6_amd64.deb 16-Aug-2018 12:13 4184