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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/0hyvbzhpx48mnxc2mra9ddh9h5dfcbk0-module-import-compiled.drv
/gnu/store/1zcgz93wzl6791wa265xd3b21q3y5g1k-guile-json-4.5.2.drv
/gnu/store/9l51mdskfyz8r00jymsmj7lw43i47czj-git-minimal-2.30.2.drv
/gnu/store/ahqn2n7zc4zv4p7c8ayxrmpz3mnabnlf-gzip-1.10.drv
/gnu/store/b7pdymq2zsd1nxgziyl9zy354wx15jkn-tar-1.32.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