../ 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_2016.2.0.1_all.deb 05-Jan-2017 13:59 3320 fenics_2018.1.0.6_amd64.deb 16-Aug-2018 15:13 4184 fenics_2019.2.0.5_amd64.deb 04-Oct-2020 04:28 4816 fenicsx_2019.2.0.5_all.deb 04-Oct-2020 04:23 4776