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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/3x6ysifk4fqgq5rx3wl4vyvnhnb51kl7-git-minimal-2.27.0.drv
/gnu/store/c2mvpcd73dlky9npdgdyry6grr3gxici-module-import-compiled.drv
/gnu/store/fnqzcd2hiv03q9pk4pn4i8jks2c4yf99-gnutls-3.6.12.drv
/gnu/store/iizy3lafg6mczg78x8zbplxn4chf48yw-gzip-1.10.drv
/gnu/store/isnnyjpg8g3n2yv9lsc6080vmm0ws14a-module-import.drv
/gnu/store/rr3x4h4imgrkcj3nl76zsiai2d0ikwl5-guile-json-3.5.0.drv
/gnu/store/vkn9rk0w0hj116dqhbwi9clycb7yl8k1-tar-1.32.drv
/gnu/store/w1cmkdbb82g28k8pci55pj6jckahpclz-guile-3.0.2.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