../ fenics_1.0.0-1.dsc 08-Dec-2011 11:17 1736 fenics_1.0.0-1.tar.gz 08-Dec-2011 11:17 2427 fenics_1.0.0-1_all.deb 08-Dec-2011 11:17 2770 fenics_1.4.0.1.dsc 29-Aug-2014 10:54 1719 fenics_1.4.0.1.tar.xz 29-Aug-2014 10:54 2680 fenics_1.4.0.1_all.deb 29-Aug-2014 10:54 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