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