/gnu/store/qlibyiac2865nq27ish95978d01k0ndn-coq-equations-1.2.3-checkout.drv