/gnu/store/3ka7rhds0226kzdbs1av0cslyfzhla0k-agda-2.6.0.1.drv

Inputs

File name
/gnu/store/03rxdfj8mnlqsgxcpn0r80qvvnwdlq7g-bash-minimal-5.0.16.drv
/gnu/store/11b9rnr9rv6lg7w3x9zm0m3k7k2by1fd-findutils-4.7.0.drv
/gnu/store/27hsy10lxjfk6mlym0gak6fl5fvf6m2x-ghc-async-2.2.2.drv
/gnu/store/2i2jj0a94ximbr4fx5f5mcnxyh1p8c0y-ghc-unordered-containers-0.2.10.0.drv
/gnu/store/3v26f2bxcxq74nbk80cbgdyaqyrp9zhi-grep-3.4.drv
/gnu/store/4h0fnvi0q3dvwc7v8ndgi7p7ww2avdgf-make-4.3.drv
/gnu/store/4qrq292m5bd4kbwyf69s1lilqj72pqyw-ghc-aeson-1.4.5.0.drv
/gnu/store/5iv8yxyiwqslbk5pfaa13443qdy4y090-ghc-filemanip-0.3.6.3.drv
/gnu/store/65x2zc7cihfl0sdkrg3lnrdwcv3bisc1-bzip2-1.0.8.drv
/gnu/store/6rwzqqlqs2n39fryw3x2s8zh4xaf56l9-ghc-alex-3.2.4.drv
/gnu/store/7gkd4b3fzmhdjw0rcwrpln47s21g4z4j-guile-3.0.2.drv
/gnu/store/7jvpzii6lnfy28l7js8fnh88q05yprcz-patch-2.7.6.drv
/gnu/store/8q50sqxm0c4knldsr7pmr7c2qi7g9zan-ghc-ieee754-0.8.0.drv
/gnu/store/96gw2823w147aajya9gmxyz1lig6irb1-module-import-compiled.drv
/gnu/store/9fd2fb3h6g5rscs73kn8zmr58rpf13f3-ghc-strict-0.3.2.drv
/gnu/store/a2mwx3r3x4ldb52a3wq3blly66pvmjkc-coreutils-8.32.drv
/gnu/store/a7cqln9xqabvhlqga2k5ac3a22mcsryi-ghc-happy-1.19.12.drv
/gnu/store/ahpc360bs63b3c69zy9nhhy4hc8w0sba-binutils-2.34.drv
/gnu/store/axhiqm9rfdw7lljis45p822jyy553aqk-xz-5.2.4.drv
/gnu/store/axqr85f2yryg55578i6r4ywgzf8ssmvg-tar-1.32.drv
/gnu/store/bns50jnvc74y85m0avwjxz9fjqc4zlsw-ghc-blaze-html-0.9.1.2.drv
/gnu/store/bwjv9g3nj5hb7sff9s3hmdlw437m41l6-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/c772fiksvj1z38wz22c8m5sy13hbxgcm-ghc-zlib-0.6.2.1.drv
/gnu/store/d55ghi0y8g6rdcg9qslx88jjdhsxdzlh-ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/fc605ambnvm06f4wpkb8c1s0ic750n27-ghc-gitrev-1.3.1.drv
/gnu/store/g2k96nrpv3hjxzm4bdzrk5cnbbwx77mg-Agda-2.6.0.1.tar.gz.drv
/gnu/store/gd9snykl3nwiixp6pq49wga1pwarp7x9-ghc-data-hash-0.2.0.1.drv
/gnu/store/gp0q5w5rbwbs7m5sr590zzc7sylkq194-linux-libre-headers-5.4.20.drv
/gnu/store/h5vm4xbbl9b8f1inqvrcfg72i3j9549f-gcc-7.5.0.drv
/gnu/store/hqnj7b71d6ya7x5pfx40k4wr1r5bw9a6-ghc-equivalence-0.3.5.drv
/gnu/store/ji8v2z1p3i2ysq265pdf8q92cw3n1r9z-ghc-boxes-0.1.5.drv
/gnu/store/n1h2iw5j9nqb4qb3i62x2m05akxygahx-diffutils-3.7.drv
/gnu/store/ng4bs2410k9bnswasm9cjdgbq0xgvn56-ghc-hashable-1.2.7.0.drv
/gnu/store/nih5lzr38qbkhq79m0x5mj6a8w06ssfy-glibc-2.31.drv
/gnu/store/npprayw5253zs2bl7cwcjl5bzfywzrfj-ghc-edit-distance-0.2.2.1.drv
/gnu/store/qq29fnizisvkg8biawchcbc6gxg229xa-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/shyx24v22rkpgphdzzy6y4h933fzgbm1-file-5.38.drv
/gnu/store/sy64xk8gml0ri13h0rcyi9883f3vic76-ghc-hashtables-1.2.3.4.drv
/gnu/store/vp229f5hsr4a76md6mpk1zij9acb6cxx-ghc-uri-encode-1.5.0.5.drv
/gnu/store/w9hqacy5qawvhy776wcw61n1zfgw2vi5-glibc-utf8-locales-2.31.drv
/gnu/store/wnqqrwrvd5vgczr6011y9p0mlrxk3bx3-ghc-8.6.5.drv
/gnu/store/wsy1dw40ih1ckrlfbsajan9xsc0w99zg-sed-4.8.drv
/gnu/store/xyl1528fav70gvn1jcq0aqvkr746w0vl-ld-wrapper-0.drv
/gnu/store/y6z3wwb4xl8hha13mw5hg8k3ww5anksw-gawk-5.0.1.drv
/gnu/store/ydv5a7l9p4ilhc8lgvwdz4179gmi5ipy-gzip-1.10.drv
/gnu/store/zqjlpjmq188inbhjiyj3pcpb7qmsiswh-ghc-edisoncore-1.3.2.1.drv
/gnu/store/zrpdri7z4bla7ynyhqkx7f7wcdqrr60l-ghc-exceptions-0.10.3.drv

Derivation details

Builder/gnu/store/f855x7hpmrxp5niaalx344h5p2v8i5zh-guile-3.0.2/bin/guile
Systemmips64el-linux

Build status

Unknown