Name Last modified Size Description
Parent Directory - flint-arb_2.11.1-2build1.debian.tar.xz 2018-01-24 17:24 3.4K Debian/Ubuntu Packages flint-arb_2.11.1-2build1.dsc 2018-01-24 17:24 2.2K flint-arb_2.11.1.orig.tar.gz 2017-11-09 00:29 1.2M Raw or other Packages flint-arb_2.17.0-1.debian.tar.xz 2019-10-25 16:05 3.9K Debian/Ubuntu Packages flint-arb_2.17.0-1.dsc 2019-10-25 16:05 2.1K flint-arb_2.17.0.orig.tar.gz 2019-10-25 16:05 1.5M Raw or other Packages flint-arb_2.22.1-1.debian.tar.xz 2022-01-31 12:24 4.8K Debian/Ubuntu Packages flint-arb_2.22.1-1.dsc 2022-01-31 12:24 2.1K flint-arb_2.22.1.orig.tar.gz 2022-01-31 12:24 1.8M Raw or other Packages flint-arb_2.23.0-1build1.debian.tar.xz 2022-07-16 06:28 4.9K Debian/Ubuntu Packages flint-arb_2.23.0-1build1.dsc 2022-07-16 06:28 2.1K flint-arb_2.23.0.orig.tar.gz 2022-07-10 01:38 1.9M Raw or other Packages libflint-arb-dev_2.11.1-2build1_amd64.deb 2018-01-25 00:54 35K Debian/Ubuntu Packages libflint-arb-dev_2.11.1-2build1_i386.deb 2018-03-14 07:12 35K Debian/Ubuntu Packages libflint-arb-dev_2.17.0-1_amd64.deb 2019-10-25 17:38 38K Debian/Ubuntu Packages libflint-arb-dev_2.22.1-1_amd64.deb 2022-01-31 13:09 42K Debian/Ubuntu Packages libflint-arb-dev_2.23.0-1build1_amd64.deb 2022-07-17 06:58 43K Debian/Ubuntu Packages libflint-arb-doc_2.11.1-2build1_all.deb 2018-01-25 00:54 14K Debian/Ubuntu Packages libflint-arb-doc_2.17.0-1_all.deb 2019-10-25 17:38 17K Debian/Ubuntu Packages libflint-arb-doc_2.22.1-1_all.deb 2022-01-31 13:09 622K Debian/Ubuntu Packages libflint-arb-doc_2.23.0-1build1_all.deb 2022-07-17 06:58 630K Debian/Ubuntu Packages libflint-arb2_2.11.1-2build1_amd64.deb 2018-01-25 00:54 769K Debian/Ubuntu Packages libflint-arb2_2.11.1-2build1_i386.deb 2018-03-14 07:12 855K Debian/Ubuntu Packages libflint-arb2_2.17.0-1_amd64.deb 2019-10-25 17:38 926K Debian/Ubuntu Packages libflint-arb2_2.22.1-1_amd64.deb 2022-01-31 13:09 1.2M Debian/Ubuntu Packages libflint-arb2_2.23.0-1build1_amd64.deb 2022-07-17 06:58 1.2M Debian/Ubuntu Packages