/gnu/store/p37w9f5wcfbba97l5vyv7ld2z3iaz4yf-coq-flocq-3.4.2-checkout.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/18xjd1rb3drnbsa79blxcd7cszpdli1v-gnutls-3.7.2.drv
/gnu/store/78ibywi6f5jsb0x04vpdrxqg1dx8vgv6-module-import-compiled.drv
/gnu/store/9ym5401l3x6wkp7y6b2lj17wq53i2l6w-git-minimal-2.34.0.drv
/gnu/store/aix2bmjzlzhawz24yh561dblhgv8w5cx-gzip-1.10.drv
/gnu/store/isgjp0w1lg6gi6m9zg3zzbax9dadfnsr-tar-1.34.drv
/gnu/store/pz9z9j09795bpnypz0411s1p35bhh0p7-guile-zlib-0.1.0.drv
/gnu/store/xfay35qql6xzay6ha1rbzg797rdvj3j2-guile-3.0.7.drv
/gnu/store/xzlndrapwlhglf5p84dlqa3djy2aa017-guile-json-4.5.2.drv

Derivation details

Builder/gnu/store/q7fwd9ri2ad3mgq8qnc1s6iir0qwls0d-guile-3.0.7/bin/guile
Systemarmhf-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/
Scheduled
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/

Outputs

File name
/gnu/store/ifg8kcl50zsxn5yygfvnssnbvj4s2h22-coq-flocq-3.4.2-checkout