diff options
Diffstat (limited to 'versions/m-')
| -rw-r--r-- | versions/m-/msmpi.json | 5 |
1 files changed, 5 insertions, 0 deletions
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 |