../ 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.2.0.1_all.deb 23-Aug-2013 08:32 3032 fenics_1.5.0.1.dsc 25-Mar-2015 09:23 1719 fenics_1.5.0.1.tar.xz 25-Mar-2015 09:23 2708 fenics_1.5.0.1_all.deb 25-Mar-2015 09:23 3234