/gnu/store/6m8xls2l47zghb7ysh12ah2wma5ql3ca-agda-2.6.0.1.drv

Inputs

File name
/gnu/store/09hhdxcfrm56afpglx3ff2dj4ibfl92x-sed-4.7.drv
/gnu/store/0afbxr7962z9ci6kw840n088qsmyz8lr-guile-2.2.6.drv
/gnu/store/284dp81nvvfxam22k061ilg501m88cf6-xz-5.2.4.drv
/gnu/store/3yq18z7rnid2alg6yvmks31snvcfk07y-bzip2-1.0.6.drv
/gnu/store/43l343yjl7cjxyj73r2lx6vbj5dysp03-findutils-4.6.0.drv
/gnu/store/6ziz4i0syzyr1qbysmynxidjlcmgyp66-ghc-strict-0.3.2.drv
/gnu/store/74qzf3hyhyn122aqj501y8q6yxr2ig3y-grep-3.3.drv
/gnu/store/96dshs734kp0rsbvpmaafrzp13qjz2h7-make-4.2.1.drv
/gnu/store/9irhd05vs848ljj80aij9gxrvrf6zfzd-module-import-compiled.drv
/gnu/store/aysg1nlkqn2700d67qgrylydw3qnf95p-diffutils-3.7.drv
/gnu/store/b0xa2byjmaj90q40sc46br0grlq9vc86-ghc-unordered-containers-0.2.10.0.drv
/gnu/store/f95v3iba9anh2hcp7y7z5pvqwnvp98y9-glibc-2.29.drv
/gnu/store/ggfbcdzdj1jadbz58ac7j2vcmdzkk9bc-ghc-async-2.2.2.drv
/gnu/store/haldc2kjxign0zxjfi7a82wpg72r1hnb-file-5.33.drv
/gnu/store/i1gxa9wrxnjvd1lls7sqg46p1a8kxi5j-ghc-uri-encode-1.5.0.5.drv
/gnu/store/if15xm31gp7ma94z3rpymgn1zzjqwk42-gawk-5.0.1.drv
/gnu/store/ik44dahmffhlvdfh3w1xp7jvvqw1i4j6-coreutils-8.31.drv
/gnu/store/iqa54p4nykamjign32rp43gvgy8125fj-linux-libre-headers-4.19.56.drv
/gnu/store/ix1qyphc3wp85vhwc8jy1sdlq3kymvdq-ghc-ieee754-0.8.0.drv
/gnu/store/j7x3vbd8c9743nnl67cjdb1qzyil7xi6-ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/j8cnya3cvm7s0nza8y7fbxvmx6jiannf-ghc-hashtables-1.2.3.4.drv
/gnu/store/jq9glpdyh2zlkr3mc36zk1csrf1r8yq5-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/jw5bqa60hzgc52dy7vl1yqxygcwswwwj-ghc-hashable-1.2.7.0.drv
/gnu/store/jxgj4da3prgiaf2xzi3yzckgqlz0hqan-ghc-happy-1.19.12.drv
/gnu/store/jz5xa4gg8c6g73ksq9gfspiw39wf4a7s-ghc-boxes-0.1.5.drv
/gnu/store/k2qzbg0x4xw0iqcvilxiiph2s0jjxbyv-ghc-edisoncore-1.3.2.1.drv
/gnu/store/kp57348wa3yxvvvbni9hi08x7swc6x70-glibc-utf8-locales-2.29.drv
/gnu/store/kqamikiahdnkzbm8j7x545875763rr58-patch-2.7.6.drv
/gnu/store/m8n6hai2bvvqzdc8zyzqlxxd7wjxggsa-ghc-gitrev-1.3.1.drv
/gnu/store/n2fs948jz05cqj4vysh2a4xf7a37ln2y-binutils-2.32.drv
/gnu/store/nzjq794w7vv5g2ns3mifn3d26sqs9asj-gcc-7.4.0.drv
/gnu/store/pfk0m2v9kbq9gnyql1a987m800zk5mgw-tar-1.32.drv
/gnu/store/pksf625j967w6arx119f5k85fl5kamsz-ghc-filemanip-0.3.6.3.drv
/gnu/store/ppxrqcp9fgydhlv1d9p2fz0fnvw5v7gp-ghc-alex-3.2.4.drv
/gnu/store/pvzmsv8af3i5c4aivmf7p8y1carvrvr0-ghc-aeson-1.4.5.0.drv
/gnu/store/qb1skm2d8jch1xfqk3vp5njrn8lf4bww-ghc-zlib-0.6.2.1.drv
/gnu/store/qc8bhlsy8yv96d6xpr9d8ayrf079w30y-module-import.drv
/gnu/store/qx04aqiihmv07qdcqjy4afi2iq1bg6p0-bash-minimal-5.0.7.drv
/gnu/store/rd7111w4asmb0jm7cr7pq2hnc3mkpffn-ld-wrapper-0.drv
/gnu/store/rqljqikafnkg0232psh93c23ynvi4lly-ghc-edit-distance-0.2.2.1.drv
/gnu/store/s46g42f3zv5sxzimqvzhmzc0krxmh788-gzip-1.10.drv
/gnu/store/s4n6fmslc1vqx4y7i7vqnzhd294wxn6n-ghc-exceptions-0.10.3.drv
/gnu/store/vzy90par7bn3rz7pwqv2bhn8b7881fdf-ghc-8.6.5.drv
/gnu/store/w0qam4sjash8zs9k9vlg5klj2lm7gnn5-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/xidxvnfm7diznink03sbvb5a322ksa0r-ghc-data-hash-0.2.0.1.drv
/gnu/store/xja6plrlaqb955yq98xxpqc4zz42aczh-ghc-equivalence-0.3.5.drv
/gnu/store/yk57fs2j5vqiy94yifv79hq6sv03pclk-Agda-2.6.0.1.tar.gz.drv
/gnu/store/z00ljimcxn97jn3xqyja54sfydzz9daf-ghc-blaze-html-0.9.1.2.drv

Derivation details

Builder/gnu/store/cccin2fkgdw199ksp0g1gppis0dgzp8b-guile-2.2.6/bin/guile
Systemaarch64-linux

Build status

Unknown