/gnu/store/yskkah0ihc7i11zl2yspz382krd7qcss-
agda-2.6.0.1.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/110f2jlvf1bgwppx81sa07nc53c5v7vd-
gzip-1.10.drv
/gnu/store/15k6bn4f4z9km3zlv7ik3d7rzvymlsd6-
ghc-hashtables-1.2.3.4.drv
/gnu/store/17v7m6g11vkzrwwdcr54v9gsgc6nnims-
glibc-2.29.drv
/gnu/store/1gk1vg1b5ihys5dla12yliifpfjzmcyv-
ghc-filemanip-0.3.6.3.drv
/gnu/store/1lx711m859zagfp0nrk7k2if3ipshgzq-
ghc-8.6.5.drv
/gnu/store/1qqb4wfclmz53255vw02r6dfjcv6c2l2-
ghc-equivalence-0.3.5.drv
/gnu/store/26lr916yjvsq30565qd008q9kn83pgad-
file-5.33.drv
/gnu/store/27k07205g99sj5j7jlkfaflajg5lczbd-
gawk-5.0.1.drv
/gnu/store/27xlb17px1j7hs6rvinm7ic3p53nn3dz-
binutils-2.32.drv
/gnu/store/29spy5ckdqgmqx3xlgzvxfs3aq4dnsqh-
ld-wrapper-0.drv
/gnu/store/2vs46x9x9gy5v3qjw948lh4jx6bi45jx-
ghc-alex-3.2.4.drv
/gnu/store/409swc8yx0dplzcjxl9f6jya9pjwhghs-
coreutils-8.31.drv
/gnu/store/47p1qbixallhqll2mhbdhhasx3b1612z-
tar-1.32.drv
/gnu/store/4vnifjp4bq2qq2pfdhv3raqz4jj4mmg4-
ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/4znnh0z0m9vi13fwhd0fgdw820fcpr8g-
Agda-2.6.0.1.tar.gz.drv
/gnu/store/58k85ljgcqs925ibbycgxr5nszzjn8g4-
ghc-exceptions-0.10.3.drv
/gnu/store/6mqadpsl89x68rz6r72jqn25d78310d7-
ghc-aeson-1.4.5.0.drv
/gnu/store/840bnjs1l6ws63ig163ykczgz8mkgciq-
ghc-async-2.2.2.drv
/gnu/store/85dlsn3q21i9adgqjb4vkpcrglmvbbca-
patch-2.7.6.drv
/gnu/store/8863yfqksfjm538sasw6j8l0d6abcsns-
ghc-uri-encode-1.5.0.5.drv
/gnu/store/899dkskz3ny4pysm55n734wj1ifgbz08-
ghc-blaze-html-0.9.1.2.drv
/gnu/store/8h7rv7sj7in86qi1p8s7zdvb6wiiydxx-
ghc-murmur-hash-0.1.0.9.drv
/gnu/store/8sc292g00lf0dk69p7c5lxi5kihamw9l-
ghc-boxes-0.1.5.drv
/gnu/store/9yafp4x0i4znxyjqw43gambmk76l3fa1-
sed-4.7.drv
/gnu/store/b3nm39szw9fa697m272v73aj5q86nwkr-
grep-3.3.drv
/gnu/store/c3c0by7p7jhdihcqa4xmc50j6kkv2lv9-
module-import.drv
/gnu/store/dmjkc1f6d52pdykvwb54snq4rmxpn703-
ghc-edit-distance-0.2.2.1.drv
/gnu/store/ds8d86h8arzsrci2jvyb6cvd6s6h87kd-
ghc-hashable-1.2.7.0.drv
/gnu/store/g8ycqm9ba7kqcsdmpym2pv3dd9jxnarv-
ghc-zlib-0.6.2.1.drv
/gnu/store/gws54d0zvmxvkg5q3npn65fmkkj7kpyi-
glibc-utf8-locales-2.29.drv
/gnu/store/hvpha1x9vdxc9hqj12rb1wkf288fcqvq-
diffutils-3.7.drv
/gnu/store/ihzqdcw5y4dd9vnjfpq77zpcw4ilfrcq-
ghc-geniplate-mirror-0.7.6.drv
/gnu/store/j7v0lqr95ycg25qayz1a4s898idcxlk1-
xz-5.2.4.drv
/gnu/store/jmxqjk7ihjszafbka35vhgkx2vm8mrlw-
guile-2.2.6.drv
/gnu/store/k3dgkslxsgqnhm7x6mvpjslapd8i0fvs-
bzip2-1.0.6.drv
/gnu/store/k64llxwsacyf61gyyxviwhgf8zh3rvcl-
ghc-happy-1.19.12.drv
/gnu/store/kjm6m6cb2sl0ha9zj82z8w43j716w8j8-
make-4.2.1.drv
/gnu/store/lmlzqc7ys874wr7lkd4fhhi6lq6lr5gm-
ghc-strict-0.3.2.drv
/gnu/store/m8akrik6yn3pbrha97sdq0acg2fnz5mz-
ghc-unordered-containers-0.2.10.0.drv
/gnu/store/mzx9n9rxa1pdkpplx040403zv7vn0hbz-
linux-libre-headers-4.19.56.drv
/gnu/store/n9z4ijxfcap4a91a4kkz5zc8abr3h043-
ghc-edisoncore-1.3.2.1.drv
/gnu/store/piagbn9phqxrh476pq488fwc2gi7gnvr-
ghc-ieee754-0.8.0.drv
/gnu/store/pqwm42m2l03vrff6xbcxdxcl25jqc5i7-
module-import-compiled.drv
/gnu/store/r8fhyw1i6zckbmv548z7dy7n8r1kmna2-
ghc-data-hash-0.2.0.1.drv
/gnu/store/vsjgps8agni191v273mcixp5jrym7daq-
bash-minimal-5.0.7.drv
/gnu/store/vxvgdbz31v6zn3yivxw9m6qs48nx5w94-
findutils-4.6.0.drv
/gnu/store/xhxfchiz4z02l8sac5ppsackbdrxx9bg-
gcc-7.4.0.drv
/gnu/store/z6928kvn1qg5xmw4wzn9n470aigfyrar-
ghc-gitrev-1.3.1.drv
Derivation details
Builder
/gnu/store/8x1l6vh0zqk09yfpcrhkylmrilj887f6-
guile-2.2.6
/bin/guile
System
mips64el-linux
Build status
Unknown
Outputs
File name
/gnu/store/r0w885xbnmc9zwjpr6ip4csxickq649b-
agda-2.6.0.1