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

	Name	Last modified	Size
	Parent Directory		-
	flint-arb_2.11.1-2build1.debian.tar.xz	24-Jan-2018 23:24	3.4K
	flint-arb_2.11.1-2build1.dsc	24-Jan-2018 23:24	2.2K
	flint-arb_2.11.1.orig.tar.gz	09-Nov-2017 06:29	1.2M
	flint-arb_2.17.0-1.debian.tar.xz	25-Oct-2019 22:05	3.9K
	flint-arb_2.17.0-1.dsc	25-Oct-2019 22:05	2.1K
	flint-arb_2.17.0.orig.tar.gz	25-Oct-2019 22:05	1.5M
	flint-arb_2.22.1-1.debian.tar.xz	31-Jan-2022 18:24	4.8K
	flint-arb_2.22.1-1.dsc	31-Jan-2022 18:24	2.1K
	flint-arb_2.22.1.orig.tar.gz	31-Jan-2022 18:24	1.8M
	flint-arb_2.23.0-1build1.debian.tar.xz	16-Jul-2022 12:28	4.9K
	flint-arb_2.23.0-1build1.dsc	16-Jul-2022 12:28	2.1K
	flint-arb_2.23.0.orig.tar.gz	10-Jul-2022 07:38	1.9M
	libflint-arb-dev_2.11.1-2build1_amd64.deb	25-Jan-2018 06:54	35K
	libflint-arb-dev_2.11.1-2build1_i386.deb	14-Mar-2018 12:12	35K
	libflint-arb-dev_2.17.0-1_amd64.deb	25-Oct-2019 23:38	38K
	libflint-arb-dev_2.22.1-1_amd64.deb	31-Jan-2022 19:09	42K
	libflint-arb-dev_2.23.0-1build1_amd64.deb	17-Jul-2022 12:58	43K
	libflint-arb-doc_2.11.1-2build1_all.deb	25-Jan-2018 06:54	14K
	libflint-arb-doc_2.17.0-1_all.deb	25-Oct-2019 23:38	17K
	libflint-arb-doc_2.22.1-1_all.deb	31-Jan-2022 19:09	622K
	libflint-arb-doc_2.23.0-1build1_all.deb	17-Jul-2022 12:58	630K
	libflint-arb2_2.11.1-2build1_amd64.deb	25-Jan-2018 06:54	769K
	libflint-arb2_2.11.1-2build1_i386.deb	14-Mar-2018 12:12	855K
	libflint-arb2_2.17.0-1_amd64.deb	25-Oct-2019 23:38	926K
	libflint-arb2_2.22.1-1_amd64.deb	31-Jan-2022 19:09	1.2M
	libflint-arb2_2.23.0-1build1_amd64.deb	17-Jul-2022 12:58	1.2M