update abi specs

Author: t-bltg

docs/ci_build.sh

@@ -59,13 +59,15 @@ $julia -e '
   if Sys.islinux()
     # see discourse.julialang.org/t/glibcxx-version-not-found/82209/8
     # julia 1.8.3 is built with libstdc++.so.6.0.29, so we must restrict to this version (gcc 11.3.0, not gcc 12.2.0)
-    gcc_major = Dict(
-      v"3.4.29" => 11,
-      v"3.4.30" => 12,
-      # ... keep this up-to-date with gcc 13
+    # see gcc.gnu.org/onlinedocs/libstdc++/manual/abi.html
+    specs = Dict(
+      v"3.4.29" => ">=11.1,<12.1",
+      v"3.4.30" => ">=12.1,<13.1",
+      v"3.4.31" => ">=13.1,<14.1",
+      # ... keep this up-to-date with gcc 14
     )[Base.BinaryPlatforms.detect_libstdcxx_version()]
-    Conda.add("libgcc-ng=$gcc_major")
-    Conda.add("libstdcxx-ng=$gcc_major")
+    Conda.add("libgcc-ng$specs")
+    Conda.add("libstdcxx-ng$specs")
   end
   Conda.add("matplotlib")
   Conda.list()