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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/0g9ssq0bm9n8k3zmwn2xzhav94nigjhr-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/0i17gydgp2m6h3m4qdnqspq56a71xqpq-ghc-equivalence-0.3.5.drv
/gnu/store/0i29nx43450qs5268mnhqx7cvyh16dkp-sed-4.7.drv
/gnu/store/2rbnnl7k5kwqfzg5mb98q8k1wa2dbp90-ghc-zlib-0.6.2.1.drv
/gnu/store/34kwc9n37g7nv1gz0daylg7g3rd962z9-ghc-async-2.2.2.drv
/gnu/store/3xn6x4rng83wgk9xqwaspz3jasbwgc7q-coreutils-8.31.drv
/gnu/store/4krz3nwrbf7p5ysy4hn9fj8cfljl8xdq-file-5.33.drv
/gnu/store/4p0zyi9vhnb9g36rqrnd3bidik0j9apf-Agda-2.6.0.1.tar.gz.drv
/gnu/store/5sr9a583b631rq7z7ng1nznj84kjq9cg-ghc-hashable-1.2.7.0.drv
/gnu/store/6qq5a7fs1i7jjkl4wryzsh0a1ac8z00i-ghc-hashtables-1.2.3.4.drv
/gnu/store/89cf5f1lsdk1ssy83c55h0avc1p3i17h-ghc-edisoncore-1.3.2.1.drv
/gnu/store/a017vkwnwx6jwcj7zjhsykhf1jmrl52v-ghc-8.6.5.drv
/gnu/store/c9s6mq7wjvsb3hxdbqp859d2f8rcnaji-module-import.drv
/gnu/store/cajk7x2pr1s4m8cz3n8v7b36a2ycy0nc-xz-5.2.4.drv
/gnu/store/cwfshyfffrqz836d7sixlfzgb19g5y1r-ghc-ieee754-0.8.0.drv
/gnu/store/d0xmps3q2cahmq9jqkqbphsq2rvsk277-guile-2.2.6.drv
/gnu/store/gk81s3sba9vll0l3h8ld120dm2dkm9cs-binutils-2.32.drv
/gnu/store/gl5xw9zf61m9dhd5kcdglymn6sik7qkw-patch-2.7.6.drv
/gnu/store/hpf6rklfw8jdcjfky11sspifsjk2w5gg-ghc-edit-distance-0.2.2.1.drv
/gnu/store/hz78d22mhzxaqhcxvzgc56qyvbhnv4mj-glibc-2.29.drv
/gnu/store/i2s27sc7q67j38i0ipfzwid1v6m9k76y-findutils-4.6.0.drv
/gnu/store/j2cp4gpag6mj5cq62pskqrj76mbpxc74-ghc-aeson-1.4.5.0.drv
/gnu/store/jg1dh1n823bshyysvanjcrbm67azilsi-ghc-strict-0.3.2.drv
/gnu/store/jyfkl589mahkjmc0mxpfz95jlk71n5mk-grep-3.3.drv
/gnu/store/k7iw1xb5syq40kr6v082rsqakslfhd8f-make-4.2.1.drv
/gnu/store/ks5p45ld7kp1c1k28r8jipy6zmjbfakf-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/lv3ds9cwdlschcpzcqqwim7b9gmlqlhq-ghc-alex-3.2.4.drv
/gnu/store/mj3l14m6gkbv5wyjhkfqgqdpr0y01bh4-module-import-compiled.drv
/gnu/store/myra9kpq6k1m5yjdb73v5i6b5xpkiwl2-linux-libre-headers-4.19.56.drv
/gnu/store/n2kw9vfqiaz24mynb9rfm1jnxf260nmb-diffutils-3.7.drv
/gnu/store/n4chv6xpbnfysx5svp2nnhc1dyb6j4c9-ghc-data-hash-0.2.0.1.drv
/gnu/store/ng51bdv6wnbyikj31ahwzhzl1y4slmap-gawk-5.0.1.drv
/gnu/store/ng70iyhdsm2lvd5p15p8g3rbvdyz6sr8-bzip2-1.0.6.drv
/gnu/store/ni6229l4sprnhiijb2svaszph677jx1r-ghc-gitrev-1.3.1.drv
/gnu/store/p5l7gqwmm0v1hi4icrszq577jikxs7xq-ghc-blaze-html-0.9.1.2.drv
/gnu/store/ph8m1l1ylwd4za60kz2chgachnncp6nn-ghc-unordered-containers-0.2.10.0.drv
/gnu/store/r1zhhppbksdqg02xhmcq0svril1vikhc-ghc-uri-encode-1.5.0.5.drv
/gnu/store/s87gixi9dr58l3g2wkgjmgw4aalx7y2k-ld-wrapper-0.drv
/gnu/store/skzsbmxv2k7990prdmpkzs3r93dgy0w7-glibc-utf8-locales-2.29.drv
/gnu/store/wlriz1plng2bd2nqym7p1ccnwanm6jws-tar-1.32.drv
/gnu/store/wrqnmlqa6qswwpn9wvdgqzvrpba8nvl9-ghc-boxes-0.1.5.drv
/gnu/store/xa6nxyrxrn9mdj28fx8m7wggwca80ldj-gcc-7.4.0.drv
/gnu/store/xr1vrgmh1nmx1572pl69qnkfjrjmlmrn-ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/y8dlqqv8hsjqrwck33mvrhzxpxbgabxx-ghc-filemanip-0.3.6.3.drv
/gnu/store/yqg6yywyggyssm921q201r505mqdwjj8-gzip-1.10.drv
/gnu/store/znzaqrw34r4dpin436b2ij6l1d8c7rhc-ghc-happy-1.19.12.drv
/gnu/store/zvpcnb49ymv838i1s4pashzhq525509y-ghc-exceptions-0.10.3.drv
/gnu/store/zxdihy6qsqxg699aaa75qvywp88bmplz-bash-minimal-5.0.7.drv

Derivation details

Builder/gnu/store/8x1l6vh0zqk09yfpcrhkylmrilj887f6-guile-2.2.6/bin/guile
Systemmips64el-linux

Build status

Unknown

Outputs

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