# package was named 'flintlib' because of another package
pkgname=flint
site="https://flintlib.org/downloads.html"