Index of /ubuntu/pool/universe/f/flint-arb
Name
Last modified
Size
Description
Parent Directory
-
flint-arb_2.11.1.ori..>
2017-11-08 21:29
1.2M
flint-arb_2.11.1-2bu..>
2018-01-24 14:24
3.4K
flint-arb_2.11.1-2bu..>
2018-01-24 14:24
2.2K
libflint-arb-doc_2.1..>
2018-01-24 21:54
14K
libflint-arb2_2.11.1..>
2018-01-24 21:54
769K
libflint-arb-dev_2.1..>
2018-01-24 21:54
35K
libflint-arb2_2.11.1..>
2018-03-14 04:12
855K
libflint-arb-dev_2.1..>
2018-03-14 04:12
35K
flint-arb_2.17.0-1.dsc
2019-10-25 13:05
2.1K
flint-arb_2.17.0.ori..>
2019-10-25 13:05
1.5M
flint-arb_2.17.0-1.d..>
2019-10-25 13:05
3.9K
libflint-arb2_2.17.0..>
2019-10-25 14:38
926K
libflint-arb-doc_2.1..>
2019-10-25 14:38
17K
libflint-arb-dev_2.1..>
2019-10-25 14:38
38K
flint-arb_2.22.1-1.dsc
2022-01-31 09:24
2.1K
flint-arb_2.22.1.ori..>
2022-01-31 09:24
1.8M
flint-arb_2.22.1-1.d..>
2022-01-31 09:24
4.8K
libflint-arb-doc_2.2..>
2022-01-31 10:09
622K
libflint-arb-dev_2.2..>
2022-01-31 10:09
42K
libflint-arb2_2.22.1..>
2022-01-31 10:09
1.2M
flint-arb_2.23.0.ori..>
2022-07-09 22:38
1.9M
flint-arb_2.23.0-1bu..>
2022-07-16 03:28
4.9K
flint-arb_2.23.0-1bu..>
2022-07-16 03:28
2.1K
libflint-arb-dev_2.2..>
2022-07-17 03:58
43K
libflint-arb2_2.23.0..>
2022-07-17 03:58
1.2M
libflint-arb-doc_2.2..>
2022-07-17 03:58
630K