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