/gnu/store/567rwml778008p670yxyz80ddwrk8zyh-coq-coquelicot-3.1.0-checkout.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/2048vysh7bskvj99p1nlqmg6lkpiys43-guile-zlib-0.0.1.drv
/gnu/store/46r1b1p2rrpicmpl5my1ifdczxma7v7f-tar-1.32.drv
/gnu/store/6vi6i37gqwdvp4dznn2kb1m1f4a2rv5b-guile-3.0.2.drv
/gnu/store/apfisc5aix5q1h0i3cfqgrr3cjqyl3mz-guile-json-4.3.2.drv
/gnu/store/fv2yygrdv44slwr2faxq8yj9mv92fcys-module-import-compiled.drv
/gnu/store/ikj5bgpgzf5bjz30h4ja1lav5z05m12h-gzip-1.10.drv
/gnu/store/yrsvhjxpc4g8nvf2b4l33942cz8znpwn-gnutls-3.6.12.drv
/gnu/store/z4mvi1nbid6xhvxab5y4k0y0ad82q8v5-git-minimal-2.29.2.drv

Derivation details

Builder/gnu/store/f855x7hpmrxp5niaalx344h5p2v8i5zh-guile-3.0.2/bin/guile
Systemmips64el-linux

Build status

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

Outputs

File name
/gnu/store/jh2m5wyp835rh090g312hmxkvh2sbvq7-coq-coquelicot-3.1.0-checkout