/gnu/store/f402g2ppj7nchdsdjxaywgf2x29c7hk4-prove-1.0.0-1.4f9122b-checkout.drv