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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/6q4bjk2k1cjfrdkla5g36andv6gnn9hl-guile-json-3.2.0.drv
/gnu/store/cvzkkgpnw08120srvb1pmbrh1pgipwbs-gzip-1.10.drv
/gnu/store/g3qrvjr6xb87xsd6awqg121wg63xlqha-gnutls-3.6.11.1.drv
/gnu/store/i7psg56fp9xgs9rmdsnrmcdnnkv75kaa-guile-2.2.6.drv
/gnu/store/qj3fzkqjpdavld1fj1b6bb2221igqspg-tar-1.32.drv
/gnu/store/sd0ja5fy1q0mvibdk25vh4jyzik9g3i6-git-minimal-2.24.1.drv
/gnu/store/wfqj4npgb6vhbak5qy8piangihs5j0xc-module-import.drv
/gnu/store/ygffxr6kk2c02z6vfmw56vq1x6sg8isq-module-import-compiled.drv

Derivation details

Builder/gnu/store/nan3xm2c419q60b25jil2lrgzkkl3na2-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