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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/0cqlhli5dm4da644a3zfrpybqdq2mgdb-ghc-uri-encode-1.5.0.5.drv
/gnu/store/1nzc5fwsv7lgyqhnmmragikh8mli74rp-xz-5.2.4.drv
/gnu/store/1vjj37rkf5csdn2f810k6a6lik22dkjl-ld-wrapper-0.drv
/gnu/store/22anka9m7s6pwjjipixhnasi19x1z51f-ghc-hashable-1.2.7.0.drv
/gnu/store/2lmdda09kxqzxhfiid7sryv8dzfzxcvn-make-4.3.drv
/gnu/store/4jwin41xpm0ndjzb2c43p8k28rxsa992-diffutils-3.7.drv
/gnu/store/4w1vj4jml8w09lvcyb0syl9nl6i9xc1n-ghc-hashtables-1.2.3.4.drv
/gnu/store/56jrz9l95jmzskmbw71d24j5j35bi7fk-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/5y9lfi7q2k91m7zl4ws4yzabvn53caw9-binutils-2.34.drv
/gnu/store/6kdx3xb3w3dwqs8yjiikfwh9i3g59k53-ghc-strict-0.3.2.drv
/gnu/store/7rzjpgn8flcb4wqwv1ypp2xc589ag3qh-ghc-exceptions-0.10.3.drv
/gnu/store/8fxbxdlbxa9zfyi27yczjzyhigavccjh-bzip2-1.0.8.drv
/gnu/store/949pxwz4j8gb5jjfq0yfm42mzyn2mrkm-ghc-blaze-html-0.9.1.2.drv
/gnu/store/9ah2s2m6ljp0m8p58zzf45710i0rd7dl-ghc-alex-3.2.4.drv
/gnu/store/a79plkr5bs9536dnsflwwm13yixdf0sh-ghc-ieee754-0.8.0.drv
/gnu/store/b83v27mhy1y5w31cgxxc2krxvshik8k2-bash-minimal-5.0.16.drv
/gnu/store/bghd7z7y3zq3ilf06fxppaiyg6wj9rhf-gawk-5.0.1.drv
/gnu/store/bid7b7kp5b9gncqnzc1iifvz9klq768c-ghc-boxes-0.1.5.drv
/gnu/store/d999ayg4ijapqxiwbn40f963hzazabd1-tar-1.32.drv
/gnu/store/dkizjj2aca6x5lvsgv6jz0z13jxf5r3d-ghc-aeson-1.4.5.0.drv
/gnu/store/f417ikqrsarh20ypyhkv48zpzh4982fj-gzip-1.10.drv
/gnu/store/i4z94idm7ad2x06cbnvzpg9s9nn7554b-guile-3.0.2.drv
/gnu/store/ik8pfllhp2qkz2ckjkzh6j0mqvp7lzbq-coreutils-8.32.drv
/gnu/store/k0fcnm8ksvjm0gc25ly2rwp74wzgpssn-ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/k5r1729xjjzpgs5kpykadq2zvf6lnq04-file-5.38.drv
/gnu/store/kdz0y9xpskyci4ybc287f9dmafny75vf-ghc-equivalence-0.3.5.drv
/gnu/store/kjhz5xq7144pfzc1pxiwslpdh0pcqs5b-ghc-edisoncore-1.3.2.1.drv
/gnu/store/lan55w5yllhhi5hk78wfxw2nphws7g42-ghc-async-2.2.2.drv
/gnu/store/mf8q53091vxg7s9nv6gbwvx3f5n42m7z-ghc-edit-distance-0.2.2.1.drv
/gnu/store/n8xm6kawfhqx8rdvgfdvr3vma58rznfw-Agda-2.6.0.1.tar.gz.drv
/gnu/store/nc10pmhfav2qff8pi6lwpqf1gg4s7kkw-findutils-4.7.0.drv
/gnu/store/nfnf98icmla83i28f1ll2vdivbrhfjpj-ghc-filemanip-0.3.6.3.drv
/gnu/store/p2qf8gha74b668710455vf5k8qxhpxnp-glibc-utf8-locales-2.31.drv
/gnu/store/pgdi04lhiappw0hylmwsgmk4ggxpn40q-ghc-unordered-containers-0.2.10.0.drv
/gnu/store/pm96w65g2k597dr2v95v6iggrfk8b44d-ghc-zlib-0.6.2.1.drv
/gnu/store/pvnd8k37zra4f54hjy2g6vlb9axk2zrw-grep-3.4.drv
/gnu/store/pvwf49a6q7cn116anxy884b9l8vfns1f-glibc-2.31.drv
/gnu/store/qfifsbjlhcwc5dmhqhnk0q0wjd2pl7ak-ghc-data-hash-0.2.0.1.drv
/gnu/store/rbzinrzdd02ym6zdx2i39gfqw14v67ya-gcc-7.5.0.drv
/gnu/store/rx58xlpnpn4jdv23vmxgydw3qr22kz5z-patch-2.7.6.drv
/gnu/store/s8ws1alsrz94vfa4cy5f5zd1fvpckjci-linux-libre-headers-5.4.20.drv
/gnu/store/v9j92yjaq9ra6z9d0kk9aw4b6lrxxpwb-ghc-happy-1.19.12.drv
/gnu/store/vmixsxzds3c99rnjw9d2zfn7ya2810la-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/xcjq7m17c7gnpc92fxndn8hs07qq9lv2-ghc-8.6.5.drv
/gnu/store/yjijliy5g9hp85xxdayb2rr0m5dryh2p-sed-4.8.drv
/gnu/store/yybdcymp7d1h6dn0nspsd3kxb2rsvfd5-ghc-gitrev-1.3.1.drv
/gnu/store/z8q5lmb78z1fz39pygl73f8a8k91m2wg-module-import-compiled.drv

Derivation details

Builder/gnu/store/lgk876wh2bxxglplbwyymkx3sqzcbnk9-guile-3.0.2/bin/guile
Systemarmhf-linux

Build status

Unknown

Outputs

File name
/gnu/store/bm72gjl6p6mz8l64gg4sy812sn8qk6il-agda-2.6.0.1
/gnu/store/fm8lyr9yjs3pswwa05pgj262z0p95q1f-agda-2.6.0.1-static