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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/14fzg4dzg62zi2n1iac9rx3x71917mav-guile-3.0.7.drv
/gnu/store/1zl02zm07sa3psiq5q63vssmzzrhsh3j-git-minimal-2.36.1.drv
/gnu/store/5243afmkw8v0c6rmbnzcyp0bh2g1n1qz-gnutls-3.7.2.drv
/gnu/store/7sy2q025w6s9yjz8yphk0xvcynjfjdkd-glibc-utf8-locales-2.33.drv
/gnu/store/820i4ywbkkc5mp1q1yjcbkv4vfwbclqk-guile-json-4.7.1.drv
/gnu/store/ic199aqpzm1zwg6dmjhwhsh1bz9jlb5h-tar-1.34.drv
/gnu/store/k8ijs6q383zlm8acpyxhpxm0qm0xj1dm-gzip-1.10.drv
/gnu/store/m8ijvjif6nnn0mvqq7qq5c30y58gsakf-module-import-compiled.drv
/gnu/store/p2p574qbsphzkx81jc2xc9bl2d2fihsb-guile-zlib-0.1.0.drv

Derivation details

Builder/gnu/store/7n5vpd85mgm1vi5jap51gnwfavxqf5la-guile-3.0.7/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