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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/4nr63xbkdrn4bagky24ndhdxl2i79iah-gzip-1.10.drv
/gnu/store/68bk4p30h0gi27i09vghg8p7na8x5if7-glibc-utf8-locales-2.33.drv
/gnu/store/6nnsh9547xf5m928q2r0741nxpajrb71-guile-zlib-0.1.0.drv
/gnu/store/pwkxa41z72nmgbhms6q4kv7i562acv23-gnutls-3.7.2.drv
/gnu/store/qcfgl40752hmshryw9v84y1w6jn3s6w4-module-import-compiled.drv
/gnu/store/rdisbmgprbsw34n66gwvka6dmmq0z855-guile-3.0.7.drv
/gnu/store/skx0mqgqlqwl66xispaj49wqhnailrnl-tar-1.34.drv
/gnu/store/v5fp55k6inxpjll8wbmzmi53qx77jami-git-minimal-2.37.2.drv
/gnu/store/vhd03pq7ar0ncwrck23103bzq0spv7s4-guile-json-4.7.1.drv

Derivation details

Builder/gnu/store/7n5vpd85mgm1vi5jap51gnwfavxqf5la-guile-3.0.7/bin/guile
Systemi686-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