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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/ahqn2n7zc4zv4p7c8ayxrmpz3mnabnlf-gzip-1.10.drv
/gnu/store/b7pdymq2zsd1nxgziyl9zy354wx15jkn-tar-1.32.drv
/gnu/store/crfrnk0aldfh7cagad3bzd96n7jlpcx5-module-import-compiled.drv
/gnu/store/ixvfk3g1x4s64qr9fcjcmkzdxviich6j-gnutls-3.6.12.drv
/gnu/store/k1iyjajklnjhnp7cjlys7ldnlqi75crj-guile-zlib-0.0.1.drv
/gnu/store/ly9gzpnmffn4vn71jcm0dlkpm0317nrp-guile-3.0.2.drv
/gnu/store/p8j9dw921v9wisj4v8l252bmm36aph2z-git-minimal-2.29.2.drv
/gnu/store/ymhglyskczs99hrs30q6agk7d7ylhsd4-guile-json-4.4.1.drv

Derivation details

Builder/gnu/store/zslki807w05y73wbpnszxpz44fl2yn8b-guile-3.0.2/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