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