diff options
Diffstat (limited to 'versions')
| -rw-r--r-- | versions/baseline.json | 6 | ||||
| -rw-r--r-- | versions/c-/ccd.json | 5 | ||||
| -rw-r--r-- | versions/o-/ompl.json | 5 | ||||
| -rw-r--r-- | versions/o-/omplapp.json | 9 |
4 files changed, 24 insertions, 1 deletions
diff --git a/versions/baseline.json b/versions/baseline.json index 8fea072f3..39d17150a 100644 --- a/versions/baseline.json +++ b/versions/baseline.json @@ -1158,7 +1158,7 @@ }, "ccd": { "baseline": "2.1-4", - "port-version": 0 + "port-version": 1 }, "ccfits": { "baseline": "2.5", @@ -4514,6 +4514,10 @@ }, "ompl": { "baseline": "1.5.1", + "port-version": 1 + }, + "omplapp": { + "baseline": "1.5.1", "port-version": 0 }, "onednn": { diff --git a/versions/c-/ccd.json b/versions/c-/ccd.json index da47a0a54..51d2ec8dd 100644 --- a/versions/c-/ccd.json +++ b/versions/c-/ccd.json @@ -1,6 +1,11 @@ { "versions": [ { + "git-tree": "a720cc123c190c6b68e57e356c4937685eeb2faa", + "version-string": "2.1-4", + "port-version": 1 + }, + { "git-tree": "c5315a631ffcea9c2a158578e73c53d8455808de", "version-string": "2.1-4", "port-version": 0 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 + } + ] +} |
