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

	Name	Last modified	Size
	Parent Directory		-
	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.19.0-1_amd64.deb	2020-12-08 22:27	40K
	libflint-arb-dev_2.19.0-1_arm64.deb	2020-12-08 22:12	40K
	libflint-arb-dev_2.19.0-1_armhf.deb	2020-12-08 22:12	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_arm64.deb	2022-07-15 18:10	44K
	libflint-arb-dev_2.23.0-1+b1_armhf.deb	2022-07-15 18:10	44K
	libflint-arb-dev_2.23.0-1+b1_i386.deb	2022-07-15 17:55	44K
	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.19.0-1_amd64.deb	2020-12-08 22:27	939K
	libflint-arb2_2.19.0-1_arm64.deb	2020-12-08 22:12	875K
	libflint-arb2_2.19.0-1_armhf.deb	2020-12-08 22:12	816K
	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_arm64.deb	2022-07-15 18:10	1.1M
	libflint-arb2_2.23.0-1+b1_armhf.deb	2022-07-15 18:10	1.0M
	libflint-arb2_2.23.0-1+b1_i386.deb	2022-07-15 17:55	1.3M