Name | Path | Hash algorithm | Hash | Recursive | |
---|---|---|---|---|---|
out | /gnu/store/5ydcdywnpkhj4ikvlw1sgws17w0d55x0-coq-autosubst-1-coq86-devel.fa6ef30 | null | null | #f | |
out | /gnu/store/64as6wxcvj7lsza2cfm57zji63p5qc1y-coq-autosubst-1-coq86-devel.fa6ef30 | null | null | #f |
Derivation | Outputs | |
---|---|---|
/gnu/store/yzj60z31i2fghkwf5djzi8ym8pwga65z-coq-8.11.2.drv | out | |
/gnu/store/g9akxp73bz3v7gz6j2vfy2vpw0jh8mqx-coq-8.13.2.drv | out |
Common inputs are omitted.
Builder | Arguments | |
---|---|---|
/gnu/store/f855x7hpmrxp5niaalx344h5p2v8i5zh-guile-3.0.2/bin/guile | ||
/gnu/store/f855x7hpmrxp5niaalx344h5p2v8i5zh-guile-3.0.2/bin/guile |