/gnu/store/qw3kakscn79njjb7qdijm5vz2c8f2jcj-
agda-2.6.2.1.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/03s6n065ky61cf4v8jp6sh18mh2351vc-
coreutils-8.32.drv
/gnu/store/0i9xpd040v59gr7rsnr5v11wminarx6n-
ghc-happy-1.20.0.drv
/gnu/store/0mdmmns3sdp153ni4ghaf363w6mzknrk-
ghc-gitrev-1.3.1.drv
/gnu/store/0njilwi8fn7hfy68mvxm2q230ckvr4q1-
ghc-alex-3.2.6.drv
/gnu/store/0w24sbl2snbww21ch4lmg7lcfslml60z-
ghc-split-0.2.3.4.drv
/gnu/store/0xmdhd4wwnn8xmx69pdiq050m7zfrlbm-
file-5.39.drv
/gnu/store/1ig4b4h1s9adpgbkq2yxff40fp6l1h52-
ghc-aeson-1.5.6.0.drv
/gnu/store/1wpx489bslj7f85mhm6044c6hnn8v36v-
ghc-equivalence-0.3.5.drv
/gnu/store/35llkq1wfv89d71l8s63f5zj8nhb8887-
gawk-5.1.0.drv
/gnu/store/3cqz789ffg4jx5yf116jljcg3aqqm2f0-
ghc-8.10.7.drv
/gnu/store/3k8pp9k6zr8b09825hiw4rahxf9gqspv-
ld-wrapper-0.drv
/gnu/store/54yq91zljxm2cjsbs87c1bl0gzl457yh-
gzip-1.10.drv
/gnu/store/5x8snrya5kanzj2q0pknccsq7hwmzgwy-
ghc-boxes-0.1.5.drv
/gnu/store/8siv0magbw05c760in8y1kikfzqb2mjf-
ghc-uri-encode-1.5.0.7.drv
/gnu/store/c7rl3y9605lxdqbx95jj4blfgsqqg5xa-
linux-libre-headers-5.10.35.drv
/gnu/store/ci3pz9f731fvk9y2sm9h68qsk0xzn8mj-
gcc-10.3.0.drv
/gnu/store/clqb5z8wac8klv1cv6vaz6jacgqcckx4-
bzip2-1.0.8.drv
/gnu/store/cna1jjvhbjl7p64g5l6g1avgp0lbm7qm-
diffutils-3.8.drv
/gnu/store/df2zs3w15nrwcvjiik62141k194bvrz3-
bash-minimal-5.1.8.drv
/gnu/store/fpkw40q3m0fijknp7rkz8zc833xj2paj-
tar-1.34.drv
/gnu/store/g284z3faky79k955i4q2w43648bk8p3n-
module-import-compiled.drv
/gnu/store/g7ijp6kasmdwm7i5zmsn376ffxnmf6c2-
ghc-hashtables-1.2.4.1.drv
/gnu/store/hjzf2r358mp0v40y63hxbs8dp4bzigpz-
ghc-zlib-0.6.2.3.drv
/gnu/store/hyg3q2a53i6m45imjgdfxg8qi8z5xqzq-
ghc-async-2.2.4.drv
/gnu/store/k1sqn171dmikav54rg1pl36rmsf0xd2f-
ghc-blaze-html-0.9.1.2.drv
/gnu/store/l9hsz8jq9r8yc7vd1q5wy70fb2kq627d-
findutils-4.8.0.drv
/gnu/store/lj5j027liv8glibs28jyzr6psdspp9cf-
ghc-edit-distance-0.2.2.1.drv
/gnu/store/nncdqbprlswiknf47ywyhpfnpna91da9-
sed-4.8.drv
/gnu/store/p60nasa2nf9h9hfiww04fwf32qsy5qhb-
make-4.3.drv
/gnu/store/p8spimpy5x8h3b675vpqvwrdr3cb3i24-
grep-3.6.drv
/gnu/store/pxvrjxffkq07p27p0cdkfnca9ysgvy97-
Agda-2.6.2.1.tar.gz.drv
/gnu/store/qqp9a67cwhl6wdpxzyjlq926nm99y4ck-
binutils-2.37.drv
/gnu/store/qqqbwry4miiqiqsf4g6lxasby8906zhb-
glibc-utf8-locales-2.33.drv
/gnu/store/r92rrf17bfwh9ky5fdxfqf9zg74wv8cc-
patch-2.7.6.drv
/gnu/store/sbbn0gqi5cp0a3xg0pwjx5fm9vwbvdgp-
ghc-parallel-3.2.2.0.drv
/gnu/store/sf9njdhgff3k7iqdy4fqyblpzszdx10z-
ghc-strict-0.4.0.1.drv
/gnu/store/sfaiqj3q6p3b6w5myjnvxda58mqgw5b6-
guile-3.0.7.drv
/gnu/store/v4j05w5vm1kvbgqqwcsjhd67z0bijg7n-
glibc-2.33.drv
/gnu/store/vbik2dpdshm2p7r115gb42mifkgk7g4r-
ghc-regex-tdfa-1.3.1.1.drv
/gnu/store/vc208gw03bl4pkkwmq6g7pvspqfhz9wv-
ghc-data-hash-0.2.0.1.drv
/gnu/store/w1j3hq66507ajvn7z4bdfjd8k3z0fwrb-
ghc-case-insensitive-1.2.1.0.drv
/gnu/store/wgk7s4qj1d9nmbfwb2g1jw21yrmx7rpp-
ghc-monad-control-1.0.3.1.drv
/gnu/store/xqd0wlm9nlqzqym9nvxbvkrhsqj5flrz-
ghc-hashable-1.3.0.0.drv
/gnu/store/xwwhbg30xbq5212ir8rzspwdlc3yfr49-
xz-5.2.5.drv
/gnu/store/ygd1ffqpayssl119nk886frz86ww1rwb-
ghc-murmur-hash-0.1.0.9.drv
/gnu/store/zzmzn72y4pfrn13vpgwsvgk3n9gk67l6-
ghc-unordered-containers-0.2.14.0.drv
Derivation details
Builder
/gnu/store/dzngf7zg9qx119zr20xp0j7mg5fypwb8-
guile-3.0.7
/bin/guile
System
powerpc-linux
Build status
Unknown
Outputs
File name
/gnu/store/mfbi74nsv1n58m5d53z8wwybzha1mvkx-
agda-2.6.2.1
/gnu/store/31ay54cbfrdr70zx9wzbh0fsxd8zj4lj-
agda-2.6.2.1-static