From 769448e97ca54c367e0e9817c49f99f0b495caf1 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 29 Dec 2025 08:17:10 +0000 Subject: [PATCH] Bump the all-julia-packages group across 2 directories with 5 updates Updates the requirements on [DataStructures](https://github.com/JuliaCollections/DataStructures.jl), [TermInterface](https://github.com/JuliaSymbolics/TermInterface.jl), [Documenter](https://github.com/JuliaDocs/Documenter.jl), [Metatheory](https://github.com/JuliaSymbolics/Metatheory.jl) and [Literate](https://github.com/fredrikekre/Literate.jl) to permit the latest version. Updates `DataStructures` to 0.19.3 - [Release notes](https://github.com/JuliaCollections/DataStructures.jl/releases) - [Changelog](https://github.com/JuliaCollections/DataStructures.jl/blob/master/CHANGELOG.md) - [Commits](https://github.com/JuliaCollections/DataStructures.jl/compare/v0.18.0...v0.19.3) Updates `TermInterface` to 2.0.0 - [Release notes](https://github.com/JuliaSymbolics/TermInterface.jl/releases) - [Commits](https://github.com/JuliaSymbolics/TermInterface.jl/compare/v0.3.3...v2.0.0) Updates `TermInterface` to 2.0.0 - [Release notes](https://github.com/JuliaSymbolics/TermInterface.jl/releases) - [Commits](https://github.com/JuliaSymbolics/TermInterface.jl/compare/v0.3.3...v2.0.0) Updates `Documenter` to 1.16.1 - [Release notes](https://github.com/JuliaDocs/Documenter.jl/releases) - [Changelog](https://github.com/JuliaDocs/Documenter.jl/blob/master/CHANGELOG.md) - [Commits](https://github.com/JuliaDocs/Documenter.jl/compare/v0.26.0...v1.16.1) Updates `Metatheory` to 2.0.2 - [Release notes](https://github.com/JuliaSymbolics/Metatheory.jl/releases) - [Changelog](https://github.com/JuliaSymbolics/Metatheory.jl/blob/master/NEWS.md) - [Commits](https://github.com/JuliaSymbolics/Metatheory.jl/compare/v0.1.1...v2.0.2) Updates `Literate` to 2.21.0 - [Release notes](https://github.com/fredrikekre/Literate.jl/releases) - [Changelog](https://github.com/fredrikekre/Literate.jl/blob/master/CHANGELOG.md) - [Commits](https://github.com/fredrikekre/Literate.jl/compare/v0.1.0...v2.21.0) --- updated-dependencies: - dependency-name: DataStructures dependency-version: 0.19.3 dependency-type: direct:production dependency-group: all-julia-packages - dependency-name: TermInterface dependency-version: 2.0.0 dependency-type: direct:production dependency-group: all-julia-packages - dependency-name: TermInterface dependency-version: 2.0.0 dependency-type: direct:production dependency-group: all-julia-packages - dependency-name: Documenter dependency-version: 1.16.1 dependency-type: direct:production dependency-group: all-julia-packages - dependency-name: Metatheory dependency-version: 2.0.2 dependency-type: direct:production dependency-group: all-julia-packages - dependency-name: Literate dependency-version: 2.21.0 dependency-type: direct:production dependency-group: all-julia-packages ... Signed-off-by: dependabot[bot] --- Project.toml | 4 ++-- docs/Project.toml | 5 ++++- 2 files changed, 6 insertions(+), 3 deletions(-) diff --git a/Project.toml b/Project.toml index 0d8e3fc1..4f54b56a 100644 --- a/Project.toml +++ b/Project.toml @@ -13,10 +13,10 @@ TimerOutputs = "a759f4b9-e2f1-59dc-863e-4aeb61b1ea8f" [compat] AutoHashEquals = "2.1.0" -DataStructures = "0.18" +DataStructures = "0.18, 0.19" DocStringExtensions = "0.8, 0.9" Reexport = "0.2, 1" -TermInterface = "0.3.3" +TermInterface = "0.3.3, 2.0" TimerOutputs = "0.5" julia = "1.8" diff --git a/docs/Project.toml b/docs/Project.toml index 4866d7b6..0da73d06 100644 --- a/docs/Project.toml +++ b/docs/Project.toml @@ -5,4 +5,7 @@ Metatheory = "e9d8d322-4543-424a-9be4-0cc815abe26c" TermInterface = "8ea1fca8-c5ef-4a55-8b96-4e9afe9c9a3c" [compat] -Documenter = "~0.26" +Documenter = "~0.26, 1.16" +Literate = "2.21.0" +Metatheory = "2.0.2" +TermInterface = "2.0.0"