Name | Path | Hash algorithm | Hash | Recursive | |
---|---|---|---|---|---|
out | /gnu/store/xzcb8bm57p6h9aqvk419xmnnxw7qkm9r-dedukti-2.6.0 | null | null | #f | |
out | /gnu/store/38hrvf24kajzglnvwmswmvvzpc0l1z44-dedukti-2.6.0 | null | null | #f |
Common inputs are omitted.
Builder | Arguments | |
---|---|---|
/gnu/store/zslki807w05y73wbpnszxpz44fl2yn8b-guile-3.0.2/bin/guile | ||
/gnu/store/zslki807w05y73wbpnszxpz44fl2yn8b-guile-3.0.2/bin/guile |