Derive([("out","/gnu/store/ly1714sr5a39v7lmnlwbki9psxq8siwd-coq-core-8.15.1-checkout","","")],[("/gnu/store/5qc842g6lm63r8wr59yb5kqqm7sqq2s6-coq-core-8.15.1-checkout.drv",["out"]),("/gnu/store/6d1ya9a8ap708h90ij26n4y0r1yl358m-glibc-utf8-locales-2.33.drv",["out"]),("/gnu/store/7jhyzvb01pq08nin9dnyqn7hl24kx24i-module-import-compiled.drv",["out"]),("/gnu/store/bngjs6y282gbayp523x6ykrmj5wznfxg-xz-5.2.5.drv",["out"]),("/gnu/store/bwvcn7p6kk4c6xjh5rw9li9r8slvibdw-tar-1.34.drv",["out"]),("/gnu/store/g6vhkrbpyfrlh1w9xd176dvqc5ay71wk-guile-3.0.7.drv",["out"]),("/gnu/store/pxhw1w3ja39aznkadjvamzi2xnspky95-patch-2.7.6.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")])