/gnu/store/r7i617f595gwj26d2mmdi83hckrrp9ia-
idris-1.3.3.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/00g81l7b4dy1bm4c0w2drwxfpxyqi1jj-
ghc-megaparsec-9.0.1.drv
/gnu/store/09c40ij9xpj3vaaxc6gaypyd2zl69rar-
ghc-vector-binary-instances-0.2.5.2.drv
/gnu/store/10f5jbl8ndqni9ic2r5ykg0nakmdrmja-
ghc-unordered-containers-0.2.14.0.drv
/gnu/store/1ywasds4bc479nl0fcc467hpc92qga3r-
ghc-regex-tdfa-1.3.1.1.drv
/gnu/store/1zcr255w8la3p3sbmg1lybk4ci7pwdqn-
linux-libre-headers-5.10.35.drv
/gnu/store/24bbyxq198gr6h8mng017yygb0c9131g-
gawk-5.1.0.drv
/gnu/store/37gcz6i49v0ky04cj4jc7g8y7vcnwhcl-
bzip2-1.0.8.drv
/gnu/store/3b9bz6rkijz0n0sm53j6f4bjjysm40wd-
ghc-libffi-0.1.drv
/gnu/store/48az7g90baly2q0ii40sxscs39s3x8i6-
diffutils-3.8.drv
/gnu/store/5d3gzfnaff9zy8av5grlaqqfww96sf0r-
ld-wrapper-0.drv
/gnu/store/5k6sj3w29qxj1pbpwgi79rf5913vvz0a-
patch-2.7.6.drv
/gnu/store/5rpqhz6r9rjrwm4cpmw5v9q813js5fj8-
ghc-ansi-terminal-0.11.drv
/gnu/store/5s829blr08kla7a11cff3bn7j9xq90pq-
ghc-base64-bytestring-1.1.0.0.drv
/gnu/store/6h79i5qyxq3hkhamw9cc5i2q06kih1na-
bash-minimal-5.1.8.drv
/gnu/store/7p1r2svl6h2hj6ipivzx17w0vrwi1ry9-
ghc-blaze-markup-0.8.2.8.drv
/gnu/store/88wqb47xfgybzxj2xjw86x3ks1rhf2v4-
ghc-code-page-0.2.1.drv
/gnu/store/8ijky4mz9nrsfsbra0ycwwg28d34b2k9-
grep-3.6.drv
/gnu/store/8sxsjagqx4kj1r7fqyf2cqbnkg36px11-
findutils-4.8.0.drv
/gnu/store/9dss52c4y5m4brx4lg1p5afk6k7gp6a2-
ghc-uniplate-1.6.13.drv
/gnu/store/9jp3m8xciyfkg7p5qw48fmz0a0yvbw7y-
xz-5.2.5.drv
/gnu/store/ah7w4an3f4j9hqjplcrk7b4vwz6gdpas-
glibc-2.33.drv
/gnu/store/aqdla1awj6z4d28p01vcwklqy6jzwam8-
make-4.3.drv
/gnu/store/bc5cm1g1b884nvgiysq8x0i0wxplkqhl-
ghc-8.10.7.drv
/gnu/store/biffdgwdlpdxrpn2shanflazaavjlmwg-
ghc-terminal-size-0.3.2.1.drv
/gnu/store/bl3r8svdpbnbxq5khc5yrx18ypinqax0-
ghc-safe-0.3.19.drv
/gnu/store/ci7ppa19axqxr4qal237gwhxq6dwhqd8-
ghc-ansi-wl-pprint-0.6.9.drv
/gnu/store/cmm2rpv478ckvdp8yrq3hj16jcbhq8q7-
ghc-optparse-applicative-0.16.1.0.drv
/gnu/store/dz3x0aw6bzkc0j3y6na8f7lfrlbvl3sc-
sed-4.8.drv
/gnu/store/fhix7vlgn063w9448sw31xydq79ycsvk-
ghc-async-2.2.4.drv
/gnu/store/fx8vi7yfy35npwsm2jrpirwakpidsxaw-
ghc-utf8-string-1.0.2.drv
/gnu/store/g30c9fap2djmfx35fjlgpsghcb1qrril-
ghc-annotated-wl-pprint-0.7.0.drv
/gnu/store/gjpp25smbdn2hj2az4mzdc3015s35qlg-
ghc-tasty-golden-2.3.4.drv
/gnu/store/i5x92sy5gcrl3xh3j6yr7wdcjxwg15h7-
ghc-fingertree-0.1.4.2.drv
/gnu/store/j3sxrgx3mzgkydgas9ds5kfnd5ak9cpm-
ghc-blaze-html-0.9.1.2.drv
/gnu/store/jdfswsf7xsdn3fvcld03q58bndvcq6l4-
idris-1.3.3.tar.xz.drv
/gnu/store/jyz5ya2r9f35k3a35bzjm3cr4hcgij53-
binutils-2.37.drv
/gnu/store/k79fw1rnclmw31xyp41fkgrs85r3l5pq-
tar-1.34.drv
/gnu/store/kss3acdlsicf79sdp4d7vj4xq5g6zlgi-
file-5.39.drv
/gnu/store/lvzfiygfhggsigxdgv8zh2sapj9w4933-
ghc-vector-0.12.3.1.drv
/gnu/store/m0nbbk3vgl637ibrz7z72r5v0dkswpi2-
guile-3.0.7.drv
/gnu/store/ms69i9f86vc47nr74asfx5bq89yf9f3h-
perl-5.34.0.drv
/gnu/store/nr556pyg7xrlrafcsa4wp2rnqzxvf6bs-
ghc-ieee754-0.8.0.drv
/gnu/store/pdycsb7mnry8dwsdm7vy57izsd38his4-
gmp-6.2.1.drv
/gnu/store/qbvja07lah7dlr3q9w93f5pwb4wy04zx-
gzip-1.10.drv
/gnu/store/qk2x8dmp2n2k9p2m53kpskpz7az3mnjf-
ghc-tasty-rerun-1.1.18.drv
/gnu/store/rnpli1zbqnrgg9a0w7h1z9am3rk64a7d-
coreutils-8.32.drv
/gnu/store/sazivg5zarqn31z4cyy4bqzp75fzrz6k-
ghc-cheapskate-0.1.1.2.drv
/gnu/store/v1v5y9mir0sil90kaxylnd2kpp2a20q6-
ghc-zip-archive-0.4.1.drv
/gnu/store/v61yxsm6w0p1qjxli4k9ji87dcx45gmw-
ghc-fsnotify-0.3.0.1.drv
/gnu/store/v82p083v7ni2g6dp0ily2mdg160chapg-
ghc-split-0.2.3.4.drv
/gnu/store/vj7irpg2hwswqmcvq33g4s03r98px7j3-
ncurses-6.2.20210619.drv
/gnu/store/vp3shg6xmjcj7f12cxk9g421r91hajac-
ghc-aeson-1.5.6.0.drv
/gnu/store/xpwy8vpvpm478idpr8c7bawb0jvcl3kr-
gcc-10.3.0.drv
/gnu/store/y5xrqd168dz0yfsj6dz3w0b8i5kxxliy-
module-import-compiled.drv
/gnu/store/yzhjz6cnz94djl2q7fqh1qhlkm3vhryx-
ghc-tasty-1.4.2.drv
/gnu/store/zb276skmn72m4nxcplfym9yyng8pczb1-
ghc-network-3.1.1.1.drv
/gnu/store/zh2adxhwgvqn8dddxc793mkwmfrdv9x1-
glibc-utf8-locales-2.33.drv
Derivation details
Builder
/gnu/store/fidl08nms5v63lkqv627zibxpd85zxqb-
guile-3.0.7
/bin/guile
System
x86_64-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/rrn5ypdnkjzb974c939dsdn4w4acrjdm-
idris-1.3.3
/gnu/store/qsra22b94v5cp6vr7ihmf2f6akqivdbj-
idris-1.3.3-static