From 4bc7f5b88454f870425f10f72cf595e58fe3ede8 Mon Sep 17 00:00:00 2001 From: Registrator Date: Thu, 5 Sep 2024 21:54:33 +0530 Subject: [PATCH] New version: PDDL v0.2.18 (#114609) UUID: 2c8894f9-daa1-498a-9e3a-26edd9623db8 Repo: https://github.com/JuliaPlanners/PDDL.jl.git Tree: df1e12fb86d1f081833a74249335aa02657be774 Registrator tree SHA: 17aec322677d9b81cdd6b9b9236b09a3f1374c6a --- P/PDDL/Versions.toml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/P/PDDL/Versions.toml b/P/PDDL/Versions.toml index df09b89c69941c3..ff6853f93b02a64 100644 --- 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"