/gnu/store/4a97c7l82qi0kj24scpb4y847cfw9jk8-gmp-6.1.2.drv