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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/1zcgz93wzl6791wa265xd3b21q3y5g1k-guile-json-4.5.2.drv
/gnu/store/67r5pw7j0nlh1m7iwk362rx1li6bx1hp-module-import-compiled.drv
/gnu/store/ahqn2n7zc4zv4p7c8ayxrmpz3mnabnlf-gzip-1.10.drv
/gnu/store/b7pdymq2zsd1nxgziyl9zy354wx15jkn-tar-1.32.drv
/gnu/store/d1vr42z8j6hbgmzaq5hxv2vwx9sb8b06-git-minimal-2.30.1.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