Name Last modified Size Description
![[DIR]](/images/back.gif)
Parent Directory -
![[ ]](/images/unknown.gif)
flint-arb_2.11.1-2build1.debian.tar.xz 25-Jan-2018 00:24 3.4K
flint-arb_2.11.1-2build1.dsc 25-Jan-2018 00:24 2.2K
![[ ]](/images/zip.gif)
flint-arb_2.11.1.orig.tar.gz 09-Nov-2017 07:29 1.2M
flint-arb_2.17.0-1.debian.tar.xz 25-Oct-2019 23:05 3.9K
flint-arb_2.17.0-1.dsc 25-Oct-2019 23:05 2.1K
flint-arb_2.17.0.orig.tar.gz 25-Oct-2019 23:05 1.5M
flint-arb_2.18.1-2.debian.tar.xz 26-Aug-2020 02:13 4.4K
flint-arb_2.18.1-2.dsc 26-Aug-2020 02:13 2.2K
flint-arb_2.18.1.orig.tar.gz 01-Jul-2020 20:28 1.5M
flint-arb_2.19.0-1.debian.tar.xz 09-Dec-2020 01:19 4.6K
flint-arb_2.19.0-1.dsc 09-Dec-2020 01:19 2.2K
flint-arb_2.19.0.orig.tar.gz 09-Dec-2020 01:19 1.5M
libflint-arb-dev_2.11.1-2build1_amd64.deb 25-Jan-2018 07:54 35K
libflint-arb-dev_2.11.1-2build1_i386.deb 14-Mar-2018 13:12 35K
libflint-arb-dev_2.17.0-1_amd64.deb 26-Oct-2019 00:38 38K
libflint-arb-dev_2.18.1-2_amd64.deb 26-Aug-2020 02:44 38K
libflint-arb-dev_2.19.0-1_amd64.deb 09-Dec-2020 01:34 38K
libflint-arb-doc_2.11.1-2build1_all.deb 25-Jan-2018 07:54 14K
libflint-arb-doc_2.17.0-1_all.deb 26-Oct-2019 00:38 17K
libflint-arb-doc_2.18.1-2_all.deb 26-Aug-2020 02:44 503K
libflint-arb-doc_2.19.0-1_all.deb 09-Dec-2020 01:34 573K
libflint-arb2_2.11.1-2build1_amd64.deb 25-Jan-2018 07:54 769K
libflint-arb2_2.11.1-2build1_i386.deb 14-Mar-2018 13:12 855K
libflint-arb2_2.17.0-1_amd64.deb 26-Oct-2019 00:38 926K
libflint-arb2_2.18.1-2_amd64.deb 26-Aug-2020 02:44 930K
libflint-arb2_2.19.0-1_amd64.deb 09-Dec-2020 01:34 936K
Apache/2.2 Server at ftp.ntua.gr Port 80
