/gnu/store/76gcfqzx7rdp5n5i7k7l0c4irx52fqj6-gmp-6.0.0a.tar.xz.drv