2 files changed, 14 insertions, 0 deletions
diff --git a/versions/o-/ompl.json b/versions/o-/ompl.json
index 485887ffe..801fcdea6 100644
--- a/versions/o-/ompl.json
+++ b/versions/o-/ompl.json
@@ -1,6 +1,11 @@
 {
   "versions": [
     {
+      "git-tree": "f3812117c1ed1d4080155284f12908236dd797f5",
+      "version-string": "1.5.1",
+      "port-version": 1
+    },
+    {
       "git-tree": "2dc123683ef75002bd7252b252cc220a7a643066",
       "version-string": "1.5.1",
       "port-version": 0
diff --git a/versions/o-/omplapp.json b/versions/o-/omplapp.json
new file mode 100644
index 000000000..4b8de5c30
--- /dev/null
+++ b/versions/o-/omplapp.json
@@ -0,0 +1,9 @@
+{
+  "versions": [
+    {
+      "git-tree": "590eb9956381e7ef47b780fbd9aee2c6e8da323c",
+      "version-string": "1.5.1",
+      "port-version": 0
+    }
+  ]
+}