Index of /ftp/pub/linux/distributions/lip6-debian/ftp3/debian/pool/main/f/flint-arb
Name
Last modified
Size
Description
Parent Directory
-
flint-arb_2.16.0-2.debian.tar.xz
2019-01-15 14:02
3.9K
flint-arb_2.16.0-2.dsc
2019-01-15 14:02
2.1K
flint-arb_2.16.0.orig.tar.gz
2018-12-12 11:13
1.5M
flint-arb_2.19.0-1.debian.tar.xz
2020-12-08 09:16
4.6K
flint-arb_2.19.0-1.dsc
2020-12-08 09:16
2.2K
flint-arb_2.19.0.orig.tar.gz
2020-12-08 09:16
1.5M
flint-arb_2.23.0-1.debian.tar.xz
2022-07-09 22:47
4.9K
flint-arb_2.23.0-1.dsc
2022-07-09 22:47
2.1K
flint-arb_2.23.0.orig.tar.gz
2022-07-09 22:47
1.9M
libflint-arb-dev_2.16.0-2_amd64.deb
2019-01-15 14:27
39K
libflint-arb-dev_2.16.0-2_i386.deb
2019-01-15 14:27
39K
libflint-arb-dev_2.19.0-1_amd64.deb
2020-12-08 10:27
40K
libflint-arb-dev_2.19.0-1_i386.deb
2020-12-08 11:13
40K
libflint-arb-dev_2.23.0-1+b1_amd64.deb
2022-07-15 07:40
44K
libflint-arb-dev_2.23.0-1+b1_i386.deb
2022-07-15 07:55
44K
libflint-arb-doc_2.16.0-2_all.deb
2019-01-15 14:27
22K
libflint-arb-doc_2.19.0-1_all.deb
2020-12-08 09:56
574K
libflint-arb-doc_2.23.0-1_all.deb
2022-07-09 23:12
635K
libflint-arb2_2.16.0-2_amd64.deb
2019-01-15 14:27
893K
libflint-arb2_2.16.0-2_i386.deb
2019-01-15 14:27
1.0M
libflint-arb2_2.19.0-1_amd64.deb
2020-12-08 10:27
939K
libflint-arb2_2.19.0-1_i386.deb
2020-12-08 11:13
1.0M
libflint-arb2_2.23.0-1+b1_amd64.deb
2022-07-15 07:40
1.2M
libflint-arb2_2.23.0-1+b1_i386.deb
2022-07-15 07:55
1.3M
Apache/2 Server at ftp.lip6.fr Port 80