installing libgmp10-dev fixes all problems ... please close the bug:(
best regards jan -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
Bug#617559: Acknowledgement (libgmp3-dev: not installable due to unmet dependencies (libgmpxx4ldbl))
- Bug#617559: libgmp3-dev: not installable due to unmet d... Jan Christoph Uhde
- Bug#617559: Acknowledgement (libgmp3-dev: not inst... Jan Christoph Uhde
