File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
flint-arb_2.11.1-2build1.debian.tar.xz	3.4 KiB	2018-01-25 00:24
flint-arb_2.11.1-2build1.dsc	2.2 KiB	2018-01-25 00:24
flint-arb_2.11.1.orig.tar.gz	1.2 MiB	2017-11-09 07:29
flint-arb_2.17.0-1.debian.tar.xz	3.9 KiB	2019-10-25 22:05
flint-arb_2.17.0-1.dsc	2.1 KiB	2019-10-25 22:05
flint-arb_2.17.0.orig.tar.gz	1.5 MiB	2019-10-25 22:05
flint-arb_2.22.1-1.debian.tar.xz	4.8 KiB	2022-01-31 19:24
flint-arb_2.22.1-1.dsc	2.1 KiB	2022-01-31 19:24
flint-arb_2.22.1.orig.tar.gz	1.8 MiB	2022-01-31 19:24
libflint-arb-dev_2.11.1-2build1_amd64.deb	34.8 KiB	2018-01-25 07:54
libflint-arb-dev_2.11.1-2build1_i386.deb	34.8 KiB	2018-03-14 13:12
libflint-arb-dev_2.17.0-1_amd64.deb	38.0 KiB	2019-10-25 23:38
libflint-arb-dev_2.22.1-1_amd64.deb	42.3 KiB	2022-01-31 20:09
libflint-arb-doc_2.11.1-2build1_all.deb	13.9 KiB	2018-01-25 07:54
libflint-arb-doc_2.17.0-1_all.deb	17.4 KiB	2019-10-25 23:38
libflint-arb-doc_2.22.1-1_all.deb	622.4 KiB	2022-01-31 20:09
libflint-arb2_2.11.1-2build1_amd64.deb	768.5 KiB	2018-01-25 07:54
libflint-arb2_2.11.1-2build1_i386.deb	854.7 KiB	2018-03-14 13:12
libflint-arb2_2.17.0-1_amd64.deb	925.9 KiB	2019-10-25 23:38
libflint-arb2_2.22.1-1_amd64.deb	1.2 MiB	2022-01-31 20:09