New version: PDDL v0.2.18

UUID: 2c8894f9-daa1-498a-9e3a-26edd9623db8 Repo: https://github.com/JuliaPlanners/PDDL.jl.git Tree: df1e12fb86d1f081833a74249335aa02657be774 Registrator tree SHA: 17aec322677d9b81cdd6b9b9236b09a3f1374c6a
JuliaRegistries · Sep 5, 2024 · 1aefe0f · 1aefe0f
1 parent 4c66ec4
commit 1aefe0f
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/P/PDDL/Versions.toml b/P/PDDL/Versions.toml
@@ -63,3 +63,6 @@ git-tree-sha1 = "3a521775f1434a48e95ea08c62d36c8a07821588"
 
 ["0.2.17"]
 git-tree-sha1 = "ce095968ee4edd0942c7845bba16c9b63b7cfc5d"
+
+["0.2.18"]
+git-tree-sha1 = "df1e12fb86d1f081833a74249335aa02657be774"