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