/gnu/store/8v74qgr99pp61c1wx27xla4mmflnk3q4-agda-ial-1.5.0-checkout.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/3ii38pybsnhcs7g7lglgwg48qzf6vnsj-git-minimal-2.39.1.drv
/gnu/store/9dmf3bjzwi301r84il5kqhf4kxbjvw06-guile-json-4.7.3.drv
/gnu/store/di3rwaziyvb0q6s53rs3p2rn29rlsk8v-guile-3.0.7.drv
/gnu/store/ficwr51b2835yv6cs354fjd11fxfdcy8-module-import-compiled.drv
/gnu/store/hg913qy6hzf6xy02sign3zd1104rz62f-tar-1.34.drv
/gnu/store/i2xs3ppphjvajbfb8sy83gxc0nlw2yzf-gnutls-3.7.2.drv
/gnu/store/p49x4zxyyd75by01jlrqryif8fikr2jd-gzip-1.10.drv
/gnu/store/v962r5w2kidwzajaia90k4zjd7p3vcqy-glibc-utf8-locales-2.33.drv
/gnu/store/yragdg84f3b6bg1mc7ci5id758xnsrpv-guile-zlib-0.1.0.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