Bump Flint to 3.1.3-p1

oscarbenjamin · oscarbenjamin · commit 352586d4cafa · 2024-07-01T20:23:33.000+01:00
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.1.2
+FLINTVER='3.1.3-p1'
