/gnu/store/jx1ks9zpa9hdd0b0fxyrf6ga1d93w2hr-
agda-2.6.0.1.drv
Detail view
Formatted view
Plain view
View JSON
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
System
i686-linux
Build status
Unknown
Outputs
File name
/gnu/store/vicv7s0r2b9d7ixd2bizac7z7jx0yj3y-
agda-2.6.0.1