Skip to content

Commit 5f76697

Browse files
committed
Bump FLINT to 3.2.0-rc2
1 parent 242c48e commit 5f76697

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

bin/build_variables.sh

+1-1
Original file line numberDiff line numberDiff line change
@@ -21,4 +21,4 @@ MPIRVER=3.0.0 # MPIR build no longer works (not clear where to download from)
2121
# These are the actual dependencies used (at least by default):
2222
GMPVER=6.3.0
2323
MPFRVER=4.1.0
24-
FLINTVER='3.2.0-rc1'
24+
FLINTVER='3.2.0-rc2'

0 commit comments

Comments
 (0)