/gnu/store/i3hysyz94zhvj04hsxqblv2qknlc5vni-gmp-6.2.0.drv