/gnu/store/8rvh9brsvsckfpsmlsls9s1r26bpwbcb-coq-coquelicot-3.1.0-checkout.drv