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

	Name	Last modified	Size
	Parent Directory		-
	flint-arb_2.8.1-3.dsc	2016-10-28 18:29	2.1K
	flint-arb_2.16.0-2.dsc	2019-01-15 14:02	2.1K
	flint-arb_2.23.0-1.dsc	2022-07-09 22:47	2.1K
	flint-arb_2.19.0-1.dsc	2020-12-08 09:16	2.2K
	flint-arb_2.16.0-2.debian.tar.xz	2019-01-15 14:02	3.9K
	flint-arb_2.19.0-1.debian.tar.xz	2020-12-08 09:16	4.6K
	flint-arb_2.23.0-1.debian.tar.xz	2022-07-09 22:47	4.9K
	flint-arb_2.8.1-3.debian.tar.xz	2016-10-28 18:29	5.7K
	libflint-arb-doc_2.8.1-3_all.deb	2016-10-28 20:56	11K
	libflint-arb-doc_2.16.0-2_all.deb	2019-01-15 14:27	22K
	libflint-arb-dev_2.8.1-3_armhf.deb	2016-11-04 17:08	30K
	libflint-arb-dev_2.16.0-2_armhf.deb	2019-01-20 11:08	39K
	libflint-arb-dev_2.19.0-1_armhf.deb	2020-12-13 08:00	40K
	libflint-arb-dev_2.23.0-1_armhf.deb	2022-09-14 12:08	44K
	libflint-arb-doc_2.19.0-1_all.deb	2020-12-08 09:56	574K
	libflint-arb-doc_2.23.0-1_all.deb	2022-07-09 23:12	635K
	libflint-arb1_2.8.1-3_armhf.deb	2016-11-04 17:08	675K
	libflint-arb2_2.16.0-2_armhf.deb	2019-01-20 11:08	746K
	libflint-arb2_2.19.0-1_armhf.deb	2020-12-13 08:00	786K
	flint-arb_2.8.1.orig.tar.gz	2016-04-18 18:56	1.0M
	libflint-arb2_2.23.0-1_armhf.deb	2022-09-14 12:08	1.0M
	flint-arb_2.16.0.orig.tar.gz	2018-12-12 11:13	1.5M
	flint-arb_2.19.0.orig.tar.gz	2020-12-08 09:16	1.5M
	flint-arb_2.23.0.orig.tar.gz	2022-07-09 22:47	1.9M