Works best with JavaScript enabled!Works best in modern browsers!powered by h5ai

	Name	Last modified	Size
	Parent Directory
	flint-arb_2.19.0-1.debian.tar.xz	2020-12-08 08:16	4 KB
	flint-arb_2.19.0-1.dsc	2020-12-08 08:16	2 KB
	flint-arb_2.19.0.orig.tar.gz	2020-12-08 08:16	1606 KB
	flint-arb_2.23.0-1.debian.tar.xz	2022-07-09 20:47	4 KB
	flint-arb_2.23.0-1.dsc	2022-07-09 20:47	2 KB
	flint-arb_2.23.0.orig.tar.gz	2022-07-09 20:47	1989 KB
	libflint-arb-dev_2.19.0-1_amd64.deb	2020-12-08 09:27	40 KB
	libflint-arb-dev_2.19.0-1_arm64.deb	2020-12-08 09:12	40 KB
	libflint-arb-dev_2.19.0-1_armhf.deb	2020-12-08 09:12	40 KB
	libflint-arb-dev_2.19.0-1_i386.deb	2020-12-08 10:13	40 KB
	libflint-arb-dev_2.23.0-1+b1_amd64.deb	2022-07-15 05:40	45 KB
	libflint-arb-dev_2.23.0-1+b1_arm64.deb	2022-07-15 06:10	45 KB
	libflint-arb-dev_2.23.0-1+b1_armel.deb	2022-07-15 06:10	45 KB
	libflint-arb-dev_2.23.0-1+b1_armhf.deb	2022-07-15 06:10	45 KB
	libflint-arb-dev_2.23.0-1+b1_i386.deb	2022-07-15 05:55	45 KB
	libflint-arb-dev_2.23.0-1+b1_mips64el.deb	2022-07-15 09:42	45 KB
	libflint-arb-dev_2.23.0-1+b1_mipsel.deb	2022-07-15 11:44	45 KB
	libflint-arb-dev_2.23.0-1+b1_ppc64el.deb	2022-07-15 06:10	45 KB
	libflint-arb-dev_2.23.0-1+b1_s390x.deb	2022-07-15 05:55	45 KB
	libflint-arb-doc_2.19.0-1_all.deb	2020-12-08 08:56	587 KB
	libflint-arb-doc_2.23.0-1_all.deb	2022-07-09 21:12	649 KB
	libflint-arb2_2.19.0-1_amd64.deb	2020-12-08 09:27	961 KB
	libflint-arb2_2.19.0-1_arm64.deb	2020-12-08 09:12	895 KB
	libflint-arb2_2.19.0-1_armhf.deb	2020-12-08 09:12	836 KB
	libflint-arb2_2.19.0-1_i386.deb	2020-12-08 10:13	1063 KB
	libflint-arb2_2.23.0-1+b1_amd64.deb	2022-07-15 05:40	1248 KB
	libflint-arb2_2.23.0-1+b1_arm64.deb	2022-07-15 06:10	1167 KB
	libflint-arb2_2.23.0-1+b1_armel.deb	2022-07-15 06:10	1066 KB
	libflint-arb2_2.23.0-1+b1_armhf.deb	2022-07-15 06:10	1090 KB
	libflint-arb2_2.23.0-1+b1_i386.deb	2022-07-15 05:55	1352 KB
	libflint-arb2_2.23.0-1+b1_mips64el.deb	2022-07-15 09:42	1089 KB
	libflint-arb2_2.23.0-1+b1_mipsel.deb	2022-07-15 11:44	1107 KB
	libflint-arb2_2.23.0-1+b1_ppc64el.deb	2022-07-15 06:10	1338 KB
	libflint-arb2_2.23.0-1+b1_s390x.deb	2022-07-15 05:55	1176 KB