../ libflint-2.5.2_2.5.2-15_amd64.deb 20-Dec-2022 21:39 885K libflint-2.5.2_2.5.2-15_i386.deb 12-Nov-2024 11:25 976K libflint-dev_2.5.2-15_amd64.deb 20-Dec-2022 21:39 146K libflint-dev_2.5.2-15_i386.deb 12-Nov-2024 11:25 146K libflint-doc_2.5.2-15_all.deb 20-Dec-2022 21:39 2M