Name Last modified Size Description
Parent Directory -
flint-debuginfo/ 28-Nov-2021 21:41 -
libflint-devel/ 28-Nov-2021 21:41 -
libflint/ 11-Mar-2020 16:51 -
libflint15/ 04-Apr-2021 10:22 -
libflint16/ 28-Nov-2021 21:44 -
flint-2.4.5-1-src.hint 12-Apr-2020 21:59 102
flint-2.7.0-1-src.hint 07-Apr-2023 14:39 212
flint-2.7.1-1-src.hint 04-Apr-2021 10:20 212
flint-2.8.4-1-src.hint 28-Nov-2021 21:40 212
sha512.sum 26-Dec-2023 02:14 1.2K
flint-2.4.5-1-src.tar.xz 16-May-2015 11:41 1.5M
flint-2.7.0-1-src.tar.xz 14-Jan-2021 16:23 4.7M
flint-2.7.1-1-src.tar.xz 04-Apr-2021 10:20 4.7M
flint-2.8.4-1-src.tar.xz 28-Nov-2021 21:40 5.0M
Apache/2.2 Server at ftp.ntua.gr Port 80