/gnu/store/ywmf6nx0bjij48pbxv9kinirpia2jjw7-agda-2.6.2.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/0pk7pgg2can7rqylhlwcxcwpybxjk6gs-Agda-2.6.2.tar.gz.drv
/gnu/store/0vh2rcmhyzk9j5y5bdzywsd8zd9kjwm1-coreutils-8.32.drv
/gnu/store/256668rvq4yn4rna152i0skbm6cvhkbf-binutils-2.34.drv
/gnu/store/34dj9yyfpfmvga6ki4y5ipm0535x5bwl-ghc-equivalence-0.3.5.drv
/gnu/store/374k3hd9q9wbimxn85ixzxkgiip1azmq-ghc-gitrev-1.3.1.drv
/gnu/store/3bwkjkymipgm1z0pvqjcl0y384skpycb-gcc-7.5.0.drv
/gnu/store/3xqandxc5hdhbsfsd8zcbl5f7x00x8f1-ghc-regex-tdfa-1.3.1.1.drv
/gnu/store/409hvlck808r16qxybqar12n1pgfcanh-ghc-zlib-0.6.2.3.drv
/gnu/store/4vym60m847fi2awyh9d4n6ipb13xy6h4-ghc-hashable-1.3.0.0.drv
/gnu/store/550izav9k6nz0sg5n6h08987jr9myy0j-ghc-unordered-containers-0.2.14.0.drv
/gnu/store/5hjvzyddd7m5hc4zlhd655cbm5hgm27b-bash-minimal-5.0.16.drv
/gnu/store/5k1k6ss0fw40h3k5a5adip1lyyhamsld-ghc-happy-1.20.0.drv
/gnu/store/5vmsiy52f2211013z1gb26qjaivcjgmw-xz-5.2.4.drv
/gnu/store/7594rxgxswg0c14z9y1r8b3mb51nbl53-ghc-8.10.7.drv
/gnu/store/82w40msgnjkj7hwikqv8yzp3wkklqn37-ghc-split-0.2.3.4.drv
/gnu/store/954swj5aczv05n05agwhz2z0dsq8j624-ghc-aeson-1.5.6.0.drv
/gnu/store/99wdjpvgvcqvj25q3hphil6wymi8xrkl-glibc-utf8-locales-2.31.drv
/gnu/store/9p64m27299l8q8vvz4wmyn0l0ws3jgyf-patch-2.7.6.drv
/gnu/store/bf3dm3lzjqryxn61nzzm7hphhaskz423-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/bfbk7yf0vqg5zcwniv0p09vb9axkxpf9-findutils-4.7.0.drv
/gnu/store/bwi00pibk991chznsn37rq2zkbvspcjg-grep-3.4.drv
/gnu/store/d44hnigk81b9k0jqdn6zincbwvv5al5s-ld-wrapper-0.drv
/gnu/store/dn1wb3fmn59q0215hkk4qgy9iw2qpbmh-gzip-1.10.drv
/gnu/store/f82n02i2nkcc2a6f0hrm1x6cb4fd33a8-ghc-alex-3.2.6.drv
/gnu/store/gj8b68y8zxsfdgrr3354krydag0c4wjf-ghc-edit-distance-0.2.2.1.drv
/gnu/store/gv4aiq3hrphc7hdwjmc69hbak13482zf-gawk-5.0.1.drv
/gnu/store/hazjc83shvcjdgvprhlvr1hp89apgdzz-ghc-monad-control-1.0.3.1.drv
/gnu/store/hjjii533p6yxhw26h4avbslq34k04g2r-linux-libre-headers-5.4.20.drv
/gnu/store/hk5m0s6lijv29j76hnai0hx49qxmkk08-ghc-uri-encode-1.5.0.7.drv
/gnu/store/hzh81g5shga87p2iax1dnkpvv6byf935-ghc-boxes-0.1.5.drv
/gnu/store/jk1dmqq7kkmjac6lpjrizc38fsa37196-ghc-parallel-3.2.2.0.drv
/gnu/store/l482f3izh7rimpniai5zxl2c9rqg3b4f-file-5.38.drv
/gnu/store/lisrc4l2dxykswvnl71sds22azq91kdy-ghc-case-insensitive-1.2.1.0.drv
/gnu/store/lxbwmqxvnlbq3ffp2xr9zhcm5wwg0wn0-module-import-compiled.drv
/gnu/store/n5cy1j3afx1yddm7sw8zbg3cfb5kcy5m-guile-3.0.2.drv
/gnu/store/nk8l11rqcyv1jzqxchj26h02rzngvfhw-ghc-strict-0.4.0.1.drv
/gnu/store/pzppz3s667383b2zb8gbb765ds2clsl4-ghc-async-2.2.3.drv
/gnu/store/r3rijx5la19ai7j67rzs79dxazqjn37h-bzip2-1.0.8.drv
/gnu/store/sflgjwfmhjsd90cjg5ynhw77bfm4ddcq-ghc-hashtables-1.2.4.1.drv
/gnu/store/w2han5r8h5nxvck3562byrapdqgfmgsy-ghc-blaze-html-0.9.1.2.drv
/gnu/store/x8l4z6rx0zlb868vrc7ni2krgbfynfxn-sed-4.8.drv
/gnu/store/xnhn412dr9yjvawamc16n7xcma981nk5-ghc-data-hash-0.2.0.1.drv
/gnu/store/ydkj5svj4k9c4prd3vlpgnin1n193g6x-make-4.3.drv
/gnu/store/z790gwc3rw34zx8l9kmmwfkzz65709ph-diffutils-3.7.drv
/gnu/store/z9bk6l5rgd5r24cyrws0hc0v86pg7cff-tar-1.32.drv
/gnu/store/zfn57jd8kayb59cyvv7sbv520x9i1v07-glibc-2.31.drv

Derivation details

Builder/gnu/store/0m0vd873jp61lcm4xa3ljdgx381qa782-guile-3.0.2/bin/guile
Systemx86_64-linux

Build status

Succeeded
View build on https://bordeaux.guix.gnu.org/

Outputs

File name
/gnu/store/2s01nprw4a76cd1vpby5hyfk1wwsvqy5-agda-2.6.2
/gnu/store/5pva9r5raxc80rv9qg19nsazm3isgj1d-agda-2.6.2-static