New version: KnuthBendix v0.5.0 (#119847)

UUID: c2604015-7b3d-4a30-8a26-9074551ec60a Repo: https://github.com/kalmarek/KnuthBendix.jl.git Tree: 0587419d92298f97858a9c6a2a7d535873c1f922 Registrator tree SHA: 17aec322677d9b81cdd6b9b9236b09a3f1374c6a
JuliaRegistries · Nov 24, 2024 · 87d1eac · 87d1eac
1 parent 84844b5
commit 87d1eac
Show file tree

Hide file tree

Showing 3 changed files with 15 additions and 0 deletions.
diff --git a/K/KnuthBendix/Compat.toml b/K/KnuthBendix/Compat.toml
@@ -9,3 +9,9 @@ ProgressMeter = "1"
 
 ["0.3.2-0"]
 julia = "1.6.0-1"
+
+["0.5-0"]
+GroupsCore = "0.5.2-0.5"
+PrecompileTools = "1"
+PrettyTables = "2.3.0-2"
+Tables = "1.10.0-1"
diff --git a/K/KnuthBendix/Deps.toml b/K/KnuthBendix/Deps.toml
@@ -3,3 +3,9 @@ MacroTools = "1914dd2f-81c6-5fcd-8719-6d5c9610ff09"
 
 ["0.3-0"]
 ProgressMeter = "92933f4c-e287-5a05-a399-4b506db050ca"
+
+["0.5-0"]
+GroupsCore = "d5909c97-4eac-4ecc-a3dc-fdd0858a4120"
+PrecompileTools = "aea7be01-6a6a-4083-8856-8a6e6704d82a"
+PrettyTables = "08abe8d2-0d0c-5749-adfa-8a2ac140af0d"
+Tables = "bd369af6-aec1-5ad0-b16a-f7cc5008161c"
diff --git a/K/KnuthBendix/Versions.toml b/K/KnuthBendix/Versions.toml
@@ -21,3 +21,6 @@ git-tree-sha1 = "4f65faeef754db7e51e0127d9622099a54896313"
 
 ["0.4.0"]
 git-tree-sha1 = "a5ef62c9f2b4461b246a610b7402f5f2dbffbfaa"
+
+["0.5.0"]
+git-tree-sha1 = "0587419d92298f97858a9c6a2a7d535873c1f922"