/gnu/store/dfr4lhpdx45bzgz00a6n6c297yfq9sab-coq-core-8.15.1-checkout.drv