/gnu/store/87p83ic63q765r70ad84gvkq5nsxchyd-coq-coquelicot-3.1.0-checkout.drv