Re: GUB and mpfr/mpc

[Federico Bruni]

Il giorno sab 25 ott 2014 alle 17:18, Phil Holmes <address@hidden> 
ha scritto:
> ----- 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§ion=all
> >
> > My environment is Ubuntu 14.04LTS amd64.
> > Are you using Ubuntu 10.04?
>
>
> Afraid so.

$ lsb_release -a

will tell you exactly.
Is it the server or your computer?

You need at least 12.04:
http://packages.ubuntu.com/search?keywords=libgmp-dev