/gnu/store/wrhr5rnckcnswnfdm0is8bwxqh20jdsy-coq-8.13.2-checkout.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/0r153bmwm4vkjbn47zlxcj107kzpw712-module-import-compiled.drv
/gnu/store/1s6frqgaamg6gz23flcdhw59cg1r0zrj-gzip-1.10.drv
/gnu/store/5dr6k96s8rc97qm4g0vyd346bw0jxvxz-gnutls-3.6.15.drv
/gnu/store/62igx2m7kva0a8cmd5k89c8d7acpj5f7-git-minimal-2.33.0.drv
/gnu/store/hr4yqf71c6z0gbg8fnhvc8sn44lmnh4i-tar-1.32.drv
/gnu/store/prfa6jzsz1gg841mh7p3izk1h7qk2ayn-guile-zlib-0.1.0.drv
/gnu/store/q4c0mayjj1iw092322b88c66jlrjviwa-guile-json-4.5.2.drv
/gnu/store/z24prifqpv0s14qbick3dbffnn0k50b5-guile-3.0.2.drv

Derivation details

Builder/gnu/store/lgk876wh2bxxglplbwyymkx3sqzcbnk9-guile-3.0.2/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/
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/zirjikb1jm4kg4kyccadgvx6j6j7jirw-coq-8.13.2-checkout