/gnu/store/ps4l3sx7gx9aq7wamvk7k9k3jffs0hcy-agda-2.6.0.1.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/039vv3jlb2b6idhmbc23q53vivvz1bf3-glibc-utf8-locales-2.31.drv
/gnu/store/08bqd35kkp76y6frvla42rl25vqpgiwi-file-5.38.drv
/gnu/store/0bq85fvyvjhha8mszyci3ffzgnldjqhy-ghc-filemanip-0.3.6.3.drv
/gnu/store/0hml4ss3xmn0zr56kbscbrq16vr6c7j1-ghc-boxes-0.1.5.drv
/gnu/store/1k6b9azydn31fdlw86fk1p15ld22gznr-make-4.3.drv
/gnu/store/1xdvn2y01swpkmzs7alk983cpdrd8c8k-ghc-ieee754-0.8.0.drv
/gnu/store/23h0lixlr0g0iwcmh7r9x0ncm00x57p5-gawk-5.0.1.drv
/gnu/store/25yr5ghldgf336ljpj00jjdvifakmlw4-patch-2.7.6.drv
/gnu/store/2gpcm7zprgm5mbfs0xgyipvq5c16134l-ghc-gitrev-1.3.1.drv
/gnu/store/3y9m9r5ifmygqm94m4q45v4m892ryzdp-glibc-2.31.drv
/gnu/store/4ak8izxyfzv8h1362z5dbdi7pby3gsqm-ghc-equivalence-0.3.5.drv
/gnu/store/4f35p5imnl10fz7bnpfs8gv47mk8krvx-module-import-compiled.drv
/gnu/store/4g85hhpyrnvszc1wh3d4kazqagv0nk59-ghc-unordered-containers-0.2.10.0.drv
/gnu/store/656qixkq3xff7j8251rfwfrdsv37fhjy-ghc-exceptions-0.10.3.drv
/gnu/store/73pqlw3c9ikz1w6x43m52br3y0whczwl-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/7hw1hpplh0m53077r4md0bzwh13vvb0j-ghc-async-2.2.2.drv
/gnu/store/bism2ih2z0dmyqv39pdcp8hkv725cvk9-ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/c8md5qs0r32pxbd7gxnldrcfyhcwd8f7-ghc-blaze-html-0.9.1.2.drv
/gnu/store/cf91x1d1qs2jy8dlpl48aj19m1f0jivv-Agda-2.6.0.1.tar.gz.drv
/gnu/store/ckczav08fxkx42nzpiwn5zfyx8dda4vk-ghc-hashtables-1.2.3.4.drv
/gnu/store/dlsn15gwyfbfhfk78s9icrvljk1avb3p-grep-3.4.drv
/gnu/store/fq0v5lz9pd22mwvqi43i6li9j62xg4ay-coreutils-8.32.drv
/gnu/store/fyigym7zrs8bkzxy7p5kj4ssbnfjw7ck-ghc-strict-0.3.2.drv
/gnu/store/gqgw1dd69mpvk8i7qk2dd17cdaryfn76-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/h3z4jnadvmgh9wfldg4gw69w0dmvsgmh-binutils-2.34.drv
/gnu/store/hs3zh6hxab8pm6r32520z3cvx122amhs-linux-libre-headers-5.4.20.drv
/gnu/store/i1hy36ins2pndbp103m6rq4ic2vzma8c-tar-1.32.drv
/gnu/store/iymhqy6v9fmi8wrv58mn8fjbzkx7jw5l-bzip2-1.0.8.drv
/gnu/store/k2l4lz5nsjwlx1rsjhnfg4qn097izlha-ghc-uri-encode-1.5.0.5.drv
/gnu/store/kcs62960r9hx1s2m93csqjmc1irvdlia-diffutils-3.7.drv
/gnu/store/l7i1c1dfmzvdp655pim6rcphh8vgvand-ld-wrapper-0.drv
/gnu/store/l949ji5jhfz2zjckq0dzddibmiywwrhl-gcc-7.5.0.drv
/gnu/store/lyf38lq82ibiiii9iyfa04xdv6n3rm8g-findutils-4.7.0.drv
/gnu/store/n4y6ia2q4g5d8py8mak3c8aq1zisniyr-ghc-zlib-0.6.2.1.drv
/gnu/store/pdfwns6pxq4jmri7pd7rqnnsklcd9w0a-ghc-edisoncore-1.3.2.1.drv
/gnu/store/q365d7yhqdjrhp4kaqmmmc80vchflfnk-ghc-happy-1.19.12.drv
/gnu/store/qmyybfh4myv6qfnra32dxlh6hy2zpvd6-xz-5.2.4.drv
/gnu/store/rljkxj2gcvfdjh5x31j8q5acsm4l9bhj-ghc-data-hash-0.2.0.1.drv
/gnu/store/s1gqbn3930r17b1135vwrixs018ias6a-ghc-aeson-1.4.5.0.drv
/gnu/store/sj5j8s8j8zv0ybvb9jdd8j5jbjppgmsf-guile-3.0.2.drv
/gnu/store/sqr58y0nqy0bs0x5g54q7sa13qifcnpn-ghc-alex-3.2.4.drv
/gnu/store/vm70msjs553jln3vikxijsbar2hrh582-gzip-1.10.drv
/gnu/store/xmm84x0c09gnkik81h2mpim7d57k9wk4-bash-minimal-5.0.16.drv
/gnu/store/y5k1a0g1h8mnca3prjvk7sxa2bxkv4q7-sed-4.8.drv
/gnu/store/y5xic3vxlp7id6sh6gngxpwl69l49sy9-ghc-hashable-1.2.7.0.drv
/gnu/store/y8q4z9i6lacpapab8zjs503jg86pd0kq-ghc-edit-distance-0.2.2.1.drv
/gnu/store/zabqix30q14hww97hh7zrji3affycjy8-ghc-8.6.5.drv

Derivation details

Builder/gnu/store/zslki807w05y73wbpnszxpz44fl2yn8b-guile-3.0.2/bin/guile
Systemi686-linux

Build status

Unknown

Outputs

File name
/gnu/store/w6m13fbnkzf6px527s0qlvn0md8ikv66-agda-2.6.0.1
/gnu/store/w2nfmih31mniasxyg4riwhvhgs1pbnr8-agda-2.6.0.1-static