/gnu/store/05qx14qm6xslxngxvgb8qbamrzpzmy27-agda-ial-1.5.0-checkout.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/1s6frqgaamg6gz23flcdhw59cg1r0zrj-gzip-1.10.drv
/gnu/store/5dr6k96s8rc97qm4g0vyd346bw0jxvxz-gnutls-3.6.15.drv
/gnu/store/d3byha0wvmldrcjxa835dsnn6liszlxv-git-minimal-2.33.1.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/v431048301hh8c6q20mn28g5b3510vh4-module-import-compiled.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/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout