/gnu/store/np34sj7yg2s8sp8bd3grv307n2nbiyan-prove-1.0.0-2.5d71f02-checkout.drv