/gnu/store/b0cmkfcrkmd3qkj10nlpbvmic84588nr-
idris-1.3.3.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/01ri4cgn9a7w2adwcj66hhh2ms5i4ws1-
ghc-safe-0.3.17.drv
/gnu/store/0dg4ask6d0zkldy30hzdbfv6rx1lhb1v-
bzip2-1.0.8.drv
/gnu/store/0g8n78sz6751i719759bdfy6rvp7xqyx-
ncurses-6.2.drv
/gnu/store/0z7q5knvvdmyjdnilnnv4cak47rf170c-
ghc-code-page-0.2.drv
/gnu/store/0zn8iy4zmldm1rdspxy1b4xzs6s7c5rl-
ghc-ansi-terminal-0.9.1.drv
/gnu/store/1067bmvj12x13jg5b5hgxa0gy54s34ca-
ghc-fingertree-0.1.4.2.drv
/gnu/store/1b479cmn82a5y03j7a6yzf1yv0s35rps-
gzip-1.10.drv
/gnu/store/1l9i0yykmqwnx0082an7xi219p5k2q30-
ghc-optparse-applicative-0.14.3.0.drv
/gnu/store/1lad0wpghc5s2pdfy15bznn7zkmvvcxh-
ghc-8.6.5.drv
/gnu/store/1rm0c6f15l592r7jsznilnz73vb7phz8-
ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/2xi5jk6nbyzangc7zjfp0cf6i7lpyyci-
ghc-cheapskate-0.1.1.1.drv
/gnu/store/396dpa3abvqia41wm0myv968v623ahmz-
ghc-blaze-markup-0.8.2.3.drv
/gnu/store/3qrkz1pig4hkzd4aa05291rfar2c2pcc-
ld-wrapper-0.drv
/gnu/store/40mdb95s71s9q9jz75256gqgrhbv49fr-
ghc-libffi-0.1.drv
/gnu/store/4wivpn2wkw6sq14k12v8f83mdiqq19gr-
make-4.3.drv
/gnu/store/4xzl6mimkdi40f0y1z75wgf0mdcm7nl1-
ghc-tasty-1.2.3.drv
/gnu/store/510cjqmva60fy8ww1v0y285qb63r1kw6-
ghc-ansi-wl-pprint-0.6.9.drv
/gnu/store/536sj125ia0sv957yiwgmlrc11i8yrsq-
ghc-ieee754-0.8.0.drv
/gnu/store/73xlshxr5kdcg8p55dj80wy86nxcqbcz-
binutils-2.34.drv
/gnu/store/79r3rvd7sqjhnc0z8gz3rjasjqkpnzs8-
bash-minimal-5.0.16.drv
/gnu/store/7phgx1bqgcds0kvpszfd43ay6indrb66-
ghc-split-0.2.3.3.drv
/gnu/store/7rs1b0x613nlzm26ziyp1i2yifm4hwbs-
ghc-utf8-string-1.0.1.1.drv
/gnu/store/86hkkvqrrci0ibq9h0xhvwbkvmff45vp-
module-import-compiled.drv
/gnu/store/8apjjzvgaiidngjkl56lf92ayzbp6cps-
linux-libre-headers-5.4.20.drv
/gnu/store/amh8nrx6c8cb9rnhchij6j4ncmxdsd14-
ghc-annotated-wl-pprint-0.7.0.drv
/gnu/store/b2w1mwkvgjvyicz26giihidvhxsvlma6-
file-5.38.drv
/gnu/store/bgsrcywk6c5vv70p598w17ir0sswda7s-
sed-4.8.drv
/gnu/store/c3g1ffh7nawi11n97zcgnhdq8j9xvyk4-
coreutils-8.32.drv
/gnu/store/cbcllrsw1icksrr3wn3czb4ssdj9z3ga-
glibc-utf8-locales-2.31.drv
/gnu/store/cjsd0gz5gx4cwqvx95jaqjl1wnkwjzax-
ghc-zip-archive-0.4.1.drv
/gnu/store/d5jpjqmkchxggigzyy8j87q6f3rpyqxk-
ghc-megaparsec-7.0.5.drv
/gnu/store/d747047mm7f10wpi9yqzl92dbvl7h7fg-
ghc-terminal-size-0.3.2.1.drv
/gnu/store/fc2h9rs0mvny71ii4vwxn10waih4fklg-
ghc-vector-0.12.0.3.drv
/gnu/store/hv9nd3nc2mmy8n4fmyj452lmi7p48ma3-
idris-1.3.3.tar.xz.drv
/gnu/store/i43vk4k342jrq7vc7pc4hpb39p78q864-
patch-2.7.6.drv
/gnu/store/i6vdh4dgjq63ycr5r4jb8jjc5jz2mrvd-
xz-5.2.4.drv
/gnu/store/ihsjimldw11nq1xi95s4sqq0n9iw1arv-
ghc-blaze-html-0.9.1.2.drv
/gnu/store/jgj3gyv295dy6n2nxpfdq47d78d4i802-
ghc-tasty-golden-2.3.2.drv
/gnu/store/jw31cxccw24hx5bfplbdcakdd0xr1w3p-
perl-5.30.2.drv
/gnu/store/k2xcf94wln14pnnqvnhp7x23p5nr718q-
ghc-vector-binary-instances-0.2.5.1.drv
/gnu/store/k51cr17zf0bs9qlm3ppwy44w3i81v0hq-
gmp-6.2.0.drv
/gnu/store/km4zncax6d9winc69jw9wypgawbnzg4s-
diffutils-3.7.drv
/gnu/store/kv04zcf5h8awkcz8g84bsi4177xwyfyx-
ghc-base64-bytestring-1.0.0.2.drv
/gnu/store/mach57n63mqqim1sr8kwrwi7dvlxhvfp-
gcc-7.5.0.drv
/gnu/store/nx1nvwh5vv2z8dibgcckvngiwgsyzldj-
glibc-2.31.drv
/gnu/store/p58lpm6ks7hia0w5df5xq3xqrha3s1wk-
ghc-unordered-containers-0.2.10.0.drv
/gnu/store/pc7l3k34g49595c64zh9fw9smddnaj5p-
grep-3.4.drv
/gnu/store/pfwfq1828r2043mi381knqmhi9wik4fh-
ghc-fsnotify-0.3.0.1.drv
/gnu/store/rnvl4ydfd476db0pdgjzxhjsslz16mz4-
ghc-async-2.2.2.drv
/gnu/store/s8ghlvcsnl8rznfprmzx60kfjdl852fg-
findutils-4.7.0.drv
/gnu/store/smrbggxx7w4l96l2a2qs69srnv4c88jr-
tar-1.32.drv
/gnu/store/spwnpq5l9k2094782hzzsz423bcrah2z-
ghc-tasty-rerun-1.1.14.drv
/gnu/store/v2xqy1399i706qwk30szpadr6ahkivas-
ghc-network-2.8.0.1.drv
/gnu/store/vfh0j4gs2k7icj4aim6kbvz4rv90iw7b-
gawk-5.0.1.drv
/gnu/store/xh4p0kfp0bc3xpl47y17mxdgcqz12ijy-
ghc-uniplate-1.6.12.drv
/gnu/store/y46bkzy3375q6wih6h1g4f05nj4brgfl-
ghc-aeson-1.4.5.0.drv
/gnu/store/yc8d3wi7jx87asbhyci628a9648qpahh-
guile-3.0.2.drv
Derivation details
Builder
/gnu/store/zslki807w05y73wbpnszxpz44fl2yn8b-
guile-3.0.2
/bin/guile
System
i686-linux
Build status
Failed
View build on https://bordeaux.guix.gnu.org/
Succeeded
View build on https://bordeaux.guix.gnu.org/
Succeeded
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/xpzaggaysxa1m5vjlsz9ndvhv3ysvp58-
idris-1.3.3
/gnu/store/c83i5xnkf2gngbnlbcaa2lms2g2d3xkn-
idris-1.3.3-static