From 5f7669741e74051de1c0c59bc84e22b31aa1a1e5 Mon Sep 17 00:00:00 2001
From: Oscar Benjamin <oscar.j.benjamin@gmail.com>
Date: Tue, 11 Mar 2025 21:43:47 +0000
Subject: [PATCH] Bump FLINT to 3.2.0-rc2

---
 bin/build_variables.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/build_variables.sh b/bin/build_variables.sh
index 03287c7e..e7a08ce1 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.2.0-rc1'
+FLINTVER='3.2.0-rc2'