Name | Path | Hash algorithm | Hash | Recursive | |
---|---|---|---|---|---|
out | /gnu/store/9mzr0k495xywky2wf26xrw340jfn4hx7-coq-stdpp-1.4.0 | null | null | #f | |
out | /gnu/store/qxk2c59c84pxf5rbmk8j8rj1sgrvyn4c-coq-stdpp-1.4.0 | null | null | #f |
Derivation | Outputs | |
---|---|---|
/gnu/store/pwg3y08qf87j3nx5wimgl8slzdgr8f9m-coq-8.10.2.drv | out | |
/gnu/store/k0df7r9w05sh8p8l3qbf77nvm47mvp58-coq-8.11.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 |