/gnu/store/21lv8v6fzczp98j3yzadwlym4gwg22v0-coq-coquelicot-3.1.0-checkout.drv