summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--devel.morph16
1 files changed, 12 insertions, 4 deletions
diff --git a/devel.morph b/devel.morph
index 0e2aba2..213c6b1 100644
--- a/devel.morph
+++ b/devel.morph
@@ -11,6 +11,18 @@
"ref": "baserock/morph"
},
{
+ "name": "gmp",
+ "ref": "baserock/morph"
+ },
+ {
+ "name": "mpfr",
+ "ref": "baserock/morph"
+ },
+ {
+ "name": "mpc",
+ "ref": "baserock/morph"
+ },
+ {
"name": "gcc",
"repo": "gcc-tarball",
"ref": "baserock/morph"
@@ -140,10 +152,6 @@
"ref": "baserock/morph"
},
{
- "name": "gmp",
- "ref": "baserock/morph"
- },
- {
"name": "libnettle",
"repo": "lsh",
"ref": "baserock/morph"