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

	Name	Last modified	Size
	Parent Directory		-
	flint-arb_2.19.0-1.debian.tar.xz	2020-12-08 00:16	4.6K
	flint-arb_2.19.0-1.dsc	2020-12-08 00:16	2.2K
	flint-arb_2.19.0.orig.tar.gz	2020-12-08 00:16	1.5M
	flint-arb_2.23.0-1.debian.tar.xz	2022-07-09 13:47	4.9K
	flint-arb_2.23.0-1.dsc	2022-07-09 13:47	2.1K
	flint-arb_2.23.0.orig.tar.gz	2022-07-09 13:47	1.9M
	libflint-arb-dev_2.19.0-1_amd64.deb	2020-12-08 01:27	40K
	libflint-arb-dev_2.19.0-1_i386.deb	2020-12-08 02:13	40K
	libflint-arb-dev_2.23.0-1+b1_amd64.deb	2022-07-14 22:40	44K
	libflint-arb-dev_2.23.0-1+b1_i386.deb	2022-07-14 22:55	44K
	libflint-arb-doc_2.19.0-1_all.deb	2020-12-08 00:56	574K
	libflint-arb-doc_2.23.0-1_all.deb	2022-07-09 14:12	635K
	libflint-arb2_2.19.0-1_amd64.deb	2020-12-08 01:27	939K
	libflint-arb2_2.19.0-1_i386.deb	2020-12-08 02:13	1.0M
	libflint-arb2_2.23.0-1+b1_amd64.deb	2022-07-14 22:40	1.2M
	libflint-arb2_2.23.0-1+b1_i386.deb	2022-07-14 22:55	1.3M