../ fenics_1.0.0-1.dsc 19-Apr-2012 00:19 1736 fenics_1.0.0-1.tar.gz 19-Apr-2012 00:19 2427 fenics_1.0.0-1_all.deb 19-Apr-2012 05:15 2770 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_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