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