Name	Last modified	Size
Parent Directory		-
flint-arb_2.11.1-2build1.debian.tar.xz	2018-01-24 16:24	3.4K
flint-arb_2.11.1-2build1.dsc	2018-01-24 16:24	2.2K
flint-arb_2.11.1.orig.tar.gz	2017-11-08 23:29	1.2M
flint-arb_2.17.0-1.debian.tar.xz	2019-10-25 15:05	3.9K
flint-arb_2.17.0-1.dsc	2019-10-25 15:05	2.1K
flint-arb_2.17.0.orig.tar.gz	2019-10-25 15:05	1.5M
flint-arb_2.22.1-1.debian.tar.xz	2022-01-31 11:24	4.8K
flint-arb_2.22.1-1.dsc	2022-01-31 11:24	2.1K
flint-arb_2.22.1.orig.tar.gz	2022-01-31 11:24	1.8M
libflint-arb-dev_2.11.1-2build1_amd64.deb	2018-01-24 23:54	35K
libflint-arb-dev_2.11.1-2build1_i386.deb	2018-03-14 06:12	35K
libflint-arb-dev_2.17.0-1_amd64.deb	2019-10-25 16:38	38K
libflint-arb-dev_2.22.1-1_amd64.deb	2022-01-31 12:09	42K
libflint-arb-doc_2.11.1-2build1_all.deb	2018-01-24 23:54	14K
libflint-arb-doc_2.17.0-1_all.deb	2019-10-25 16:38	17K
libflint-arb-doc_2.22.1-1_all.deb	2022-01-31 12:09	622K
libflint-arb2_2.11.1-2build1_amd64.deb	2018-01-24 23:54	769K
libflint-arb2_2.11.1-2build1_i386.deb	2018-03-14 06:12	855K
libflint-arb2_2.17.0-1_amd64.deb	2019-10-25 16:38	926K
libflint-arb2_2.22.1-1_amd64.deb	2022-01-31 12:09	1.2M