../ fenics_2019.2.0.5_amd64.deb 16-Dec-2022 09:40 4816 fenics_2019.2.0.5_arm64.deb 16-Dec-2022 09:56 4816 fenics_2019.2.0.5_i386.deb 16-Dec-2022 11:35 4816 fenicsx_2019.2.0.5_all.deb 16-Dec-2022 09:21 4776