Name | Path | Hash algorithm | Hash | Recursive | |
---|---|---|---|---|---|
out | /gnu/store/ni1dwf9zw2l3gnwggac0snwzzhmz1kxp-coq-8.11.2 | null | null | #f | |
ide | /gnu/store/hs1d0cghiqpqglhlpri8hhyls0mdd0nq-coq-8.11.2-ide | null | null | #f | |
out | /gnu/store/fslmp95cmgndnwc083xzsqrspvnhlajj-coq-8.11.2 | null | null | #f | |
ide | /gnu/store/75hhdfvajn5bs27whpc2lb5bk7pjzxmh-coq-8.11.2-ide | null | null | #f |
Common inputs are omitted.
Builder | Arguments | |
---|---|---|
/gnu/store/b0b0qp5lwhwxfrav1bxrq3d9y4iz5f77-guile-3.0.2/bin/guile | ||
/gnu/store/b0b0qp5lwhwxfrav1bxrq3d9y4iz5f77-guile-3.0.2/bin/guile |