New version: SoleLogics v0.7.1

UUID: b002da8f-3cb3-4d91-bbe3-2953433912b5 Repo: https://github.com/aclai-lab/SoleLogics.jl.git Tree: bb24197596b9f1065415f450bd90fa381aacff96 Registrator tree SHA: 17aec322677d9b81cdd6b9b9236b09a3f1374c6a
JuliaRegistries · Feb 24, 2024 · 28ca163 · 28ca163
1 parent 7fd17c0
commit 28ca163
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/S/SoleLogics/Deps.toml b/S/SoleLogics/Deps.toml
@@ -24,3 +24,6 @@ ThreadSafeDicts = "4239201d-c60e-5e0a-9702-85d713665ba7"
 
 ["0.6-0"]
 AbstractTrees = "1520ce14-60c1-5f80-bbc7-55ef81b5835c"
+
+["0.7.1-0"]
+FunctionWrappers = "069b7b12-0de2-55c6-9aab-29f3d0a68a2e"
diff --git a/S/SoleLogics/Versions.toml b/S/SoleLogics/Versions.toml
@@ -81,3 +81,6 @@ git-tree-sha1 = "9172e0b17f12ee8702acf5542c4fe5282d15e246"
 
 ["0.7.0"]
 git-tree-sha1 = "0ae255c1f522be5f8ee54e2714d036b13f57d983"
+
+["0.7.1"]
+git-tree-sha1 = "bb24197596b9f1065415f450bd90fa381aacff96"