Jump to content

Cannot install lib32gmp3-dev for MIOS32 toolchain


Sauraen
 Share

Recommended Posts

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 by Sauraen
Link to comment
Share on other sites

Join the conversation

You can post now and register later. If you have an account, sign in now to post with your account.

Guest
Reply to this topic...

×   Pasted as rich text.   Paste as plain text instead

  Only 75 emoji are allowed.

×   Your link has been automatically embedded.   Display as a link instead

×   Your previous content has been restored.   Clear editor

×   You cannot paste images directly. Upload or insert images from URL.

Loading...
 Share

×
×
  • Create New...