You can find my pull request fixing builds here
My builds were succeeding unmodified for quite a long time and nothing significant has changed in the repository since last year. This leads me to suspect that something has instead changed on the Travis CI side. Would anyone have advice on what that might be and why this would have started failing?
I have both libgmp10 and libgmp-dev dependencies installed AFAICT.