/gnu/store/4h73q7bx68b31mq0y3d4yn00r0f68bdk-agda-ial-1.5.0-checkout.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/2xd9kjwgy3dcgk18ddrlr0gbfzgb0v4v-tar-1.32.drv
/gnu/store/8da2dx7ph71i71z73nklira2kl45i3ka-git-minimal-2.24.0.drv
/gnu/store/cawzwl06l18y1v82lr24q451rh145mcd-gzip-1.10.drv
/gnu/store/d9hf5axhzvjjlpn09ia62dn4n722afsl-guile-json-3.2.0.drv
/gnu/store/dbx0612s43lb76xb210g8x5w3wbvfbba-guile-2.2.6.drv
/gnu/store/f4b5qpvb2p9k06kxps4ab2gngdxwphim-module-import-compiled.drv
/gnu/store/mq82i45xhw0lwy4axmp50nzxhnh3x7fr-gnutls-3.6.9.drv
/gnu/store/y9jlcnkhja7gsllshgpqg9clvh26y0gg-module-import.drv

Derivation details

Builder/gnu/store/vhz3fmjavf5iyih4zfjvfgj3g8xahlv6-guile-2.2.6/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