../ fenics-basix_0.3.0-10.debian.tar.xz 27-Oct-2021 16:37 7768 fenics-basix_0.3.0-10.dsc 27-Oct-2021 16:37 2784 fenics-basix_0.3.0-11.debian.tar.xz 02-Dec-2021 18:28 8268 fenics-basix_0.3.0-11.dsc 02-Dec-2021 18:28 2784 fenics-basix_0.3.0-9.debian.tar.xz 20-Oct-2021 22:32 7436 fenics-basix_0.3.0-9.dsc 20-Oct-2021 22:32 2780 fenics-basix_0.3.0.orig.tar.gz 09-Sep-2021 00:41 242878