The source project of this merge request has been removed.
change libgmp3-dev to libgmp-dev (consistency with source)
I am not even sure that it is needed to repeat the build-deps in package that are already in build-deps of source.
I am not even sure that it is needed to repeat the build-deps in package that are already in build-deps of source.