../ 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.3.0.1.dsc 24-Feb-2014 01:01 1714 fenics_1.3.0.1.tar.xz 24-Feb-2014 01:01 2632 fenics_1.3.0.1_all.deb 24-Feb-2014 01:02 3140