From 3eeb5dc835c9114f578adf500387f185b60ed012 Mon Sep 17 00:00:00 2001
From: JuliaRegistrator <ci@juliacomputing.com>
Date: Tue, 18 Jul 2023 21:00:26 +0000
Subject: [PATCH] New version: SoleLogics v0.4.1

UUID: b002da8f-3cb3-4d91-bbe3-2953433912b5
Repo: https://github.com/aclai-lab/SoleLogics.jl.git
Tree: c79e29601e504385c0011e10b2bf36c9524e7b4e

Registrator tree SHA: f73a20c99934db92a256057d0d83ba394036a701
---
 S/SoleLogics/Compat.toml   | 4 ++++
 S/SoleLogics/Deps.toml     | 4 ++++
 S/SoleLogics/Versions.toml | 3 +++
 3 files changed, 11 insertions(+)

diff --git a/S/SoleLogics/Compat.toml b/S/SoleLogics/Compat.toml
index f313ec5d3c3a5bd..30b13114c2deece 100644
--- 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
index b65857ebc5bdf1a..aca8e150058629f 100644
--- 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
index 6001b3823e9554c..6205075b909b6b6 100644
--- 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"