diff --git a/bin/build_variables.sh b/bin/build_variables.sh index 4d5801e3..5ed312d0 100644 --- a/bin/build_variables.sh +++ b/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