Merge pull request #104 from oscarbenjamin/pr_flint_311

maint: bump Flint to 3.0.1
flintlib · Nov 10, 2023 · 3e31bc6 · 3e31bc6
2 parents 33e5485 + 978bebd
commit 3e31bc6
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/bin/build_dependencies_unix.sh b/bin/build_dependencies_unix.sh
@@ -277,7 +277,7 @@ echo "           building Flint"
 echo --------------------------------------------
 echo
 
-curl -O -L https://www.flintlib.org/flint-$FLINTVER.tar.gz
+curl -O -L https://github.com/flintlib/flint/releases/download/v$FLINTVER/flint-$FLINTVER.tar.gz
 tar xf flint-$FLINTVER.tar.gz
 cd flint-$FLINTVER
   ./bootstrap.sh

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.0.0
+FLINTVER=3.0.1