Bump flint to version 3.1.2

Author: agriyakhetarpal

.github/workflows/ci-emscripten.yml

@@ -90,10 +90,10 @@ jobs:
           CFLAGS: "-fPIC"
           WASM_LIBRARY_DIR: ${{ github.workspace }}/wasm-library-dir
         run: |
-          curl -L https://github.com/flintlib/flint/releases/download/v3.1.0/flint-3.1.0.tar.gz -o flint-3.1.0.tar.gz
-          tar -xf flint-3.1.0.tar.gz
+          curl -L https://github.com/flintlib/flint/releases/download/v3.1.2/flint-3.1.2.tar.gz -o flint-3.1.2.tar.gz
+          tar -xf flint-3.1.2.tar.gz
 
-          cd flint-3.1.0
+          cd flint-3.1.2
 
           emconfigure ./configure \
             --disable-dependency-tracking \