New version: SoleLogics v0.12.0

UUID: b002da8f-3cb3-4d91-bbe3-2953433912b5 Repo: https://github.com/aclai-lab/SoleLogics.jl.git Tree: eb9793b1cb73b77eaa9e6b296ccaa2d2b2d9407f Registrator tree SHA: 17aec322677d9b81cdd6b9b9236b09a3f1374c6a
JuliaRegistries · Jan 8, 2025 · 84160ac · 84160ac
1 parent da7c83e
commit 84160ac
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/S/SoleLogics/Compat.toml b/S/SoleLogics/Compat.toml
@@ -22,6 +22,9 @@ Dictionaries = "0.3-0.4"
 ["0.11-0"]
 StaticArrays = "1.9.0-1"
 
+["0.12-0"]
+SoleBase = "0.13"
+
 ["0.3"]
 SoleBase = "0.9.2-0.9"
 
@@ -56,7 +59,7 @@ Random = "1"
 ["0.6.7-0"]
 StatsBase = "0.30-0.34"
 
-["0.7-0"]
+["0.7-0.11"]
 SoleBase = "0.12"
 
 ["0.8-0"]

diff --git a/S/SoleLogics/Versions.toml b/S/SoleLogics/Versions.toml
@@ -129,3 +129,6 @@ git-tree-sha1 = "e041b8e0606b0eea5e033f5391e5c89edd8990e2"
 
 ["0.11.0"]
 git-tree-sha1 = "35b0b386f5e003606d1df3881d0794c1482eec71"
+
+["0.12.0"]
+git-tree-sha1 = "eb9793b1cb73b77eaa9e6b296ccaa2d2b2d9407f"