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

	Name	Last modified	Size	Description
	Parent Directory		-
	libflint-2.5.2_2.5.2-19_amd64.deb	2018-11-03 21:30	894K
	libflint-2.5.2_2.5.2-19_i386.deb	2018-11-04 17:42	1.0M
	libflint-2.6.3_2.6.3-3_amd64.deb	2020-10-25 07:12	1.6M
	libflint-2.6.3_2.6.3-3_i386.deb	2020-10-25 07:12	1.7M
	libflint-dev_2.5.2-19_amd64.deb	2018-11-03 21:30	1.1M
	libflint-dev_2.5.2-19_i386.deb	2018-11-04 17:42	1.2M
	libflint-dev_2.6.3-3_amd64.deb	2020-10-25 07:12	1.9M
	libflint-dev_2.6.3-3_i386.deb	2020-10-25 07:12	2.0M
	libflint-dev_2.9.0-5_amd64.deb	2022-09-11 10:14	233K
	libflint-dev_2.9.0-5_i386.deb	2022-09-11 10:30	233K
	libflint-dev_3.1.2-1_amd64.deb	2024-04-02 18:15	217K
	libflint-dev_3.1.2-1_i386.deb	2024-04-02 18:21	217K
	libflint-dev_3.1.2-1_riscv64.deb	2024-04-02 23:50	217K
	libflint-doc_2.5.2-19_all.deb	2018-11-03 21:30	2.3M
	libflint-doc_2.6.3-3_all.deb	2020-10-25 07:07	3.4M
	libflint-doc_2.9.0-5_all.deb	2022-09-11 10:14	3.6M
	libflint-doc_3.1.2-1_all.deb	2024-04-02 18:15	7.1M
	libflint17_2.9.0-5_amd64.deb	2022-09-11 10:14	2.1M
	libflint17_2.9.0-5_i386.deb	2022-09-11 10:30	2.3M
	libflint19_3.1.2-1_amd64.deb	2024-04-02 18:15	3.6M
	libflint19_3.1.2-1_i386.deb	2024-04-02 18:21	3.9M
	libflint19_3.1.2-1_riscv64.deb	2024-04-02 23:50	3.7M