Derive([("out","/gnu/store/pcbzijfz7n0gfiph5xmgrh4ky8nxqs3w-coq-core-8.15.1-checkout","","")],[("/gnu/store/7f2ixz7dwaqd40an74qz3212ayiqgafy-xz-5.2.5.drv",["out"]),("/gnu/store/7mmbq6sw4a0fhb5kkhdp2rgakrm7m8xz-patch-2.7.6.drv",["out"]),("/gnu/store/9sjy1hgvjvh48p99xrid6q13jvdia6r2-glibc-utf8-locales-2.33.drv",["out"]),("/gnu/store/rdx4p3kf5qvqa3h6hd7han846mg46ijx-tar-1.34.drv",["out"]),("/gnu/store/scflq9szl5ss9hrbrcq1rdi48vgmwgxf-module-import-compiled.drv",["out"]),("/gnu/store/x0kv7q0is2dc0ravma73nfzzbljjy8x2-guile-3.0.7.drv",["out"]),("/gnu/store/zaf08fzy4yvfyxspl83nqk822zvzv0f2-coq-core-8.15.1-checkout.drv",["out"])],["/gnu/store/4680s0cwi8mrbn47lqvj5yj57a2055k5-coq-fix-envvars.patch","/gnu/store/h5xlg16asnhz7zzn70p1gcmx65h0psg5-coq-core-8.15.1-checkout-builder","/gnu/store/pgj8653w17hsapbd1srlvd44rlnhbx8n-module-import"],"i586-gnu","/gnu/store/inb5f91sznk8w2ykzzzhpmxnqdh0hsci-guile-3.0.7/bin/guile",["--no-auto-compile","-L","/gnu/store/pgj8653w17hsapbd1srlvd44rlnhbx8n-module-import","-C","/gnu/store/dbx1k8aavcjlh9d9w827n2zg1hdmykhd-module-import-compiled","/gnu/store/h5xlg16asnhz7zzn70p1gcmx65h0psg5-coq-core-8.15.1-checkout-builder"],[("guix properties","((type . origin) (patches . 1))"),("out","/gnu/store/pcbzijfz7n0gfiph5xmgrh4ky8nxqs3w-coq-core-8.15.1-checkout")])