Index of /debian/pool/main/f/flint
Name Last modified Size Description
Parent Directory -
libflint19_3.1.3-1+b..> 2024-10-28 21:19 3.6M
libflint17_2.9.0-5_a..> 2022-09-11 16:14 2.1M
libflint-doc_3.1.3-1..> 2024-06-10 09:35 7.1M
libflint-doc_2.9.0-5..> 2022-09-11 16:14 3.6M
libflint-doc_2.6.3-3..> 2020-10-25 13:07 3.4M
libflint-doc_2.5.2-1..> 2018-11-04 03:30 2.3M
libflint-dev_3.1.3-1..> 2024-10-28 21:19 217K
libflint-dev_2.9.0-5..> 2022-09-11 16:14 233K
libflint-dev_2.6.3-3..> 2020-10-25 13:12 1.9M
libflint-dev_2.5.2-1..> 2018-11-04 03:30 1.1M
libflint-2.6.3_2.6.3..> 2020-10-25 13:12 1.6M
libflint-2.5.2_2.5.2..> 2018-11-04 03:30 894K
flint_3.1.3.orig.tar.gz 2024-06-10 08:49 7.2M
flint_3.1.3-1.dsc 2024-06-10 08:49 2.2K
flint_3.1.3-1.debian..> 2024-06-10 08:49 8.5K
flint_2.9.0.orig.tar.gz 2022-06-24 20:41 5.0M
flint_2.9.0-5.dsc 2022-09-11 15:24 2.1K
flint_2.9.0-5.debian..> 2022-09-11 15:24 8.6K
flint_2.6.3.orig.tar.gz 2020-08-12 19:59 4.3M
flint_2.6.3-3.dsc 2020-10-25 12:27 2.1K
flint_2.6.3-3.debian..> 2020-10-25 12:27 7.0K
flint_2.5.2.orig.tar.gz 2015-08-31 23:35 2.1M
flint_2.5.2-19.dsc 2018-11-04 03:30 2.1K
flint_2.5.2-19.debia..> 2018-11-04 03:30 8.2K