diff options
Diffstat (limited to 'versions/m-')
| -rw-r--r-- | versions/m-/mpc.json | 9 | ||||
| -rw-r--r-- | versions/m-/mpfr.json | 5 |
2 files changed, 14 insertions, 0 deletions
diff --git a/versions/m-/mpc.json b/versions/m-/mpc.json new file mode 100644 index 000000000..240192016 --- /dev/null +++ b/versions/m-/mpc.json @@ -0,0 +1,9 @@ +{ + "versions": [ + { + "git-tree": "82cc965290366b6d4cbc8996a8b9e335769920c8", + "version-string": "1.2.0", + "port-version": 0 + } + ] +} diff --git a/versions/m-/mpfr.json b/versions/m-/mpfr.json index 67ba0c0a4..84a29abfe 100644 --- a/versions/m-/mpfr.json +++ b/versions/m-/mpfr.json @@ -1,6 +1,11 @@ { "versions": [ { + "git-tree": "6cb77c01fbda04c72b1767e3fbd79078bd29895e", + "version-string": "4.1.0", + "port-version": 0 + }, + { "git-tree": "7eefb0bc78d4e4422f50379f1ccd05f13c3ed8c2", "version-string": "4.0.2-2", "port-version": 0 |
