Merge pull request #98 from oscarbenjamin/pr_bump_flint_v3

Bump Flint version to v3.0.0 final

Author: oscarbenjamin

bin/build_variables.sh

@@ -21,4 +21,4 @@ MPIRVER=3.0.0 # MPIR build no longer works (not clear where to download from)
 # These are the actual dependencies used (at least by default):
 GMPVER=6.3.0
 MPFRVER=4.1.0
-FLINTVER=3.0.0-rc1
+FLINTVER=3.0.0