Merge pull request #125 from oscarbenjamin/pr_bump_flint_310

maint: bump Flint to 3.1.0

Author: oscarbenjamin

.github/workflows/buildwheel.yml

@@ -129,8 +129,8 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        # minimum supported version and latest git
-        flinttag: ['v3.0.0', 'main']
+        # Supported versions and latest git
+        flinttag: ['v3.0.0', 'v3.0.1', 'v3.1.0', 'main']
     steps:
       - uses: actions/checkout@v3
       - uses: actions/setup-python@v4

README.md

@@ -126,6 +126,11 @@ To do
 CHANGELOG
 -------------
 
+Next release:
+
+- [gh-125](https://github.com/flintlib/python-flint/pull/125)
+  Bump Flint version to 3.1.0
+
 0.6.0
 
 - [gh-112](https://github.com/flintlib/python-flint/issues/112),

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.1
+FLINTVER=3.1.0

bin/pip_install_ubuntu.sh

@@ -75,4 +75,4 @@ echo        $ pip install --no-binary python-flint $PYTHON_FLINT
 echo
 echo -----------------------------------------------------------
 
-pip install --no-binary python-flint $PYTHON_FLINT
+pip install --no-binary python-flint $PYTHON_FLINT