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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/06w775xsyrw4d31z47lqs4n7w5jdp1qy-ghc-hashtables-1.2.3.4.drv
/gnu/store/0axlab6chzmmb1gfskpfvnslpq2im1qd-file-5.38.drv
/gnu/store/0psya9gy3g4rn5g5njmxws1xszkw8sb4-ghc-edit-distance-0.2.2.1.drv
/gnu/store/22fbmgafp7ivgkv40byvqxl0yilbl6yc-grep-3.4.drv
/gnu/store/2ha9rzazldwi0madqgp70gdya351z66r-ghc-strict-0.3.2.drv
/gnu/store/35jsynyymn0w14diha6s9y4k59c01sf4-diffutils-3.7.drv
/gnu/store/3llwvk0qihmd6hxl9bl6qk3d7aw4shns-ld-wrapper-0.drv
/gnu/store/447j4w2by3b7xwxgvc34pn427c1ppvz9-coreutils-8.32.drv
/gnu/store/4j6qa94zn25p5q5nd6q8kcl0bz805shq-linux-libre-headers-5.4.20.drv
/gnu/store/4mzx79gxbknw9crm17af9p0h3azy4vcs-ghc-uri-encode-1.5.0.5.drv
/gnu/store/69a8anm4w1737a2qw0iwv30k6ivbd7lb-tar-1.32.drv
/gnu/store/6dk3in50swwmjmwb5yjffpi8vaffmrqh-ghc-8.6.5.drv
/gnu/store/7q8kkygla72d6w104s8w5bn024g6rvi7-ghc-aeson-1.4.5.0.drv
/gnu/store/7w6fz145dmah77d2pdnd9fykwhlyqfii-patch-2.7.6.drv
/gnu/store/8amgz7rkli2h3gj4vd7g0bx45ymxa1qz-xz-5.2.4.drv
/gnu/store/8l6gwss3xp6zmcp774sihwlxjlx1js4d-ghc-happy-1.19.12.drv
/gnu/store/b0si8kx8mivxzi5npl0h9g2dhr4jzkwz-ghc-hashable-1.2.7.0.drv
/gnu/store/b1hikjd9dnirpdcjj9l0lsz5vncfplqf-binutils-2.34.drv
/gnu/store/cs8ivvr9zbf02978v1gr6r7968r1x8my-ghc-zlib-0.6.2.1.drv
/gnu/store/cyqqnvvw6slqcf80jiq2v46cblwgzkh1-gzip-1.10.drv
/gnu/store/f6796gbrqb6z73smd82nv4kz7zv8jhfg-sed-4.8.drv
/gnu/store/g9fpkg2qa27mka1znqsvx8vxqyabsj2y-gcc-7.5.0.drv
/gnu/store/hci182dj2hynmp6kvryahqpfqygdm822-ghc-async-2.2.2.drv
/gnu/store/jdzf3kqgd8gi63whsv786c5ihsq01c1d-ghc-alex-3.2.4.drv
/gnu/store/k92qqg8r4p2jz8s9xz8kgq11iy26v723-ghc-data-hash-0.2.0.1.drv
/gnu/store/lnfxw70amlra9ni024zhlcpsf5vq1d9h-ghc-ieee754-0.8.0.drv
/gnu/store/lycbmirqmmy9g9qzl148mm7l59b0jhvd-gawk-5.0.1.drv
/gnu/store/n947239im978x5f0q6d88j6awrjz6r5r-make-4.3.drv
/gnu/store/nkw27qz3j9xhrrz9lmdns1iqzcaxwzd4-bzip2-1.0.8.drv
/gnu/store/nsxia0srrxnk0k3am9dvk7yspqqaby0w-bash-minimal-5.0.16.drv
/gnu/store/nvfjfhnyx38mn6zy1wfrgkcb3chm6j6i-ghc-boxes-0.1.5.drv
/gnu/store/p6k408klrsjm3ysdia7jbp46mrdv16w2-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/p9dq1pgmx032q4vxzi67gpd1wpgwgn8y-ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/pc8rabc7566546z26sbijxbbndikz0xb-glibc-utf8-locales-2.31.drv
/gnu/store/pxynxvc0k2m2c8ps11dlx4pzdx5zi40l-ghc-blaze-html-0.9.1.2.drv
/gnu/store/r846vm5nli0a1h0lf7444skdijjmack0-module-import-compiled.drv
/gnu/store/sdk2m1fcgs8342rlz6pwxvngy6azxwix-ghc-filemanip-0.3.6.3.drv
/gnu/store/sxbkilz2zkv4vxfyyg0ijvxhkqsg1yfr-ghc-exceptions-0.10.3.drv
/gnu/store/vmvr9scy30cj2qcqgihjvi10qqyj5mz7-ghc-gitrev-1.3.1.drv
/gnu/store/vx64fikpd6n7mml02ikv676kk14hb6c7-Agda-2.6.0.1.tar.gz.drv
/gnu/store/x32cnfkd50fnxs10xp1jdn24h7ai2gxr-guile-3.0.2.drv
/gnu/store/xlg72iw9vspn700dmg9z8d3amaywn7v7-glibc-2.31.drv
/gnu/store/yhsx1vr52lyjfs5fwxy8jkmd4cy26c1k-ghc-equivalence-0.3.5.drv
/gnu/store/yy4k1f7f2gnprn4x7nan5x1k8mczawdq-ghc-edisoncore-1.3.2.1.drv
/gnu/store/z7kymvpw852f770ar4b2vjpgk0akb5v7-ghc-unordered-containers-0.2.10.0.drv
/gnu/store/za1gh9a362idc7lhp973v3w1ki7nkpx2-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/zhkn162xsriywnc920xq0f8n21ixj4a9-findutils-4.7.0.drv

Derivation details

Builder/gnu/store/0m0vd873jp61lcm4xa3ljdgx381qa782-guile-3.0.2/bin/guile
Systemx86_64-linux

Build status

Unknown

Outputs

File name
/gnu/store/zp0lp3vdcir242gzvipjf4adsbqh1lqy-agda-2.6.0.1