Name | Path | Hash algorithm | Hash | Recursive | |
---|---|---|---|---|---|
out | /gnu/store/0cc2mj58bd6s5nzdm63lbr6rqxbsb2hr-coq-coquelicot-3.1.0 | null | null | #f | |
out | /gnu/store/jsv349fvf59rvynrmw2b9w0wsw5v299m-coq-coquelicot-3.1.0 | 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 |