../ fenics-ffcx_0.4.2-2.debian.tar.xz 16-Jun-2022 23:39 8996 fenics-ffcx_0.4.2-2.dsc 16-Jun-2022 23:39 2498 fenics-ffcx_0.4.2.orig.tar.gz 16-Jun-2022 23:39 132826 python-ffcx-doc_0.4.2-2_all.deb 17-Jun-2022 14:48 96150 python3-ffcx_0.4.2-2_all.deb 17-Jun-2022 14:48 108976