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

	Name	Last modified	Size	Description
	Parent Directory		-
	flint-arb_2.16.0-2.debian.tar.xz	2019-08-27 11:59	3.9K
	flint-arb_2.16.0-2.dsc	2019-08-27 11:59	2.1K
	flint-arb_2.16.0.orig.tar.gz	2019-08-27 11:59	1.5M
	flint-arb_2.19.0-1.debian.tar.xz	2023-02-25 17:32	4.6K
	flint-arb_2.19.0-1.dsc	2023-02-25 17:32	2.2K
	flint-arb_2.19.0.orig.tar.gz	2023-02-25 17:32	1.5M
	flint-arb_2.23.0-1.debian.tar.xz	2023-03-12 08:23	4.9K
	flint-arb_2.23.0-1.dsc	2023-03-12 08:23	2.1K
	flint-arb_2.23.0.orig.tar.gz	2023-03-12 08:23	1.9M
	libflint-arb-dev_2.16.0-2_amd64.deb	2019-08-27 11:59	39K
	libflint-arb-dev_2.19.0-1_amd64.deb	2023-02-25 17:32	40K
	libflint-arb-dev_2.23.0-1+b1_amd64.deb	2023-03-12 08:23	44K
	libflint-arb-doc_2.16.0-2_all.deb	2019-08-27 11:59	22K
	libflint-arb-doc_2.19.0-1_all.deb	2023-02-25 17:32	574K
	libflint-arb-doc_2.23.0-1_all.deb	2023-03-12 08:23	635K
	libflint-arb2_2.16.0-2_amd64.deb	2019-08-27 11:59	893K
	libflint-arb2_2.19.0-1_amd64.deb	2023-02-25 17:32	939K
	libflint-arb2_2.23.0-1+b1_amd64.deb	2023-03-12 08:23	1.2M