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