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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/0f7rnjnqgj2zz0lqyam5s8da2s15fd39-glibc-utf8-locales-2.31.drv
/gnu/store/0lim9hq5li78hj4xm0gn1c609b2fl0pn-findutils-4.7.0.drv
/gnu/store/3jgcdclqyqji5rvwvyzi3fdzjw118y3w-ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/3s0xxwcd13l55q8ydaap4xss2m5xvj9b-ghc-hashable-1.2.7.0.drv
/gnu/store/45n6b2ry8a3wdmrvl155xlnzg3y4aaiw-ghc-ieee754-0.8.0.drv
/gnu/store/484javg12j3yns3fgazhl5j0c5sk333a-make-4.3.drv
/gnu/store/4pk8rvwyyvyr8cd8vzw0p33h3d1ylprq-bash-minimal-5.0.16.drv
/gnu/store/5j3dvxxf81gy097455lhzsz3p2ah0nn6-bzip2-1.0.8.drv
/gnu/store/5llk2g4a3w5l5nn5gb23gjhza6isa66b-linux-libre-headers-5.4.20.drv
/gnu/store/62k35qy0zjizcg30zbl2zws9f4fcpyff-glibc-2.31.drv
/gnu/store/6gff91jfrfv6w76q9z45dccdrkrdd651-ghc-8.6.5.drv
/gnu/store/6vi6i37gqwdvp4dznn2kb1m1f4a2rv5b-guile-3.0.2.drv
/gnu/store/7inn86pyi3ihgn4h5649387q6m28if3n-ghc-zlib-0.6.2.1.drv
/gnu/store/8hjw7gdnpc6qz6gaha7idvx339alf2x7-sed-4.8.drv
/gnu/store/8j4b9crmbjk4bmrxb23akkg4xgv8zv8n-ld-wrapper-0.drv
/gnu/store/9l5qpahm1v6y4f6j2am23lm23sb9qhvl-Agda-2.6.0.1.tar.gz.drv
/gnu/store/9zvz7sljg3f7c7724k9py3mi9y06rnix-module-import-compiled.drv
/gnu/store/ayzzn8pigiaiqx7zahnsj6c5v7cnzlp5-gzip-1.10.drv
/gnu/store/bn6rap8pxyv9cl9lri9i50nd79f9g593-xz-5.2.4.drv
/gnu/store/dbrymz46dj2pbbmmi5wvfqh16nd0vif7-gawk-5.0.1.drv
/gnu/store/dlpamckxjxk5n16kb6hngc4mvgb8sjwx-ghc-edit-distance-0.2.2.1.drv
/gnu/store/fshnpdsvjz1yzpxgnsvid6c7nk3dk63v-diffutils-3.7.drv
/gnu/store/gbjrmr08zz6z082a3vxqwdwk5r5nl9y2-ghc-happy-1.19.12.drv
/gnu/store/h8904iyzpac7n2w1lx4jcvgwl63lmsvd-ghc-gitrev-1.3.1.drv
/gnu/store/hdw991arvmjy56ndy5qxqwvdjv9f9f2s-tar-1.32.drv
/gnu/store/ib6aapk7jv40k47ck85dm6ivap5zqa95-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/j4qbw3wdwscak6vq19yqzv0nkabrq119-coreutils-8.32.drv
/gnu/store/j8nsdxmj26pgzpz5d1xd4c9p3ndbb034-grep-3.4.drv
/gnu/store/jigjjx4bwk1rn11hgqcm2ifjvcx7k6s5-file-5.38.drv
/gnu/store/jvll5wkxsmvrvzd8ay23hns4kdrv344k-ghc-aeson-1.4.5.0.drv
/gnu/store/kjzqwpvi0496flzvh418jcij08dszpld-ghc-async-2.2.2.drv
/gnu/store/lnnv8slmc0dzsgyfapk3b60p9z75nv3k-ghc-blaze-html-0.9.1.2.drv
/gnu/store/mhn06papakfhxb7a130ws144h020as7i-ghc-boxes-0.1.5.drv
/gnu/store/mwb9zd88k7mdf8an4958wg5q3rzc816p-ghc-hashtables-1.2.3.4.drv
/gnu/store/n6s7fbln33h8wb6k81jkh2i1x7r3dl92-gcc-7.5.0.drv
/gnu/store/phyrb5wn2gvj83wqdbmd55bqdql3xif3-ghc-strict-0.3.2.drv
/gnu/store/pvg3d8isv230837vxdqfig8wn1lwsr0z-ghc-filemanip-0.3.6.3.drv
/gnu/store/qb5grv55v02zrf73cyg4f3cybz94xnr1-ghc-edisoncore-1.3.2.1.drv
/gnu/store/v86vpb60wpl062gxw5n1ylmc60v79y1i-ghc-exceptions-0.10.3.drv
/gnu/store/vg0n88b2gkv5gklxlgqnvpyc1k2xjq8j-ghc-alex-3.2.4.drv
/gnu/store/vp7gbyy7gw55k81bpk40770zndhb4v17-ghc-unordered-containers-0.2.10.0.drv
/gnu/store/wragy2bpb8vkp7bady11hh1566vcijsi-binutils-2.34.drv
/gnu/store/xifv2fd05ln1ic8hvy9fg3hm0mnk2kz1-ghc-uri-encode-1.5.0.5.drv
/gnu/store/xlfxgvikyby80yh7dbkgh8s2b6dcmz7k-ghc-data-hash-0.2.0.1.drv
/gnu/store/xs00qa0syq72rid1dfm8b9df6bnk99id-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/y55ps9df4bsg3v35wbhi6sj0v0wzmii4-patch-2.7.6.drv
/gnu/store/ygl63yd7psyj5s19gl9zfw7qkc5q95zy-ghc-equivalence-0.3.5.drv

Derivation details

Builder/gnu/store/f855x7hpmrxp5niaalx344h5p2v8i5zh-guile-3.0.2/bin/guile
Systemmips64el-linux

Build status

Unknown

Outputs

File name
/gnu/store/22cj9zapkh1zsqcgc6ps70bw5yqmv17c-agda-2.6.0.1
/gnu/store/3j5x3ja8dipb76wq6vl2kircfdrfrbnk-agda-2.6.0.1-static