Name | Path | Hash algorithm | Hash | Recursive | |
---|---|---|---|---|---|
out | /gnu/store/2crsw5xkd1b73c87a38bp5lfn6p07xra-coq-flocq-3.3.1 | null | null | #f | |
out | /gnu/store/59l9r8dlp389c9r05n8pfdkh530p78k7-coq-flocq-3.3.1 | null | null | #f |
Common inputs are omitted.
Builder | Arguments | |
---|---|---|
/gnu/store/q42i7lrbp442pr88r0ayd9mm5dry7zll-guile-3.0.2/bin/guile | ||
/gnu/store/q42i7lrbp442pr88r0ayd9mm5dry7zll-guile-3.0.2/bin/guile |