Index of /ubuntu/pool/universe/f/flint-arb
Name
Last modified
Size
Parent Directory
-
flint-arb_2.11.1-2build1.debian.tar.xz
2018-01-24 22:24
3.4K
flint-arb_2.11.1-2build1.dsc
2018-01-24 22:24
2.2K
flint-arb_2.11.1.orig.tar.gz
2017-11-09 05:29
1.2M
flint-arb_2.16.0-2.debian.tar.xz
2019-01-15 17:23
3.9K
flint-arb_2.16.0-2.dsc
2019-01-15 17:23
2.1K
flint-arb_2.16.0.orig.tar.gz
2019-01-15 17:23
1.5M
flint-arb_2.17.0-1.debian.tar.xz
2019-10-25 21:05
3.9K
flint-arb_2.17.0-1.dsc
2019-10-25 21:05
2.1K
flint-arb_2.17.0.orig.tar.gz
2019-10-25 21:05
1.5M
flint-arb_2.18.0-1.debian.tar.xz
2020-06-17 18:14
3.9K
flint-arb_2.18.0-1.dsc
2020-06-17 18:14
2.1K
flint-arb_2.18.0.orig.tar.gz
2020-06-17 18:14
1.5M
flint-arb_2.18.1-1.debian.tar.xz
2020-07-01 18:28
3.9K
flint-arb_2.18.1-1.dsc
2020-07-01 18:28
2.1K
flint-arb_2.18.1.orig.tar.gz
2020-07-01 18:28
1.5M
libflint-arb-dev_2.11.1-2build1_amd64.deb
2018-01-25 05:54
35K
libflint-arb-dev_2.11.1-2build1_i386.deb
2018-03-14 11:12
35K
libflint-arb-dev_2.16.0-2_amd64.deb
2019-01-15 17:33
38K
libflint-arb-dev_2.16.0-2_i386.deb
2019-01-15 17:33
38K
libflint-arb-dev_2.17.0-1_amd64.deb
2019-10-25 22:38
38K
libflint-arb-dev_2.18.0-1_amd64.deb
2020-06-17 18:23
38K
libflint-arb-dev_2.18.1-1_amd64.deb
2020-07-01 18:29
38K
libflint-arb-doc_2.11.1-2build1_all.deb
2018-01-25 05:54
14K
libflint-arb-doc_2.16.0-2_all.deb
2019-01-15 17:33
21K
libflint-arb-doc_2.17.0-1_all.deb
2019-10-25 22:38
17K
libflint-arb-doc_2.18.0-1_all.deb
2020-06-17 18:23
17K
libflint-arb-doc_2.18.1-1_all.deb
2020-07-01 18:29
17K
libflint-arb2_2.11.1-2build1_amd64.deb
2018-01-25 05:54
769K
libflint-arb2_2.11.1-2build1_i386.deb
2018-03-14 11:12
855K
libflint-arb2_2.16.0-2_amd64.deb
2019-01-15 17:33
889K
libflint-arb2_2.16.0-2_i386.deb
2019-01-15 17:33
1.0M
libflint-arb2_2.17.0-1_amd64.deb
2019-10-25 22:38
926K
libflint-arb2_2.18.0-1_amd64.deb
2020-06-17 18:23
927K
libflint-arb2_2.18.1-1_amd64.deb
2020-07-01 18:29
927K
Apache/2.4.56 (Debian) SVN/1.14.1 mod_python/3.5.0- Python/3.9.2 OpenSSL/1.1.1n Server at ubuntu.positive-internet.com Port 80