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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/05x9g047m4z4j9ay5d18nga8ya531mk6-tar-1.32.drv
/gnu/store/aznz5z93wynj3min7mah6v18rl510p1k-module-import.drv
/gnu/store/b0v15557yn7hr1d8xygcpjnh6mi85rvl-gnutls-3.6.11.1.drv
/gnu/store/bvyj2kp3z79wmbwzyvikcqfjnwy06kp4-module-import-compiled.drv
/gnu/store/h8v02fjl20kz8j5b3c0fcpwyf2r99llf-guile-json-3.2.0.drv
/gnu/store/hgycsk7c0p0qdg4s2nnklvh63lgmw1ri-gzip-1.10.drv
/gnu/store/lhj1d2mbg68z9483za9385c2wjxgzial-git-minimal-2.25.0.drv
/gnu/store/y6kpk65nrc2yi7g8zqzbqy4lagryglls-guile-2.2.6.drv

Derivation details

Builder/gnu/store/q8ax3i6ykd59ibpnpw8cgvj8man084fg-guile-2.2.6/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