"Phil Holmes" <m...@philholmes.net> writes: > ----- Original Message ----- > From: "Masamichi HOSODA" <truer...@sea.plala.or.jp> > >> 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.
So there is the next thing wanting an update: that's two stable releases back IIRC. 14.04 is pretty ok, I think. -- David Kastrup _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel
