/gnu/store/kbyfi2j67am5qlcdvcw4g6yjwx9ip7jy-
agda-ial-1.5.0.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/03m4j9qyr7lq2m3m6sv67hc26lmp6pzy-
glibc-2.31.drv
/gnu/store/1x4fhf06bpr64d74hliq40qdy3wa7rif-
module-import-compiled.drv
/gnu/store/24dx1rrfkvz7d5kn92glrm7icc7sdmzz-
coreutils-8.32.drv
/gnu/store/47qy2f9xj4scc57sm5hpz2nxn1kvnga0-
xz-5.2.4.drv
/gnu/store/799sb1fzy20kyjby3pli1zkhxydap98v-
gzip-1.10.drv
/gnu/store/8g47imygjjrgkqyxd5ws9awzhlhwp2m3-
binutils-2.34.drv
/gnu/store/a75mbkicp5nkabhdhd76bgvv3sl573by-
gcc-7.5.0.drv
/gnu/store/arkrmr7r69bnyg1z19caw4chxg4v01by-
glibc-utf8-locales-2.31.drv
/gnu/store/iqllla0dmpryfkyhcvmqsn8ykhnqq0jq-
guile-3.0.2.drv
/gnu/store/jy5l46sgiffi5ml9vnnaklll8idxprq4-
linux-libre-headers-5.4.20.drv
/gnu/store/k3gbwi3b8217ws5nz01jnixr1v2kk4p1-
ld-wrapper-0.drv
/gnu/store/k52rxafnzjdm8m80fi4in2jm3d0v50ac-
sed-4.8.drv
/gnu/store/k9whqjy1glzlhzfzcjqda2gd8zhilgwa-
gawk-5.0.1.drv
/gnu/store/m6m587rfxj308bs52jhwhjrdv40b9yaa-
bzip2-1.0.8.drv
/gnu/store/maqzlq58j8bcnsc58qqgymfvcpwh5b0x-
diffutils-3.7.drv
/gnu/store/n9rqkgqszj91bvskpg2a4pi22dmgsc1b-
bash-minimal-5.0.16.drv
/gnu/store/nixnhl88gp79viq0i1m96anwv6sfj9n6-
agda-2.6.0.1.drv
/gnu/store/rdjrpy8sll75q4jfbwx7spl5qh6wl0p3-
patch-2.7.6.drv
/gnu/store/sgqc7svb6bf3q8j6m0n6ax7mp65rcrn3-
agda-ial-1.5.0-checkout.drv
/gnu/store/wvl2xb7lvk9izgqdimn653pab8c3h7d2-
findutils-4.7.0.drv
/gnu/store/x67j382hrjv8h9j9r0slf1jgvvw3dh1a-
file-5.38.drv
/gnu/store/xagxlqzx53320d7m9viyimhrapzv23m8-
tar-1.32.drv
/gnu/store/zr97la7ilk779qcwfp83s6v4388ps3j2-
grep-3.4.drv
/gnu/store/zrmrm6454fwzir5vhqvkw66g19gz3kif-
make-4.3.drv
Derivation details
Builder
/gnu/store/x3gq648qnfnla7nppyfjvj62s2i8y7rl-
guile-3.0.2
/bin/guile
System
aarch64-linux
Build status
Scheduled
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/9wdqhjyp6j1vik87nkgdbyqw91rsam17-
agda-ial-1.5.0