New version: SoleLogics v0.4.1 (#87747)

UUID: b002da8f-3cb3-4d91-bbe3-2953433912b5 Repo: https://github.com/aclai-lab/SoleLogics.jl.git Tree: c79e29601e504385c0011e10b2bf36c9524e7b4e Registrator tree SHA: f73a20c99934db92a256057d0d83ba394036a701
JuliaRegistries · Jul 18, 2023 · da4a234 · da4a234
1 parent 53b13ec
commit da4a234
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 0 deletions.
diff --git a/S/SoleLogics/Compat.toml b/S/SoleLogics/Compat.toml
@@ -21,3 +21,7 @@ SoleBase = "0.9.2-0.9"
 Graphs = "1.8.0-1"
 SoleBase = "0.11"
 StatsBase = "0.34"
+
+["0.4.1-0"]
+PrettyTables = "2.2.0-2"
+ThreadSafeDicts = "0.1"
diff --git a/S/SoleLogics/Deps.toml b/S/SoleLogics/Deps.toml
@@ -17,3 +17,7 @@ NamedArrays = "86f7a689-2022-50b4-a561-43c23ac3c673"
 ["0.4-0"]
 Graphs = "86223c79-3864-5bf0-83f7-82e725a168b6"
 StatsBase = "2913bbd2-ae8a-5f71-8c99-4fb6c76f3a91"
+
+["0.4.1-0"]
+PrettyTables = "08abe8d2-0d0c-5749-adfa-8a2ac140af0d"
+ThreadSafeDicts = "4239201d-c60e-5e0a-9702-85d713665ba7"
diff --git a/S/SoleLogics/Versions.toml b/S/SoleLogics/Versions.toml
@@ -6,3 +6,6 @@ git-tree-sha1 = "ef27f7225151535eb54f597c4375597d095daf79"
 
 ["0.4.0"]
 git-tree-sha1 = "f41659916bd39b076f57bcf48e5ed8767f9c6875"
+
+["0.4.1"]
+git-tree-sha1 = "c79e29601e504385c0011e10b2bf36c9524e7b4e"