Index of /ubuntu-ports/pool/universe/f/flint-arb
Name Last modified Size Description
Parent Directory -
libflint-arb2_2.22.1-1_s390x.deb 2022-01-31 19:09 1.2M
libflint-arb2_2.22.1-1_riscv64.deb 2022-01-31 19:29 1.1M
libflint-arb2_2.22.1-1_ppc64el.deb 2022-01-31 19:09 1.4M
libflint-arb2_2.22.1-1_armhf.deb 2022-01-31 19:09 1.1M
libflint-arb2_2.22.1-1_arm64.deb 2022-01-31 19:09 1.2M
libflint-arb2_2.17.0-1_s390x.deb 2019-10-26 00:39 868K
libflint-arb2_2.17.0-1_riscv64.deb 2020-04-05 08:18 849K
libflint-arb2_2.17.0-1_ppc64el.deb 2019-10-25 23:41 1.0M
libflint-arb2_2.17.0-1_armhf.deb 2019-10-25 23:57 808K
libflint-arb2_2.17.0-1_arm64.deb 2019-10-25 23:56 865K
libflint-arb2_2.11.1-2build1_s390x.deb 2018-01-25 03:24 727K
libflint-arb2_2.11.1-2build1_ppc64el.deb 2018-01-25 03:23 785K
libflint-arb2_2.11.1-2build1_armhf.deb 2018-03-14 12:35 673K
libflint-arb2_2.11.1-2build1_arm64.deb 2018-01-25 04:28 682K
libflint-arb-doc_2.22.1-1_all.deb 2022-01-31 19:09 622K
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
libflint-arb-dev_2.22.1-1_s390x.deb 2022-01-31 19:09 42K
libflint-arb-dev_2.22.1-1_riscv64.deb 2022-01-31 19:29 42K
libflint-arb-dev_2.22.1-1_ppc64el.deb 2022-01-31 19:09 42K
libflint-arb-dev_2.22.1-1_armhf.deb 2022-01-31 19:09 42K
libflint-arb-dev_2.22.1-1_arm64.deb 2022-01-31 19:09 42K
libflint-arb-dev_2.17.0-1_s390x.deb 2019-10-26 00:39 38K
libflint-arb-dev_2.17.0-1_riscv64.deb 2020-04-05 08:18 38K
libflint-arb-dev_2.17.0-1_ppc64el.deb 2019-10-25 23:41 38K
libflint-arb-dev_2.17.0-1_armhf.deb 2019-10-25 23:57 38K
libflint-arb-dev_2.17.0-1_arm64.deb 2019-10-25 23:56 38K
libflint-arb-dev_2.11.1-2build1_s390x.deb 2018-01-25 03:24 35K
libflint-arb-dev_2.11.1-2build1_ppc64el.deb 2018-01-25 03:23 35K
libflint-arb-dev_2.11.1-2build1_armhf.deb 2018-03-14 12:35 35K
libflint-arb-dev_2.11.1-2build1_arm64.deb 2018-01-25 04:28 35K
flint-arb_2.22.1.orig.tar.gz 2022-01-31 18:24 1.8M
flint-arb_2.22.1-1.dsc 2022-01-31 18:24 2.1K
flint-arb_2.22.1-1.debian.tar.xz 2022-01-31 18:24 4.8K
flint-arb_2.17.0.orig.tar.gz 2019-10-25 22:05 1.5M
flint-arb_2.17.0-1.dsc 2019-10-25 22:05 2.1K
flint-arb_2.17.0-1.debian.tar.xz 2019-10-25 22:05 3.9K
flint-arb_2.11.1.orig.tar.gz 2017-11-09 06:29 1.2M
flint-arb_2.11.1-2build1.dsc 2018-01-24 23:24 2.2K
flint-arb_2.11.1-2build1.debian.tar.xz 2018-01-24 23:24 3.4K
Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80