On 2013-07-31 09:31:10 -0500, Steve M. Robbins wrote: > On Tue, Jul 30, 2013 at 04:05:10PM +0200, Vincent Lefevre wrote: > > I thought there was a clash with "gcc" (or some other installed > > package), but this was apparently due to a bug in apt. Adding > > "gcc" to "apt-get install libmpfr-dev:i386" solves the problem. > > Great, I'm glad you found a workaround for the problem. Still, it's > odd that I did not see it.
It might depend on the contents of the /var/lib/dpkg/status file. I attached this file in my bug report against apt. > Earlier you made the point that you would like to use "gcc -m32". So > it turns out that the i386 and amd64 versions of libgmp-dev are now > co-installable and with both installed, you can indeed compile in > either 32- or 64-bit mode! And I've checked that the results are fine. -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <http://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon) -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org