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?