Name | Path | Hash algorithm | Hash | Recursive | |
---|---|---|---|---|---|
out | /gnu/store/rjmrls16idd95n8hrvq6djnxkj8jmhyz-coq-autosubst-1-coq86-devel.fa6ef30 | null | null | #f | |
out | /gnu/store/i79inc2zngl2ndvgxny1caafzna8mk2v-coq-autosubst-1-coq86-devel.fa6ef30 | null | null | #f |
Derivation | Outputs | |
---|---|---|
/gnu/store/f8cj3mxz2q2k8nw3b2m0njf7mrsbhz5d-coq-8.11.2.drv | out | |
/gnu/store/alzrk7w6ildx4y19n84m6i17bblbry27-coq-8.13.2.drv | out |
Common inputs are omitted.
Builder | Arguments | |
---|---|---|
/gnu/store/b0b0qp5lwhwxfrav1bxrq3d9y4iz5f77-guile-3.0.2/bin/guile | ||
/gnu/store/b0b0qp5lwhwxfrav1bxrq3d9y4iz5f77-guile-3.0.2/bin/guile |