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