../ 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.2.0.1.dsc 23-Aug-2013 08:32 1731 fenics_1.2.0.1.tar.gz 23-Aug-2013 08:32 2726 fenics_1.2.0.1_all.deb 23-Aug-2013 08:32 3032