/gnu/store/zrnwa6wnxch4bjm4raypp1lbcj55gmva-coq-core-8.14.1-checkout.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/1777rbi45d479jn5xlzk3j52vcj09v8c-xz-5.2.5.drv
/gnu/store/25sk6adk7ydj9crxz79d7szfahlb5nfc-coq-core-8.14.1-checkout.drv
/gnu/store/bnwga2jy2akrmi392ynxg6mkw2n9h32w-guile-3.0.7.drv
/gnu/store/n6cacz6bbzyg5d1gf4xaghfy58gqhyq7-patch-2.7.6.drv
/gnu/store/rpg11x40cgryirq0fbj1ads4c740j7xm-tar-1.34.drv
/gnu/store/s0j1a5h4hqb5ja8x94is2wv2y6gr957q-module-import-compiled.drv
/gnu/store/z2pa2hj3d1yavwd4fhamlchqrwzc18c8-glibc-utf8-locales-2.33.drv

Derivation details

Builder/gnu/store/cfhzjs744xnz9h2py7d3yqqgqys2kzj4-guile-3.0.7/bin/guile
Systemi586-gnu

Build status

Scheduled
View build on https://bordeaux.guix.gnu.org/

Outputs

File name
/gnu/store/rbh3gwng6r41hc05rncxl6c97dymlc8g-coq-core-8.14.1-checkout