From f2a4857df30dc71d1515acd89d53ba0f29140110 Mon Sep 17 00:00:00 2001
From: JuliaRegistrator <ci@juliacomputing.com>
Date: Wed, 8 Jan 2025 12:32:04 +0000
Subject: [PATCH] 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
---
 S/SoleLogics/Compat.toml   | 5 ++++-
 S/SoleLogics/Versions.toml | 3 +++
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/S/SoleLogics/Compat.toml b/S/SoleLogics/Compat.toml
index f8478ee617f0906..50fc58551d5f41e 100644
--- 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
index 08c8651c69ed094..33be64de6f7a7f0 100644
--- 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"