../ fenics_1.4.0.1.dsc 08-Sep-2014 19:45 1719 fenics_1.4.0.1.tar.xz 08-Sep-2014 19:45 2680 fenics_1.4.0.1_all.deb 08-Sep-2014 19:46 3194 fenics_2016.2.0.1.dsc 05-Jan-2017 13:29 1727 fenics_2016.2.0.1.tar.xz 05-Jan-2017 13:29 2792 fenics_2016.2.0.1_all.deb 05-Jan-2017 13:59 3320 fenics_2018.1.0.6+b19_armhf.deb 28-Dec-2018 16:08 4476 fenics_2018.1.0.6.dsc 16-Aug-2018 14:43 1708 fenics_2018.1.0.6.tar.xz 16-Aug-2018 14:43 4096