diff options
author | Lars Wirzenius <lars.wirzenius@codethink.co.uk> | 2011-11-02 19:30:44 +0000 |
---|---|---|
committer | Lars Wirzenius <lars.wirzenius@codethink.co.uk> | 2011-11-02 19:30:44 +0000 |
commit | 67bcb746ca37ccc5771d5195c5034835030f5da9 (patch) | |
tree | 59477b4e7db2c708708f3fb558a926da9be149a5 | |
parent | 1f8f0e355a2e629d0c3099c3622952f5f84734a8 (diff) | |
download | definitions-67bcb746ca37ccc5771d5195c5034835030f5da9.tar.gz |
Add MPFR to baserock
-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" } } } |