Derive([("out","/gnu/store/ly1714sr5a39v7lmnlwbki9psxq8siwd-coq-core-8.15.1-checkout","","")],[("/gnu/store/6prl045zrhd1dy2i1hbjgkg6wvzy163v-glibc-utf8-locales-2.33.drv",["out"]),("/gnu/store/7dkhhlxz9fpn15l6xbcjqnmg1j8vs96g-guile-3.0.7.drv",["out"]),("/gnu/store/bq2n7ffzpjdpf2fpqngprgixs0hgx433-module-import-compiled.drv",["out"]),("/gnu/store/hz2iam12bsr43hj165rnrdn4y2aj01ab-xz-5.2.5.drv",["out"]),("/gnu/store/j6v1j8g5804yhmbj505pn78bb1izwh19-coq-core-8.15.1-checkout.drv",["out"]),("/gnu/store/l7y7nsj2zxd5vlah9pzlp9d2zpf1wll5-patch-2.7.6.drv",["out"]),("/gnu/store/m5w71cmjhh2nnqm197ahwsyl8vvcrn4k-tar-1.34.drv",["out"])],["/gnu/store/3m39gsz2xg38mc8cdxzzn9262zq3l4ql-coq-core-8.15.1-checkout-builder","/gnu/store/4680s0cwi8mrbn47lqvj5yj57a2055k5-coq-fix-envvars.patch","/gnu/store/pgj8653w17hsapbd1srlvd44rlnhbx8n-module-import"],"mips64el-linux","/gnu/store/x70k2a9bbpn04ri4ls31p0cm3sc0kjq8-guile-3.0.7/bin/guile",["--no-auto-compile","-L","/gnu/store/pgj8653w17hsapbd1srlvd44rlnhbx8n-module-import","-C","/gnu/store/2ix9d73pf23frma5cz00bsirwkx6h6bx-module-import-compiled","/gnu/store/3m39gsz2xg38mc8cdxzzn9262zq3l4ql-coq-core-8.15.1-checkout-builder"],[("guix properties","((type . origin) (patches . 1))"),("out","/gnu/store/ly1714sr5a39v7lmnlwbki9psxq8siwd-coq-core-8.15.1-checkout")])