/gnu/store/mnr93bh9xddd5gvy2b6dyh96sgsc3dng-coq-8.13.2-checkout.drv