Index of /debian/pool/main/f/flint

	Name	Last modified	Size
	Parent Directory		-
	libflint19_3.1.3-2_riscv64.deb	05-Jan-2025 19:50	3.8M
	libflint19_3.1.3-2_i386.deb	05-Jan-2025 17:26	3.9M
	libflint19_3.1.3-2_amd64.deb	05-Jan-2025 17:41	3.6M
	libflint17_2.9.0-5_i386.deb	11-Sep-2022 15:30	2.3M
	libflint17_2.9.0-5_amd64.deb	11-Sep-2022 15:14	2.1M
	libflint-doc_3.1.3-2_all.deb	05-Jan-2025 18:11	7.1M
	libflint-doc_2.9.0-5_all.deb	11-Sep-2022 15:14	3.6M
	libflint-doc_2.6.3-3_all.deb	25-Oct-2020 11:07	3.4M
	libflint-dev_3.1.3-2_riscv64.deb	05-Jan-2025 19:50	217K
	libflint-dev_3.1.3-2_i386.deb	05-Jan-2025 17:26	217K
	libflint-dev_3.1.3-2_amd64.deb	05-Jan-2025 17:41	217K
	libflint-dev_2.9.0-5_i386.deb	11-Sep-2022 15:30	233K
	libflint-dev_2.9.0-5_amd64.deb	11-Sep-2022 15:14	233K
	libflint-dev_2.6.3-3_i386.deb	25-Oct-2020 11:12	2.0M
	libflint-dev_2.6.3-3_amd64.deb	25-Oct-2020 11:12	1.9M
	libflint-2.6.3_2.6.3-3_i386.deb	25-Oct-2020 11:12	1.7M
	libflint-2.6.3_2.6.3-3_amd64.deb	25-Oct-2020 11:12	1.6M