diff options
Diffstat (limited to 'versions')
| -rw-r--r-- | versions/baseline.json | 4 | ||||
| -rw-r--r-- | versions/m-/msmpi.json | 5 |
2 files changed, 7 insertions, 2 deletions
diff --git a/versions/baseline.json b/versions/baseline.json index 66b45bd55..060bf5262 100644 --- a/versions/baseline.json +++ b/versions/baseline.json @@ -4125,8 +4125,8 @@ "port-version": 3 }, "msmpi": { - "baseline": "10.1", - "port-version": 0 + "baseline": "10.1.12498", + "port-version": 1 }, "mstch": { "baseline": "1.0.2-2", diff --git a/versions/m-/msmpi.json b/versions/m-/msmpi.json index 6890386b2..687eb427e 100644 --- a/versions/m-/msmpi.json +++ b/versions/m-/msmpi.json @@ -1,6 +1,11 @@ { "versions": [ { + "git-tree": "d333159a4463603aade50bfa48dbb4bd5b33946e", + "version": "10.1.12498", + "port-version": 1 + }, + { "git-tree": "ce9b3f866ae1c098455182c6e811dc63a7b3e161", "version-string": "10.1", "port-version": 0 |