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

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