/gnu/store/jx1ks9zpa9hdd0b0fxyrf6ga1d93w2hr-agda-2.6.0.1.drv

Inputs

File name
/gnu/store/2czlc5sq8w9jd5ls51zbg4ki1c9bv9cj-ghc-alex-3.2.4.drv
/gnu/store/2d8zgc0v6w8gcdcxv998nq45z4xaiihs-ghc-filemanip-0.3.6.3.drv
/gnu/store/2f4hwvm2isrsbi0zvsgw58ab6g6ckig0-patch-2.7.6.drv
/gnu/store/4c8sklvczyklnc9brvcbgph27dgsc6sp-ghc-blaze-html-0.9.1.2.drv
/gnu/store/5x2i64p2rwk550bpdd2vfarwsjpnyxkg-sed-4.7.drv
/gnu/store/655xspkzjb0hhk62x6z323dadns6236g-glibc-utf8-locales-2.29.drv
/gnu/store/6hz5m6wcvc7hwilif3fcl312cwmh3px5-ghc-gitrev-1.3.1.drv
/gnu/store/86f5cmx3fc8vbc3zy2920q93rc4h75pp-linux-libre-headers-4.19.56.drv
/gnu/store/8rklhgp0i76cisf5ap3c5fzgnkwck3p7-module-import.drv
/gnu/store/8sh0zqn8qsbrgarg3wi2k53dxjzcidda-ghc-ieee754-0.8.0.drv
/gnu/store/9xy63blp3iipzqjz38dpbmnp13xc3lb6-ld-wrapper-0.drv
/gnu/store/a1ay4k7nivg1fff1nl61pgvz3flm1lj2-grep-3.3.drv
/gnu/store/a6745wynm8g9snjgd73sbd5jv571haki-ghc-data-hash-0.2.0.1.drv
/gnu/store/ahb8cm8js4ihkprvcikxkyhhrf01b27g-bash-minimal-5.0.7.drv
/gnu/store/bsl2dz9amx3hkdh07zkfa7m3g6bfxhhk-ghc-8.6.5.drv
/gnu/store/d50albjmfhqssl0nrryvp4ivvryfb4sa-ghc-edit-distance-0.2.2.1.drv
/gnu/store/dglzlyhzr2v8cvmclvgnfwfhgk3dw0fc-make-4.2.1.drv
/gnu/store/dhb395x0lqffb1s47r8jkv57vrr4y1m0-ghc-exceptions-0.10.3.drv
/gnu/store/fbkgi2kay7rrna65dkf3mnmfzfig5dhb-ghc-strict-0.3.2.drv
/gnu/store/fg48103aj0sx0sbps82sbn2qqkr3ghbd-diffutils-3.7.drv
/gnu/store/fhbdwv9kqzkgxhl0f46b3kl50lzzr7a2-ghc-uri-encode-1.5.0.5.drv
/gnu/store/g288bg5aj5bgv7xvkqfscf6fd5hl57k4-ghc-equivalence-0.3.5.drv
/gnu/store/g3xzc1jizpzdhp898sj4lrk0x79xawa7-ghc-hashable-1.2.7.0.drv
/gnu/store/gd0zsd54fcjz88jf3s7qw5ylm3p576zh-binutils-2.32.drv
/gnu/store/gpxk01dik0qqq2a3ixmv2cav7kvihnj4-findutils-4.6.0.drv
/gnu/store/h9z0aqr86686a0q0hh3ivb5r6hcijlmm-ghc-edisoncore-1.3.2.1.drv
/gnu/store/i68qymkbql90sw85q97hsh96ryjfa8rq-xz-5.2.4.drv
/gnu/store/id81l9jk7ihfyywzh1wxwpzr7i8wmgm5-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/imq41gd3q2767il9gq6mqh5cv44x09rf-guile-2.2.6.drv
/gnu/store/iyaxfxarz28qaf6iidnj7kd8w7pkckln-glibc-2.29.drv
/gnu/store/jbqg3bdgv5bmfbx4nshqvq8dhnvzvhsf-gzip-1.10.drv
/gnu/store/kiwhs2kslq02sjy6g0k3jna32np5kc3f-bzip2-1.0.6.drv
/gnu/store/kp8ij5r3v6bmzjax81b6kjqqza4gpm4x-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/kr6riw4nn00l56v70ld7r1l6zfdjv232-gawk-5.0.1.drv
/gnu/store/kswmv0ymmi1giqn07q4nvq9hs8vbqgn4-file-5.33.drv
/gnu/store/l384dli20q1i3klcjsc4jk62dl9m0syj-ghc-async-2.2.2.drv
/gnu/store/mf1y978sl3xanc0qy1z7fnlx5c2rdx6j-ghc-unordered-containers-0.2.10.0.drv
/gnu/store/pnxnnvvp21mdib6nig251mgshz8inkkj-ghc-aeson-1.4.5.0.drv
/gnu/store/pww160lwwzc522cz0sz2q41jb8szsc4n-module-import-compiled.drv
/gnu/store/q1j2gyhy49djs690b7sw7m23g9h9mg6d-coreutils-8.31.drv
/gnu/store/qz8306w9jn3hb529l19jkfp4bki07sxa-ghc-zlib-0.6.2.1.drv
/gnu/store/ssl7fxic5yk74n2lc6sfi6ws14mklbkf-tar-1.32.drv
/gnu/store/vcyjciqkfkdjpr1fv5f54y8sv9azvrgd-ghc-happy-1.19.12.drv
/gnu/store/vjnl4dgjni0ygqvi5hb314v3clzf08cw-ghc-boxes-0.1.5.drv
/gnu/store/wfrb1rq204l4szyy2hbhhpd6g69npfby-gcc-7.4.0.drv
/gnu/store/xmd7wdwjk7zms870x1vpk0gda2zlgk3q-ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/yq0vnpy8ll26bxhqy6ffcalch4a4dx28-ghc-hashtables-1.2.3.4.drv
/gnu/store/zvhw9aixv2f53k0s96wbjhaps78xafnx-Agda-2.6.0.1.tar.gz.drv

Derivation details

Builder/gnu/store/vlpabz0q67c7h1vcbrgfk6fchi64gmk1-guile-2.2.6/bin/guile
Systemi686-linux

Build status

Unknown