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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/1zcixilrrc31m6mkjrzl11kdjyv0qh7b-tar-1.34.drv
/gnu/store/376yd2acmig0xnxiq6067n05d2c0vwg9-glibc-utf8-locales-2.33.drv
/gnu/store/4dcyy2p83cwc8mcrmbz5jgkvqv3bibp2-git-minimal-2.36.0.drv
/gnu/store/7fc8cf7dxnn5s78r0v082j2pg01yyxw9-module-import-compiled.drv
/gnu/store/k752xs38lmd6pgh80rkqaynpnnklrk1j-guile-json-4.5.2.drv
/gnu/store/kl8jlm499wa1dmjxl61qha3d96fw0ani-gnutls-3.7.2.drv
/gnu/store/niwbba9afdmggzf10n4jpslzx74i357m-guile-zlib-0.1.0.drv
/gnu/store/rg2jbzp7g5lbvxsczzby1snzl8jk7c9g-guile-3.0.7.drv
/gnu/store/zsdmj5g3hnips6ad9s6nhfczmc3xncgb-gzip-1.10.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