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-25 06:24
3.4K
flint-arb_2.11.1-2build1.dsc
2018-01-25 06:24
2.2K
flint-arb_2.11.1.orig.tar.gz
2017-11-09 13:29
1.2M
flint-arb_2.17.0-1.debian.tar.xz
2019-10-26 04:05
3.9K
flint-arb_2.17.0-1.dsc
2019-10-26 04:05
2.1K
flint-arb_2.17.0.orig.tar.gz
2019-10-26 04:05
1.5M
flint-arb_2.22.1-1.debian.tar.xz
2022-02-01 01:24
4.8K
flint-arb_2.22.1-1.dsc
2022-02-01 01:24
2.1K
flint-arb_2.22.1.orig.tar.gz
2022-02-01 01:24
1.8M
libflint-arb-dev_2.11.1-2build1_amd64.deb
2018-01-25 13:54
35K
libflint-arb-dev_2.11.1-2build1_i386.deb
2018-03-14 19:12
35K
libflint-arb-dev_2.17.0-1_amd64.deb
2019-10-26 05:38
38K
libflint-arb-dev_2.22.1-1_amd64.deb
2022-02-01 02:09
42K
libflint-arb-doc_2.11.1-2build1_all.deb
2018-01-25 13:54
14K
libflint-arb-doc_2.17.0-1_all.deb
2019-10-26 05:38
17K
libflint-arb-doc_2.22.1-1_all.deb
2022-02-01 02:09
622K
libflint-arb2_2.11.1-2build1_amd64.deb
2018-01-25 13:54
769K
libflint-arb2_2.11.1-2build1_i386.deb
2018-03-14 19:12
855K
libflint-arb2_2.17.0-1_amd64.deb
2019-10-26 05:38
926K
libflint-arb2_2.22.1-1_amd64.deb
2022-02-01 02:09
1.2M
Apache/2.4.41 (Ubuntu) Server at mirror.datacenter.mn Port 80