aboutsummaryrefslogtreecommitdiff
path: root/versions/m-
diff options
context:
space:
mode:
Diffstat (limited to 'versions/m-')
-rw-r--r--versions/m-/mpc.json9
-rw-r--r--versions/m-/mpfr.json5
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