remove unnecessary libgmp

This commit is contained in:
Job Evers-Meltzer 2016-08-16 12:25:18 -05:00
parent a6f08b9e0c
commit a2a1e30d68