libgmp3 is no more - use libgmp4 How-To-Repeat: iN/A
State Changed From-To: open->closed committed, thanks