Name | Path | Hash algorithm | Hash | Recursive | |
---|---|---|---|---|---|
out | /gnu/store/2cgwj1p5qf4ds23424i3ivbz1lkiwfdz-coq-8.11.2 | null | null | #f | |
ide | /gnu/store/9f1y3acxwd2jywiijkzn85r8hgpipv4z-coq-8.11.2-ide | null | null | #f | |
out | /gnu/store/rayw7sz2b44sjik0lcrc6i0g4if94ad9-coq-8.11.2 | null | null | #f | |
ide | /gnu/store/clbn4pzx1figiypcvnbpiscdzlvl3ly7-coq-8.11.2-ide | null | null | #f |
Common inputs are omitted.
Builder | Arguments | |
---|---|---|
/gnu/store/x3gq648qnfnla7nppyfjvj62s2i8y7rl-guile-3.0.2/bin/guile | ||
/gnu/store/x3gq648qnfnla7nppyfjvj62s2i8y7rl-guile-3.0.2/bin/guile |