diff options
Diffstat (limited to 'versions')
| -rw-r--r-- | versions/baseline.json | 2 | ||||
| -rw-r--r-- | versions/o-/openmama.json | 5 |
2 files changed, 6 insertions, 1 deletions
diff --git a/versions/baseline.json b/versions/baseline.json index 391146eb8..8fb80742b 100644 --- a/versions/baseline.json +++ b/versions/baseline.json @@ -4474,7 +4474,7 @@ }, "openmama": { "baseline": "6.3.1", - "port-version": 0 + "port-version": 1 }, "openmesh": { "baseline": "8.1", diff --git a/versions/o-/openmama.json b/versions/o-/openmama.json index a96b358a1..e34e2add3 100644 --- a/versions/o-/openmama.json +++ b/versions/o-/openmama.json @@ -1,6 +1,11 @@ { "versions": [ { + "git-tree": "74e126369c9ba45cf7105e1b72871738acd24de5", + "version-semver": "6.3.1", + "port-version": 1 + }, + { "git-tree": "6945e436fdfc5307d58f84ff5c76f6a34e2a8031", "version-string": "6.3.1", "port-version": 0 |