/gnu/store/rz07v0xss9xv5wq6b6k16r0p0gdslvxy-coq-mathcomp-1.11.0-checkout.drv