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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/6i3y4a9dicwpabf79x1g75fa05k87hl4-guile-json-4.7.3.drv
/gnu/store/6v1d0vd6zd6pw029l69b75lwlhajz89a-guile-3.0.9.drv
/gnu/store/71iwxfpw7sclz8awc8152k9v91m3m8db-guile-lzlib-0.0.2.drv
/gnu/store/ggixji8wm43c49yp679617r8ar8ks68z-gzip-1.12.drv
/gnu/store/jday1gpvdk3ccf034vcja567bjp0n4z1-glibc-utf8-locales-2.35.drv
/gnu/store/pi1wxc4xipdhd1b5lan2sqn2xb7fvbbw-module-import-compiled.drv
/gnu/store/pl3x8fgz6n6d59s9p0a8j6agpnkm3nnp-git-minimal-2.40.1.drv
/gnu/store/qzydqkda0j330lbg5flr1ivql0rkagma-guile-gnutls-3.7.12.drv
/gnu/store/xgxx9fp1w8f27dphcgwmlgdycvai4lm5-tar-1.34.drv

Derivation details

Builder/gnu/store/g8p09w6r78hhkl2rv1747pcp9zbk6fxv-guile-3.0.9/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