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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/2hccphyhccnw250rrv0q5pc86haskpc4-gzip-1.10.drv
/gnu/store/3nlcx00v6s5fvwymzl7dsqyrfr520q53-module-import-compiled.drv
/gnu/store/5d5mvhcn5rjhlbhz7ykaz1wqw6ij4d99-guile-lzlib-0.0.2.drv
/gnu/store/615dj5fk4bys58cij9w93drsy9i8fpjd-tar-1.34.drv
/gnu/store/6p8y5xqisfwb9cbbq4lppmkx3mrvjn9z-guile-json-4.7.3.drv
/gnu/store/7viwz1fnxhydhrd7v75hzhii3fpi9wwa-gnutls-3.7.2.drv
/gnu/store/gafsymizxnr8p5j7m3f88k8k8p6r157i-guile-3.0.7.drv
/gnu/store/jp33lzgy5l68a85bz6cxsqs0qrnlzrql-git-minimal-2.39.2.drv
/gnu/store/zhrr0q1mgjjjllr7yrqlmif5qsa8kaw1-glibc-utf8-locales-2.33.drv

Derivation details

Builder/gnu/store/1kws5vkl0glvpxg7arabsv6q9vazp0hx-guile-3.0.7/bin/guile
Systemx86_64-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