../ fenics_2018.1.0.6.dsc 10-Oct-2018 06:00 1708 fenics_2018.1.0.6.tar.xz 10-Oct-2018 06:00 4096 fenics_2018.1.0.6_amd64.deb 10-Oct-2018 06:01 4184 fenics_2018.1.0.6_arm64.deb 10-Oct-2018 06:01 4184 fenics_2018.1.0.6_armel.deb 10-Oct-2018 06:01 4188 fenics_2018.1.0.6_armhf.deb 10-Oct-2018 06:01 4188 fenics_2018.1.0.6_i386.deb 10-Oct-2018 06:01 4188