Index of /pub/packages/debian/pool/main/f/flint
Name
Last modified
Size
Description
Parent Directory
-
flint_3.1.3.orig.tar.gz
2024-06-10 07:49
7.2M
libflint-doc_3.1.3-1..>
2024-06-10 08:35
7.1M
flint_2.9.0.orig.tar.gz
2022-06-24 19:41
5.0M
flint_2.6.3.orig.tar.gz
2020-08-12 18:59
4.3M
libflint19_3.1.3-1_p..>
2024-06-10 08:55
3.9M
libflint19_3.1.3-1_i..>
2024-06-10 08:40
3.9M
libflint19_3.1.3-1_r..>
2024-06-10 12:57
3.7M
libflint19_3.1.3-1_a..>
2024-06-10 08:35
3.6M
libflint-doc_2.9.0-5..>
2022-09-11 15:14
3.6M
libflint-doc_2.6.3-3..>
2020-10-25 11:07
3.4M
libflint17_2.9.0-5_p..>
2022-09-11 15:30
2.4M
libflint-doc_2.5.2-1..>
2018-11-04 01:30
2.3M
libflint17_2.9.0-5_i..>
2022-09-11 15:30
2.3M
libflint17_2.9.0-5_a..>
2022-09-11 15:14
2.1M
libflint-dev_2.6.3-3..>
2020-10-25 11:12
2.1M
flint_2.5.2.orig.tar.gz
2015-08-31 22:35
2.1M
libflint-dev_2.6.3-3..>
2020-10-25 11:12
2.0M
libflint-dev_2.6.3-3..>
2020-10-25 11:12
1.9M
libflint-2.6.3_2.6.3..>
2020-10-25 11:12
1.7M
libflint-2.6.3_2.6.3..>
2020-10-25 11:12
1.7M
libflint-2.6.3_2.6.3..>
2020-10-25 11:12
1.6M
libflint-dev_2.5.2-1..>
2018-11-04 20:42
1.2M
libflint-dev_2.5.2-1..>
2018-11-04 01:30
1.1M
libflint-2.5.2_2.5.2..>
2018-11-04 20:42
1.0M
libflint-2.5.2_2.5.2..>
2018-11-04 01:30
894K
libflint-dev_2.9.0-5..>
2022-09-11 15:30
233K
libflint-dev_2.9.0-5..>
2022-09-11 15:30
233K
libflint-dev_2.9.0-5..>
2022-09-11 15:14
233K
libflint-dev_3.1.3-1..>
2024-06-10 08:40
217K
libflint-dev_3.1.3-1..>
2024-06-10 08:35
217K
libflint-dev_3.1.3-1..>
2024-06-10 08:55
217K
libflint-dev_3.1.3-1..>
2024-06-10 12:57
217K
flint_2.9.0-5.debian..>
2022-09-11 14:24
8.6K
flint_3.1.3-1.debian..>
2024-06-10 07:49
8.5K
flint_2.5.2-19.debia..>
2018-11-04 01:30
8.2K
flint_2.6.3-3.debian..>
2020-10-25 10:27
7.0K
flint_3.1.3-1.dsc
2024-06-10 07:49
2.2K
flint_2.9.0-5.dsc
2022-09-11 14:24
2.1K
flint_2.6.3-3.dsc
2020-10-25 10:27
2.1K
flint_2.5.2-19.dsc
2018-11-04 01:30
2.1K