/gnu/store/5hlmb4w4rj15scgz2sq6j9rmawpdbp6d-coq-coquelicot-3.1.0-checkout.drv