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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/36vr1cfk9yb6bkizb8chvqirridlwp57-git-minimal-2.30.0.drv
/gnu/store/46iv3z1k5cbks54xhxq1nf76cdxij78x-guile-json-4.5.1.drv
/gnu/store/ahqn2n7zc4zv4p7c8ayxrmpz3mnabnlf-gzip-1.10.drv
/gnu/store/b7pdymq2zsd1nxgziyl9zy354wx15jkn-tar-1.32.drv
/gnu/store/ip91k3f3jvglyi7zg60ibfq2xbdqdxya-module-import-compiled.drv
/gnu/store/k1iyjajklnjhnp7cjlys7ldnlqi75crj-guile-zlib-0.0.1.drv
/gnu/store/ly9gzpnmffn4vn71jcm0dlkpm0317nrp-guile-3.0.2.drv
/gnu/store/r16ccrnrgbga0khxmipnljl57sz2f1c6-gnutls-3.6.15.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