/gnu/store/k43i9p7nl8q1skhh3rdlvxbrj5vzx09g-coq-coquelicot-3.1.0-checkout.drv