|
From: | Federico Bruni |
Subject: | Re: GUB and mpfr/mpc |
Date: | Sat, 25 Oct 2014 17:34:05 +0200 |
----- 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
[Prev in Thread] | Current Thread | [Next in Thread] |