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