/gnu/store/ykk4fc2fy25xi6gh642b9z4rwmwxmqkl-agda-ial-1.5.0-checkout.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/0fbpphq9wg2zvbgwqxjm731n6cd51lfg-module-import.drv
/gnu/store/2byg6c58q99jdpw1cq3q8l9xmdzkvlgk-gnutls-3.6.11.1.drv
/gnu/store/ams22m669dayywqrjsz8n996zrziwbr8-git-minimal-2.25.0.drv
/gnu/store/gly9gx1qbxz8qr1bqymd85s7ma19b0n7-gzip-1.10.drv
/gnu/store/k7jgrd0x25dbrbm4zybmhrm243ljvcdx-guile-json-3.2.0.drv
/gnu/store/n2z7pc0qhdf2b96s76canl90nx4mxsyv-guile-2.2.6.drv
/gnu/store/qf2zlvc1x19mvq51jayndpinm640728i-module-import-compiled.drv
/gnu/store/rg9ibgiw52i95ib5xrpm2rcqgcys3cfy-tar-1.32.drv

Derivation details

Builder/gnu/store/22c89xyiizl7xbf4v6vbdayiz643gx26-guile-2.2.6/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/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout