fix: workaround for bug in new flint binaries (#3203)

oscar-system · Jan 19, 2024 · 687e324 · 687e324
1 parent 57d5c26
commit 687e324
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Project.toml b/Project.toml
@@ -8,6 +8,7 @@ AbstractAlgebra = "c3fe647b-3220-5bb0-a1ea-a7954cac585d"
 AlgebraicSolving = "66b61cbe-0446-4d5d-9090-1ff510639f9d"
 Distributed = "8ba89e20-285c-5b6f-9357-94700520ee1b"
 DocStringExtensions = "ffbed154-4ef7-542d-bbb7-c09d3a79fcae"
+FLINT_jll = "e134572f-a0d5-539d-bddf-3cad8db41a82"
 GAP = "c863536a-3901-11e9-33e7-d5cd0df7b904"
 Hecke = "3e1990a7-5d81-5526-99ce-9ba3ff248f21"
 JSON = "682c06a0-de6a-54ab-a142-c8b1cf79cde6"
@@ -30,6 +31,7 @@ AbstractAlgebra = "0.35.2"
 AlgebraicSolving = "0.4.6"
 Distributed = "1.6"
 DocStringExtensions = "0.8, 0.9"
+FLINT_jll = "= 200.900.7"
 GAP = "0.10.0"
 Hecke = "0.24.0"
 JSON = "^0.20, ^0.21"