Re: GUB and mpfr/mpc

[Phil Holmes]

----- Original Message ----- 
From: "Masamichi HOSODA" <address@hidden>

> libgmp-dev package exists after Ubuntu 12.04.
> http://packages.ubuntu.com/search?keywords=libgmp-dev&searchon=names&suite=all&section=all
>
> My environment is Ubuntu 14.04LTS amd64.
> Are you using Ubuntu 10.04?


Afraid so.

--
Phil Holmes