Name						Size	Modified
----						----	--------
flint-arb_2.11.1-2build1.debian.tar.xz		3.4 KiB	January 24, 2018 at 22:24:46
flint-arb_2.11.1-2build1.dsc			2.2 KiB	January 24, 2018 at 22:24:46
flint-arb_2.11.1.orig.tar.gz			1.2 MiB	November 9, 2017 at 05:29:04
flint-arb_2.17.0-1.debian.tar.xz		3.9 KiB	October 25, 2019 at 20:05:05
flint-arb_2.17.0-1.dsc				2.1 KiB	October 25, 2019 at 20:05:04
flint-arb_2.17.0.orig.tar.gz			1.5 MiB	October 25, 2019 at 20:05:05
flint-arb_2.22.1-1.debian.tar.xz		4.8 KiB	January 31, 2022 at 17:24:26
flint-arb_2.22.1-1.dsc				2.1 KiB	January 31, 2022 at 17:24:26
flint-arb_2.22.1.orig.tar.gz			1.8 MiB	January 31, 2022 at 17:24:26
libflint-arb-dev_2.11.1-2build1_amd64.deb	35 KiB	January 25, 2018 at 05:54:32
libflint-arb-dev_2.11.1-2build1_i386.deb	35 KiB	March 14, 2018 at 11:12:52
libflint-arb-dev_2.17.0-1_amd64.deb		38 KiB	October 25, 2019 at 21:38:06
libflint-arb-dev_2.22.1-1_amd64.deb		42 KiB	January 31, 2022 at 18:09:33
libflint-arb-doc_2.11.1-2build1_all.deb		14 KiB	January 25, 2018 at 05:54:32
libflint-arb-doc_2.17.0-1_all.deb		17 KiB	October 25, 2019 at 21:38:06
libflint-arb-doc_2.22.1-1_all.deb		622 KiB	January 31, 2022 at 18:09:33
libflint-arb2_2.11.1-2build1_amd64.deb		768 KiB	January 25, 2018 at 05:54:32
libflint-arb2_2.11.1-2build1_i386.deb		855 KiB	March 14, 2018 at 11:12:52
libflint-arb2_2.17.0-1_amd64.deb		926 KiB	October 25, 2019 at 21:38:06
libflint-arb2_2.22.1-1_amd64.deb		1.2 MiB	January 31, 2022 at 18:09:33