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

	Name	Last modified	Size
	Parent Directory		-
	flint-arb_2.8.1-1.debian.tar.xz	2016-04-18 18:56	2.5K
	flint-arb_2.8.1-1.dsc	2016-04-18 18:56	2.1K
	flint-arb_2.8.1.orig.tar.gz	2016-04-18 18:56	1.0M
	libflint-arb-dev_2.8.1-1_amd64.deb	2016-04-18 18:56	30K
	libflint-arb-dev_2.8.1-1_arm64.deb	2016-04-28 17:28	30K
	libflint-arb-dev_2.8.1-1_hurd-i386.deb	2016-04-28 17:33	30K
	libflint-arb-dev_2.8.1-1_i386.deb	2016-04-28 17:28	30K
	libflint-arb-dev_2.8.1-1_kfreebsd-amd64.deb	2016-04-28 17:13	30K
	libflint-arb-dev_2.8.1-1_kfreebsd-i386.deb	2016-04-28 17:28	30K
	libflint-arb-dev_2.8.1-1_ppc64el.deb	2016-04-28 17:03	30K
	libflint-arb-dev_2.8.1-1_s390x.deb	2016-04-28 17:43	30K
	libflint-arb-doc_2.8.1-1_all.deb	2016-04-18 18:56	11K
	libflint-arb1_2.8.1-1_amd64.deb	2016-04-18 18:56	819K
	libflint-arb1_2.8.1-1_arm64.deb	2016-04-28 17:28	706K
	libflint-arb1_2.8.1-1_hurd-i386.deb	2016-04-28 17:33	905K
	libflint-arb1_2.8.1-1_i386.deb	2016-04-28 17:28	901K
	libflint-arb1_2.8.1-1_kfreebsd-amd64.deb	2016-04-28 17:13	818K
	libflint-arb1_2.8.1-1_kfreebsd-i386.deb	2016-04-28 17:28	900K
	libflint-arb1_2.8.1-1_ppc64el.deb	2016-04-28 17:03	765K
	libflint-arb1_2.8.1-1_s390x.deb	2016-04-28 17:43	776K