/gnu/store/pd0wj1vy5ah9m9hpkgb5sdmc80cnh5ns-
agda-2.6.2.2.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/01mqx581dqhw947rzj2x83cb4c3aafq6-
bash-minimal-5.1.8.drv
/gnu/store/0i34znhwb9j19f65lyd302cqzma5bywp-
gcc-10.3.0.drv
/gnu/store/0vmqb9mba28dsj2dylqi7bliqyg7a336-
make-4.3.drv
/gnu/store/14fzg4dzg62zi2n1iac9rx3x71917mav-
guile-3.0.7.drv
/gnu/store/19vsi18lqgzll0ni7c9gkbqyjk1s9dws-
ghc-8.10.7.drv
/gnu/store/1xdiky9y1bqqxcsqpfn171y13jinmkps-
ghc-happy-1.20.0.drv
/gnu/store/2nxgscz5k760yikxj7w6cqncvsg2a4m6-
findutils-4.8.0.drv
/gnu/store/3ispc5sxj0j9rz2jyy0zr73is9a9clxm-
ghc-hashtables-1.2.4.1.drv
/gnu/store/3kpm07rxyimdfh48xjv68y8p9w9z8wrx-
ghc-edit-distance-0.2.2.1.drv
/gnu/store/4pkh2qadk9q88ay4f4xbpz3zd1qfndrm-
ghc-strict-0.4.0.1.drv
/gnu/store/55qmvwfdf87s2474gnsd56p2748f0p3g-
gzip-1.10.drv
/gnu/store/76ncc0xr7khrmmhisi2a16bqx2ppvkk2-
sed-4.8.drv
/gnu/store/7i72a65x74mi0krihyjril5qgzi3bwri-
tar-1.34.drv
/gnu/store/7sy2q025w6s9yjz8yphk0xvcynjfjdkd-
glibc-utf8-locales-2.33.drv
/gnu/store/95756h12bvkb8w68d1rggl6qf06n6jyr-
ghc-boxes-0.1.5.drv
/gnu/store/95jmwkfn5267xpxwsib2zbwjs2gg1qf4-
ghc-zlib-0.6.2.3.drv
/gnu/store/9k09qj5mkaazpffqmjcrav1xxr8zyccm-
bzip2-1.0.8.drv
/gnu/store/9qadkkfngcwgcsmdp238dg88w9ln2kcp-
glibc-2.33.drv
/gnu/store/axy4vvf47l6jnvwl4kxjh011va1icnlz-
ghc-data-hash-0.2.0.1.drv
/gnu/store/b5cbj1apwjxx2c1zlf8wg41igrhgmbi7-
xz-5.2.5.drv
/gnu/store/cg0p4bc15cbi1qqmcjb35b88panaaqfc-
ghc-aeson-1.5.6.0.drv
/gnu/store/cshwp0ra9sgj2dvg2xc7q8wg9a00lz1g-
ghc-case-insensitive-1.2.1.0.drv
/gnu/store/fyarvlvf3h67xskmpcgw9ghbi59vzf20-
grep-3.6.drv
/gnu/store/grjpabvc1g6m7h4vxk7dcspa9ixdqkah-
binutils-2.37.drv
/gnu/store/h8klmkh8d16kjv7hz4px0x8gi05hnkys-
ghc-split-0.2.3.4.drv
/gnu/store/hahygdbxhgi3a659dliscbxb3anv7i57-
ghc-blaze-html-0.9.1.2.drv
/gnu/store/hp124rn6hjrp3d4mf8xids5m617l8ry8-
module-import-compiled.drv
/gnu/store/in3g4167qcf3dha7dkk4295r387pnn5i-
ghc-regex-tdfa-1.3.1.1.drv
/gnu/store/j5ypmgjxlphgnxkn1rkbv7w9ll1mxf6v-
Agda-2.6.2.2.tar.gz.drv
/gnu/store/kh9y3apw042ym1xch70yr2ggh5cpm6dm-
ghc-hashable-1.3.0.0.drv
/gnu/store/mfr346hrmg1297khzkwkylp6ykg6pb7j-
ghc-gitrev-1.3.1.drv
/gnu/store/ml1drv8szilrymkzicw9s06af8f2554v-
gawk-5.1.0.drv
/gnu/store/nnxgsdxcp21mqcr6f01fa2lvkfgvlps0-
ghc-async-2.2.4.drv
/gnu/store/nqzvcazy1ny5y27dmppciadll7x7i4il-
ghc-monad-control-1.0.3.1.drv
/gnu/store/p8dzmj28f6b1ww35np24q47n9v2rq1jc-
ghc-alex-3.2.6.drv
/gnu/store/pa249jp16bkf21qakl864df2n6r42pqg-
ghc-equivalence-0.3.5.drv
/gnu/store/qmzzbf2fvfgz0v9s64k4w50pd0ivw7j1-
diffutils-3.8.drv
/gnu/store/qv9f6qwd0vsljwcj2x565wlqfb7vxjqp-
patch-2.7.6.drv
/gnu/store/vccycsz0gmxakmsqk32qk492nq1hgf0h-
coreutils-8.32.drv
/gnu/store/vw6jj0dkvwbipj257506zcbpszgnxxwb-
ghc-uri-encode-1.5.0.7.drv
/gnu/store/vymx4n48dgzh0hmp0isz4yicrh8bqp0a-
file-5.39.drv
/gnu/store/xsiny5v2y64a7npabnrgyh1myvgmz0r1-
ld-wrapper-0.drv
/gnu/store/xwh1h1mdzyh87j87msj9didafwx651i1-
linux-libre-headers-5.10.35.drv
/gnu/store/y55shcgjzlmwy82x6nb1nrs4wcwsm2jw-
ghc-murmur-hash-0.1.0.9.drv
/gnu/store/y98kl2hbkzfwf7hhhpa6fwmhdqprqdqb-
ghc-unordered-containers-0.2.14.0.drv
/gnu/store/yrq0xv0ghhhi8z6pwppmdkmmnkg1hzaj-
ghc-parallel-3.2.2.0.drv
Derivation details
Builder
/gnu/store/7n5vpd85mgm1vi5jap51gnwfavxqf5la-
guile-3.0.7
/bin/guile
System
i686-linux
Build status
Failed
View build on https://bordeaux.guix.gnu.org/
Failed
View build on https://bordeaux.guix.gnu.org/
Failed
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/kbbv80hyb3wvxpbsqjpqb0d9f10gzhb7-
agda-2.6.2.2
/gnu/store/qs7c54w9di8czg2njaninjw9l2gczlm7-
agda-2.6.2.2-static