From 1f83e40aec050f11cdea6d3097195d5abb8b3528 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= <lars.goettgens@rwth-aachen.de>
Date: Tue, 17 Oct 2023 10:50:43 +0200
Subject: [PATCH] Add compat entries for all deps (even stdlibs)

---
 Project.toml      | 5 +++++
 docs/Project.toml | 1 -
 docs/make.jl      | 4 ++--
 test/Project.toml | 2 ++
 4 files changed, 9 insertions(+), 3 deletions(-)

diff --git a/Project.toml b/Project.toml
index 9996845bee..64e6d5e2b4 100644
--- a/Project.toml
+++ b/Project.toml
@@ -21,5 +21,10 @@ Antic_jll = "~0.201.500"
 Arb_jll = "~200.2300.000"
 Calcium_jll = "~0.401.100"
 FLINT_jll = "^200.900.006"
+Libdl = "1.6"
+LinearAlgebra = "1.6"
+Pkg = "1.6"
+Random = "1.6"
 RandomExtensions = "0.4.2"
+SHA = "~1.6, ~1.7, 0.7"
 julia = "1.6"
diff --git a/docs/Project.toml b/docs/Project.toml
index 9e99902980..e2d55ee0ee 100644
--- a/docs/Project.toml
+++ b/docs/Project.toml
@@ -1,5 +1,4 @@
 [deps]
-AbstractAlgebra = "c3fe647b-3220-5bb0-a1ea-a7954cac585d"
 Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
 
 [compat]
diff --git a/docs/make.jl b/docs/make.jl
index 2ffc86a692..18328c318c 100644
--- a/docs/make.jl
+++ b/docs/make.jl
@@ -1,6 +1,6 @@
-using Documenter, Nemo, AbstractAlgebra
+using Documenter, Nemo, Nemo.AbstractAlgebra
 
-DocMeta.setdocmeta!(Nemo, :DocTestSetup, :(using Nemo); recursive = true)
+DocMeta.setdocmeta!(Nemo, :DocTestSetup, :(using Nemo; AbstractAlgebra = Nemo.AbstractAlgebra); recursive = true)
 
 makedocs(
          format = Documenter.HTML(),
diff --git a/test/Project.toml b/test/Project.toml
index e17be5348e..d7cffe7fe7 100644
--- a/test/Project.toml
+++ b/test/Project.toml
@@ -5,3 +5,5 @@ Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
 
 [compat]
 Aqua = "0.7"
+InteractiveUtils = "1.6"
+Test = "1.6"