tarball=flint-VERSION.tar.gz
sha1=dae6d32b25e46a6ab92514b4dfa64b06fdf247ec
sha256=64d70e513076cfa971e0410b58c1da5d35112913e9a56b44e2c681b459d3eafb
upstream_url=https://github.com/flintlib/flint/releases/download/vVERSION/flint-VERSION.tar.gz
