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