maint: bump versions: flint-2.9.0 arb-2.23.0

Author: oscarbenjamin

bin/build_dependencies_unix.sh

@@ -149,9 +149,9 @@ cd ..
 #                                                                           #
 # ------------------------------------------------------------------------- #
 
-curl -O -L https://github.com/wbhart/flint2/archive/refs/tags/$FLINTVER.tar.gz
-tar xf $FLINTVER.tar.gz
-cd flint2-$FLINTVER
+curl -O -L https://www.flintlib.org/flint-$FLINTVER.tar.gz
+tar xf flint-$FLINTVER.tar.gz
+cd flint-$FLINTVER
   ./configure --prefix=$PREFIX\
     $FLINTARB_WITHGMP\
     --with-mpfr=$PREFIX\

bin/build_variables.sh

@@ -17,5 +17,5 @@ GMPVER=6.2.1
 YASMVER=1.3.0
 MPIRVER=3.0.0
 MPFRVER=4.1.0
-FLINTVER='2.9.0-beta1'
-ARBVER=2.22.0
+FLINTVER=2.9.0
+ARBVER=2.23.0