Name | Path | Hash algorithm | Hash | Recursive | |
---|---|---|---|---|---|
out | /gnu/store/3188l07f9i24gw7zjkq2y4rijnbph5gd-coq-stdpp-1.4.0 | null | null | #f | |
out | /gnu/store/hmqi6l4z3abrvwa2pmf89anmd8mgcjmp-coq-stdpp-1.4.0 | null | null | #f |
Derivation | Outputs | |
---|---|---|
/gnu/store/1mxv832w3w2kz1fq5f94ibr5a5ih1v08-coq-8.11.2.drv | out | |
/gnu/store/y07b5frr0x70ndych6fnpjy2vjzhk0jh-coq-8.11.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 |