/gnu/store/rhb959r13byj5lj1ghkphzl9y2rkd8gk-coq-core-8.14.1-checkout.drv