Problem requiring different versions of libgmp-dev
rmadison command shows that the libgmp10 version that I have install is from bionic and not from artful.
$ rmadison libgmp10
libgmp10 | 2:5.0.2+dfsg-2ubuntu1 | precise | amd64, armel, armhf, i386, powerpc
libgmp10 | 2:5.1.3+dfsg-1ubuntu1 | trusty | amd64, arm64, armhf, i386, powerpc, ppc64el
libgmp10 | 2:6.1.0+dfsg-2 | xenial | amd64, arm64, armhf, i386, powerpc, ppc64el, s390x
libgmp10 | 2:6.1.2+dfsg-1 | artful | amd64, arm64, armhf, i386, ppc64el, s390x
libgmp10 | 2:6.1.2+dfsg-2 | bionic | amd64, arm64, armhf, i386, ppc64el, s390x
Solution
Install the specific version used by artful, that is sudo apt-get install libgmp10=2:6.1.2+dfsg-1:
sudo apt-get install libgmp10=2:6.1.2+dfsg-1
...
The following packages will be DOWNGRADED:
libgmp10
0 upgraded, 0 newly installed, 1 downgraded, 0 to remove and 0 not upgraded.
Need to get 240 kB of archives.
After this operation, 4.096 B disk space will be freed.
Do you want to continue? [S/n] S
Get:1 http://uy.archive.ubuntu.com/ubuntu artful/main amd64 libgmp10 amd64 2:6.1.2+dfsg-1 [240 kB]
Fetched 240 kB in 1s (290 kB/s)
dpkg: warning: downgrading libgmp10:amd64 from 2:6.1.2+dfsg-2 to 2:6.1.2+dfsg-1
...
Preparing to unpack .../libgmp10_2%3a6.1.2+dfsg-1_amd64.deb ...
Unpacking libgmp10:amd64 (2:6.1.2+dfsg-1) over (2:6.1.2+dfsg-2) ...
Setting up libgmp10:amd64 (2:6.1.2+dfsg-1) ...
Processing triggers for libc-bin (2.26-0ubuntu2.1) ...