ubuntu-with-libgmp Dockerfile for Ubuntu image that includes the 'libgmp10' package. Available on Docker Hub.