/gnu/store/d85ifcwvwdlc3rdfwvdc6nyham66fjzl-
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/1d1inx1d4gzf7xylqw9xmpg85k14mb86-
ghc-parallel-3.2.2.0.drv
/gnu/store/23zwnsg2pm64jfhflzdqg0hc9ll665di-
ghc-unordered-containers-0.2.14.0.drv
/gnu/store/29caxsccqmrrr3dg9kdhd5almq0b054x-
ghc-happy-1.20.0.drv
/gnu/store/2nxgscz5k760yikxj7w6cqncvsg2a4m6-
findutils-4.8.0.drv
/gnu/store/3g7ydy6b32gwxsrh3vs5q3ajpq6gny0g-
ghc-case-insensitive-1.2.1.0.drv
/gnu/store/45gp7m25iqpgi4mnkq4zsrnyrcfbnja3-
ghc-hashable-1.3.0.0.drv
/gnu/store/55qmvwfdf87s2474gnsd56p2748f0p3g-
gzip-1.10.drv
/gnu/store/5jb4ll5map7m7xp5y300vkhwcfb90rif-
ghc-monad-control-1.0.3.1.drv
/gnu/store/6i55smxndnzh6h3cfnqp6gx1bzbvj2dk-
ghc-blaze-html-0.9.1.2.drv
/gnu/store/70zm6qspws3hb4p17y489m48lbm9iwf0-
ghc-aeson-1.5.6.0.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/8imdis1f78zf5x24qzidvh25qfmrp2kz-
ghc-split-0.2.3.4.drv
/gnu/store/9k09qj5mkaazpffqmjcrav1xxr8zyccm-
bzip2-1.0.8.drv
/gnu/store/9qadkkfngcwgcsmdp238dg88w9ln2kcp-
glibc-2.33.drv
/gnu/store/a83pcsywwx58qpwmjix5gagx1ay16fs0-
ghc-murmur-hash-0.1.0.9.drv
/gnu/store/abkpi7yy1kwngyvvfgka6z87brw5cz4v-
ghc-edit-distance-0.2.2.1.drv
/gnu/store/b5cbj1apwjxx2c1zlf8wg41igrhgmbi7-
xz-5.2.5.drv
/gnu/store/c0rjp3sk8m9jxx9dvav0n1yx91psf9p8-
ghc-zlib-0.6.2.3.drv
/gnu/store/d8xyjpiwxnhfcp4cbabazslnrvpng4cl-
ghc-equivalence-0.3.5.drv
/gnu/store/fyarvlvf3h67xskmpcgw9ghbi59vzf20-
grep-3.6.drv
/gnu/store/grjpabvc1g6m7h4vxk7dcspa9ixdqkah-
binutils-2.37.drv
/gnu/store/haibfidhj9aswc4q4jxs7jy7hfd5v7s7-
ghc-regex-tdfa-1.3.1.1.drv
/gnu/store/hp124rn6hjrp3d4mf8xids5m617l8ry8-
module-import-compiled.drv
/gnu/store/j5ypmgjxlphgnxkn1rkbv7w9ll1mxf6v-
Agda-2.6.2.2.tar.gz.drv
/gnu/store/jnl1sazkl9dnbkqjhgz27b490247ys36-
ghc-alex-3.2.6.drv
/gnu/store/k8q511livasbij2prdh32ggnxg9nwh0n-
ghc-async-2.2.4.drv
/gnu/store/khnyy9cvawrg25vsqv26rr3398zpq89w-
ghc-8.10.7.drv
/gnu/store/mj462zbfx2g9v50kj296h87268zdbybs-
ghc-uri-encode-1.5.0.7.drv
/gnu/store/ml1drv8szilrymkzicw9s06af8f2554v-
gawk-5.1.0.drv
/gnu/store/mv1kza7cxpq5kjb4xs4mww8kw9kxx67s-
ghc-data-hash-0.2.0.1.drv
/gnu/store/nm7yl8ld414v8jhvi1jw0fph0r3sxyb8-
ghc-hashtables-1.2.4.1.drv
/gnu/store/qga67iyydygvjniy015nh60hvr8yfx16-
ghc-boxes-0.1.5.drv
/gnu/store/qmzzbf2fvfgz0v9s64k4w50pd0ivw7j1-
diffutils-3.8.drv
/gnu/store/qv9f6qwd0vsljwcj2x565wlqfb7vxjqp-
patch-2.7.6.drv
/gnu/store/snw4cifslh2s50lkrryl4b3vymd4gic3-
ghc-strict-0.4.0.1.drv
/gnu/store/vccycsz0gmxakmsqk32qk492nq1hgf0h-
coreutils-8.32.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/yjy02bqgp65f6g0m4qlb7bvabirgmqsi-
ghc-gitrev-1.3.1.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