/gnu/store/8h13facyrprznzc18ixl79wkxfq89y82-
agda-ial-1.5.0.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/1kj5xx2zq7ai8knv6j0q3p03wz99c6ns-
agda-ial-1.5.0-checkout.drv
/gnu/store/2k445k63r7xh1f93skihg5dky2ixhq8l-
linux-libre-headers-5.4.20.drv
/gnu/store/3sy9in1qmwxd85g1d2465k1lwaljrlbp-
make-4.3.drv
/gnu/store/3x4y56j3333cpn1xicprq4n924y5fy2s-
binutils-2.34.drv
/gnu/store/6h5hp5kbnf38fcw56pchj10kfi86bg8a-
gawk-5.0.1.drv
/gnu/store/6hpmkkx03m9kv9xfrln6wpcl131fn14s-
tar-1.32.drv
/gnu/store/czixn0aq6kipf5gbj5y0123h9jalvqwr-
bzip2-1.0.8.drv
/gnu/store/dzy1s5bz5ph4ffryjgabb207m17z3fhm-
glibc-utf8-locales-2.31.drv
/gnu/store/fspxbj30ibygqn72zzmmakvkpq0rrag1-
agda-2.6.0.1.drv
/gnu/store/h0isabki773mqmm8z28rmb8d4waxdzb3-
coreutils-8.32.drv
/gnu/store/h55wfs803lj8nv0hrzvkd1zpvdm19iia-
gzip-1.10.drv
/gnu/store/hiwshlpi0m96alsi568adwa3b6ssw5pv-
sed-4.8.drv
/gnu/store/j5x9q9rii8sz2p7s1nvi014yam1lw632-
guile-3.0.2.drv
/gnu/store/mbbx5gdp01jh9fdfnzihpls3dni3khqc-
ld-wrapper-0.drv
/gnu/store/namlywf4v014381z55jgi4wvcr6xwq9n-
file-5.38.drv
/gnu/store/ncz226r51avbd33yzxiv28z8zhzy0zgw-
patch-2.7.6.drv
/gnu/store/nmvjr75ldd6qkaw13y7yzmqk288rn6pc-
xz-5.2.4.drv
/gnu/store/pb0rpvb4c4xr1knbrhb6k4xn3kz5smjh-
findutils-4.7.0.drv
/gnu/store/rfx3ryjc4wn2a9f3p4qb8lqkpi5s048r-
gcc-7.5.0.drv
/gnu/store/wp0gcydir135pai5fvf4jdpabk61mi7f-
glibc-2.31.drv
/gnu/store/wzzjxz43x1b3vmvp8y3n51nn9j28v40b-
grep-3.4.drv
/gnu/store/yiqlhq54vgmi7df96ssdzln92c5vbivm-
bash-minimal-5.0.16.drv
/gnu/store/z2c71kswl12wpfk7k99icd2z283zsq0r-
module-import-compiled.drv
/gnu/store/zqfchhgl0l0pj3rybhg3dgmgkyyscdfm-
diffutils-3.7.drv
Derivation details
Builder
/gnu/store/lgk876wh2bxxglplbwyymkx3sqzcbnk9-
guile-3.0.2
/bin/guile
System
armhf-linux
Build status
Scheduled
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/8nx5h3sl7c4gs3c2yk82s26911i0656x-
agda-ial-1.5.0