On Thu, 09 Aug 2012 20:08:38 +0200 Patrick Dupre <pdupre@xxxxxxxxxx> wrote: > Hello, > > To install giac, I need libgmp.so.10, but it is not available under > Fedora 16 > (only in Fedora 17 et Fedora 18, with gmp-5). > Is there a way to install this library? I'm assuming you're speaking of this giac: http://www-fourier.ujf-grenoble.fr/~parisse/giac.html And yes, it is possible. Just don't try to use a binary compiled for another OS, instead compile a version for the one you have. -- Jussi Lehtola Fedora Project Contributor jussilehtola@xxxxxxxxxxxxxxxxx -- users mailing list users@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe or change subscription options: https://admin.fedoraproject.org/mailman/listinfo/users Guidelines: http://fedoraproject.org/wiki/Mailing_list_guidelines Have a question? Ask away: http://ask.fedoraproject.org