/gnu/store/v6l1j9jfv8gk49c4ppjzjkvcg7p84pmx-coq-coquelicot-3.1.0-checkout.drv