../ fenics_0.5.0.1_amd64.deb 17-Jul-2023 16:54 2960 fenics_0.5.0.1_arm64.deb 17-Jul-2023 18:57 2960 fenics_0.5.0.1_i386.deb 17-Jul-2023 13:36 2956 fenicsx_0.5.0.1_all.deb 17-Jul-2023 14:25 2928