Merge pull request #270 from oscarbenjamin/pr_flint320

oscarbenjamin · web-flow · commit 48049a30f2f9 · 2025-03-12T23:35:48.000Z
Bump FLINT to 3.2.0
diff --git 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.2.0-rc2'
+FLINTVER='3.2.0'
