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