Name | Path | Hash algorithm | Hash | Recursive | |
---|---|---|---|---|---|
out | /gnu/store/v0vlx8crz8k3iqw2c6x1lcv9cjx7irck-coq-bignums-8.11.0 | null | null | #f | |
out | /gnu/store/z3wc1h8flajchr2vxdw9as50prbrkm6y-coq-bignums-8.11.0 | null | null | #f |
Common inputs are omitted.
Builder | Arguments | |
---|---|---|
/gnu/store/0m0vd873jp61lcm4xa3ljdgx381qa782-guile-3.0.2/bin/guile | ||
/gnu/store/0m0vd873jp61lcm4xa3ljdgx381qa782-guile-3.0.2/bin/guile |