Name | Path | Hash algorithm | Hash | Recursive | |
---|---|---|---|---|---|
out | /gnu/store/irphkhd1lls82sanajhh3g60cq2arz07-coq-equations-1.2.3 | null | null | #f | |
out | /gnu/store/6n2nfjgbd2c6z9bfgc7s3xaxfsq6fmvi-coq-equations-1.2.3 | null | null | #f |
Common inputs are omitted.
Builder | Arguments | |
---|---|---|
/gnu/store/f855x7hpmrxp5niaalx344h5p2v8i5zh-guile-3.0.2/bin/guile | ||
/gnu/store/f855x7hpmrxp5niaalx344h5p2v8i5zh-guile-3.0.2/bin/guile |