../ flint_1.011-2.diff.gz 26-Apr-2023 10:54 2973 flint_1.011-2.dsc 26-Apr-2023 10:54 1063 flint_1.011.orig.tar.gz 26-Apr-2023 10:54 307K flint_2.5.2-15.debian.tar.xz 26-Apr-2023 14:31 7300 flint_2.5.2-15.dsc 26-Apr-2023 14:31 2195 flint_2.5.2.orig.tar.gz 26-Apr-2023 14:31 2M libflint-1.011_1.011-2_i386.deb 26-Apr-2023 10:54 214K libflint-2.5.2_2.5.2-15_i386.deb 26-Apr-2023 14:31 976K libflint-dev_1.011-2_i386.deb 26-Apr-2023 10:54 45K libflint-dev_2.5.2-15_i386.deb 26-Apr-2023 14:31 146K libflint-doc_2.5.2-15_all.deb 26-Apr-2023 14:31 2M