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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/1yvk6ykcj9vh0g179aamw19ilcighvmx-gnutls-3.7.2.drv
/gnu/store/79x7p48k5r4sfyfms7mcc33nn082zvjj-guile-json-4.5.2.drv
/gnu/store/7b1m8vgsp7lkhpasv1zqsw1kmmg8d6a6-guile-zlib-0.1.0.drv
/gnu/store/7vnql8i8z3b7q9xkp28wdxd632sxjbbb-guile-3.0.7.drv
/gnu/store/h64v0a4w83i8dfjq4f01b36prihjbazb-gzip-1.10.drv
/gnu/store/jl5r46f0gvi3imnzvv3gchwn443gmgwn-tar-1.34.drv
/gnu/store/r8dzsn5f2jnlh9hrfg1m0x0bfazhv0v3-module-import-compiled.drv
/gnu/store/vq8rirl9pgl2ix252zy97khrawff1bn5-git-minimal-2.34.0.drv

Derivation details

Builder/gnu/store/1kws5vkl0glvpxg7arabsv6q9vazp0hx-guile-3.0.7/bin/guile
Systemx86_64-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