../ flint_3.1.3-1_alpha.buildinfo 14-Jun-2024 09:03 9738 libflint-dev_3.1.3-1_alpha.deb 14-Jun-2024 09:03 217K libflint19-dbgsym_3.1.3-1_alpha.deb 14-Jun-2024 09:03 13M libflint19_3.1.3-1_alpha.deb 14-Jun-2024 09:03 4M