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