From f4c6edb05ad22aff4a52e381e40b76861157ceca Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 20 Jul 2026 03:45:01 +0000 Subject: [PATCH] Update Nemo requirement to 0.56.1 Updates the requirements on [Nemo](https://github.com/Nemocas/Nemo.jl) to permit the latest version. - [Release notes](https://github.com/Nemocas/Nemo.jl/releases) - [Changelog](https://github.com/Nemocas/Nemo.jl/blob/master/CHANGELOG.md) - [Commits](https://github.com/Nemocas/Nemo.jl/commits/v0.56.1) --- updated-dependencies: - dependency-name: Nemo dependency-version: 0.56.1 dependency-type: direct:production ... Signed-off-by: dependabot[bot] --- docs/Project.toml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/docs/Project.toml b/docs/Project.toml index 4427bef..524d4cc 100644 --- a/docs/Project.toml +++ b/docs/Project.toml @@ -18,3 +18,6 @@ Random = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c" Revise = "295af30f-e4ad-537b-8983-00126c2a3abe" SparseArrays = "2f01184e-e22b-5df5-ae63-d93ebab69eaf" StableRNGs = "860ef19b-820b-49d6-a774-d7a799459cd3" + +[compat] +Nemo = "0.56.1"