Add new GMP dependency to dockerfile
1 file changed