Index of /ubuntu/pool/universe/f/flint-arb
Name Last modified Size Description
Parent Directory -
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.11.1.orig.tar.gz 2017-11-09 06:29 1.2M
flint-arb_2.17.0-1.debian.tar.xz 2019-10-25 22:05 3.9K
flint-arb_2.17.0-1.dsc 2019-10-25 22:05 2.1K
flint-arb_2.17.0.orig.tar.gz 2019-10-25 22:05 1.5M
flint-arb_2.22.1-1.debian.tar.xz 2022-01-31 18:24 4.8K
flint-arb_2.22.1-1.dsc 2022-01-31 18:24 2.1K
flint-arb_2.22.1.orig.tar.gz 2022-01-31 18:24 1.8M
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-dev_2.17.0-1_amd64.deb 2019-10-25 23:38 38K
libflint-arb-dev_2.22.1-1_amd64.deb 2022-01-31 19:09 42K
libflint-arb-doc_2.11.1-2build1_all.deb 2018-01-25 06:54 14K
libflint-arb-doc_2.17.0-1_all.deb 2019-10-25 23:38 17K
libflint-arb-doc_2.22.1-1_all.deb 2022-01-31 19:09 622K
libflint-arb2_2.11.1-2build1_amd64.deb 2018-01-25 06:54 769K
libflint-arb2_2.11.1-2build1_i386.deb 2018-03-14 12:12 855K
libflint-arb2_2.17.0-1_amd64.deb 2019-10-25 23:38 926K
libflint-arb2_2.22.1-1_amd64.deb 2022-01-31 19:09 1.2M
Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80