/gnu/store/7ppj4aar4i2jg2zx3d02s1hpscv8m21w-agda-ial-1.5.0-checkout.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/364hrailljy49k7gd13k9rzzb2ia1ibi-gnutls-3.7.2.drv
/gnu/store/5nkcww64h6c2jc4dqb82577w9n4mcysw-glibc-utf8-locales-2.33.drv
/gnu/store/73f7pssbzdijdr425d0jr0mkf4g504lg-guile-3.0.7.drv
/gnu/store/9vigzjbfav7zqx55v35ibrl6j1i37fm7-git-minimal-2.36.1.drv
/gnu/store/b742cnnwm466bz1zdl5ddk45m55rslpq-guile-zlib-0.1.0.drv
/gnu/store/jqi9bbbl1ijwxpbnid9saqc76vy4r1qk-guile-json-4.7.1.drv
/gnu/store/l87zi9figx82dyd8z59v3lga7jmdghj3-module-import-compiled.drv
/gnu/store/qv89iqd02j9981ikl459p7ify96hiaaj-gzip-1.10.drv
/gnu/store/rg2yb5p4n9h7f0vnn2k9fb5llhsxsgcg-tar-1.34.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