../ fenics_0.5.0.1_amd64.deb 03-Sep-2024 07:23 2960 fenics_2019.2.0.5_amd64.deb 04-Sep-2024 19:10 4816 fenicsx_0.5.0.1_all.deb 03-Sep-2024 07:23 2928 fenicsx_2019.2.0.5_all.deb 04-Sep-2024 19:10 4776