On Wed, Oct 06, 2010 at 06:03:21PM +1300, Alexander McPhail wrote: > > Just to let you know, libgmp3-dev is already installed (Debian package). > Could there be a problem with (debian) package detection? It works for me, with libgmp3-dev 2:4.2.2+dfsg-3 on Debian. Thanks Ian