../ flint_3.1.3-1_hurd-i386.buildinfo 10-Jun-2024 18:03 10K libflint-dev_3.1.3-1_hurd-i386.deb 10-Jun-2024 18:03 217K libflint19-dbgsym_3.1.3-1_hurd-i386.deb 10-Jun-2024 18:03 11M libflint19_3.1.3-1_hurd-i386.deb 10-Jun-2024 18:03 4M