Index of /ubuntu/pool/universe/f/flint-arb

Icon  Name                                      Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] flint-arb_2.23.0.orig.tar.gz 2022-07-10 07:38 1.9M [   ] flint-arb_2.22.1.orig.tar.gz 2022-01-31 18:24 1.8M [   ] flint-arb_2.17.0.orig.tar.gz 2019-10-25 22:05 1.5M [   ] libflint-arb2_2.23.0-1build1_amd64.deb 2022-07-17 12:58 1.2M [   ] flint-arb_2.11.1.orig.tar.gz 2017-11-09 06:29 1.2M [   ] libflint-arb2_2.22.1-1_amd64.deb 2022-01-31 19:09 1.2M [   ] libflint-arb2_2.17.0-1_amd64.deb 2019-10-25 23:38 926K [   ] libflint-arb2_2.11.1-2build1_i386.deb 2018-03-14 12:12 855K [   ] libflint-arb2_2.11.1-2build1_amd64.deb 2018-01-25 06:54 769K [   ] libflint-arb-doc_2.23.0-1build1_all.deb 2022-07-17 12:58 630K [   ] libflint-arb-doc_2.22.1-1_all.deb 2022-01-31 19:09 622K [   ] libflint-arb-dev_2.23.0-1build1_amd64.deb 2022-07-17 12:58 43K [   ] libflint-arb-dev_2.22.1-1_amd64.deb 2022-01-31 19:09 42K [   ] libflint-arb-dev_2.17.0-1_amd64.deb 2019-10-25 23:38 38K [   ] libflint-arb-dev_2.11.1-2build1_amd64.deb 2018-01-25 06:54 35K [   ] libflint-arb-dev_2.11.1-2build1_i386.deb 2018-03-14 12:12 35K [   ] libflint-arb-doc_2.17.0-1_all.deb 2019-10-25 23:38 17K [   ] libflint-arb-doc_2.11.1-2build1_all.deb 2018-01-25 06:54 14K [   ] flint-arb_2.23.0-1build1.debian.tar.xz 2022-07-16 12:28 4.9K [   ] flint-arb_2.22.1-1.debian.tar.xz 2022-01-31 18:24 4.8K [   ] flint-arb_2.17.0-1.debian.tar.xz 2019-10-25 22:05 3.9K [   ] flint-arb_2.11.1-2build1.debian.tar.xz 2018-01-24 23:24 3.4K [   ] flint-arb_2.11.1-2build1.dsc 2018-01-24 23:24 2.2K [   ] flint-arb_2.22.1-1.dsc 2022-01-31 18:24 2.1K [   ] flint-arb_2.17.0-1.dsc 2019-10-25 22:05 2.1K [   ] flint-arb_2.23.0-1build1.dsc 2022-07-16 12:28 2.1K
Apache/2.4.41 (Ubuntu) Server at ftp5.de.freebsd.org Port 80