Skip to content

Commit 60a0f5e

Browse files
Merge pull request #266 from oscarbenjamin/flint_320rc2
Bump FLINT to 3.2.0-rc2
2 parents 242c48e + 5f76697 commit 60a0f5e

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

bin/build_variables.sh

Lines changed: 1 addition & 1 deletion
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)