diff options
| -rw-r--r-- | devel.morph | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/devel.morph b/devel.morph index 360f150e..160cb24c 100644 --- a/devel.morph +++ b/devel.morph @@ -15,6 +15,9 @@ }, "mpc": { "ref": "baserock" + }, + "mpfr": { + "ref": "baserock" } } } |