New version: JudiLing v0.12.0

UUID: b43a184b-0e9d-488b-813a-80fd5dbc9fd8 Repo: https://github.com/quantling/JudiLing.jl.git Tree: ceac0b95478923983efba6207595d3eaa511deaf Registrator tree SHA: 17aec322677d9b81cdd6b9b9236b09a3f1374c6a
JuliaRegistries · Dec 27, 2024 · 5315dd1 · 5315dd1
1 parent 4188396
commit 5315dd1
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/J/JudiLing/Versions.toml b/J/JudiLing/Versions.toml
@@ -63,3 +63,6 @@ git-tree-sha1 = "e26350ae0daafb370573b0b29f34c0284ed4aa1b"
 
 ["0.11.1"]
 git-tree-sha1 = "f47e1b4c8e43506a491fb69d146ebfcd183bbf37"
+
+["0.12.0"]
+git-tree-sha1 = "ceac0b95478923983efba6207595d3eaa511deaf"