[Bug 698135] home:open-studio:unstable/libgmp-dev: Bug