Cannot install lib32gmp3-dev for MIOS32 toolchain

[Sauraen]

Anyone have any ideas why this is happening or what I should do? New computer, Ubuntu 13.04 AMD64.

 

sudo apt-get install lib32gmp3-dev
Reading package lists... Done
Building dependency tree       
Reading state information... Done
Some packages could not be installed. This may mean that you have
requested an impossible situation or if you are using the unstable
distribution that some required packages have not yet been created
or been moved out of Incoming.
The following information may help to resolve the situation:

The following packages have unmet dependencies:
 lib32gmp3-dev : Depends: libgmp3-dev (= 2:4.3.2+dfsg-1ubuntu1) but 2:5.0.5+dfsg-2ubuntu3 is to be installed
                 Depends: lib32gmpxx4 (= 2:4.3.2+dfsg-1ubuntu1) but 2:5.0.5+dfsg-2ubuntu3 is to be installed
E: Unable to correct problems, you have held broken packages.

Does this mean the version of libgmp3-dev is too new? How do I downgrade it?

Edited September 13, 2013 by Sauraen

[Sauraen]

I installed every package that contained "libgmp" or "lib32gmp", including both "lib32gmp3" and "lib32gmp-dev" (but with "lib32gmp3-dev" still not working), and now MIOS tutorial applications compile. So I guess it's fixed? Anyway, I can code away now!