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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/11vv3f6lm6hwf49b7p3cc42r683c2vbx-glibc-utf8-locales-2.31.drv
/gnu/store/15kp5k462qfkxx9jghr3304sp9nldhgp-ghc-8.6.5.drv
/gnu/store/174nndhjdb0w5ppm1b7gqw892cm3ds1f-ghc-hashtables-1.2.3.4.drv
/gnu/store/1wjz8hxsrvkijq8pky51p6qz8dwldaf8-binutils-2.34.drv
/gnu/store/3yhgrp3l1c7kgf21mgzbbn3wi902n4cc-ghc-equivalence-0.3.5.drv
/gnu/store/51dnsw3a9k4h4svgz0dp49lv175x457y-ghc-uri-encode-1.5.0.5.drv
/gnu/store/5pnx0g1wabvg5diqkc0qfgqjhd0mmzar-Agda-2.6.0.1.tar.gz.drv
/gnu/store/6rp8cz3w08z8d8855y55yym28a1qqzks-ghc-zlib-0.6.2.1.drv
/gnu/store/6zwr1g4bchwhanzzygdcymhnkq44kash-module-import-compiled.drv
/gnu/store/7ivqfwaiq3yalixckiyf4cpjq3zvyhb5-ghc-aeson-1.4.5.0.drv
/gnu/store/8vrabj8ghp2gjcyh5jqyzxz8n3qbzy82-grep-3.4.drv
/gnu/store/8xsl2zj40h2yrgfrd3rx3nq0ybadns9k-guile-3.0.2.drv
/gnu/store/a0ffpac3rgkcp199c0m91pvc26q3bxxz-ghc-boxes-0.1.5.drv
/gnu/store/abjxn8wy1xmsskhp88ljw1jxl53mwxds-ghc-alex-3.2.4.drv
/gnu/store/b210ccmx49flv34fhgwcx2xqnz43k9hg-diffutils-3.7.drv
/gnu/store/c8lcilwmda8asla0jpkh072xp2dhpv40-ghc-happy-1.19.12.drv
/gnu/store/cglm4v5fyhm9zy0x7ccysjzri7mg28s4-make-4.3.drv
/gnu/store/cgvb8p13d5qsc2x1v3n1xxii2apjvymq-ghc-edit-distance-0.2.2.1.drv
/gnu/store/cvfijcr5spk3q0ah7j2h6hhkwghinbvr-ghc-edisoncore-1.3.2.1.drv
/gnu/store/d40p4x6b9nbqqnlvk60mn30acm4pxhdg-ghc-hashable-1.2.7.0.drv
/gnu/store/df027b0bhzn281wpnfgv87gwa79fnnbj-file-5.38.drv
/gnu/store/dfbim2civ2r38qarq7pyxpfx06qavd88-ghc-strict-0.3.2.drv
/gnu/store/dpf87hrnyg110ahqgx89ikd0jrxp7kqw-ghc-filemanip-0.3.6.3.drv
/gnu/store/f61xm18pd3p494is7dvnv93rj1g42zm5-ghc-ieee754-0.8.0.drv
/gnu/store/fixlwva4d21z5hzwixiykwn7rif4j9a5-ghc-blaze-html-0.9.1.2.drv
/gnu/store/hjaz6x2jwd8prlqjg35c6ysmfc5xg7gm-bash-minimal-5.0.16.drv
/gnu/store/hpbn1pfdljkff4cd0z9z6a9kki55pxgk-gcc-7.5.0.drv
/gnu/store/iwpgsfcbck83qwn6f7q49c4mj37g22q8-gawk-5.0.1.drv
/gnu/store/j5n8ji9jn54d44v8j2h9b9p88jvzxigk-glibc-2.31.drv
/gnu/store/jwlidc3bwd8r2cw5rqv3jsb3i47snbwn-patch-2.7.6.drv
/gnu/store/m7jrvayg66r3dyiigfaa0lj1kjx4ckvd-findutils-4.7.0.drv
/gnu/store/p26nzpy1riqxkvaq1yfnhkk7l7ad21ca-xz-5.2.4.drv
/gnu/store/p75bklvk7fs2d1n8alh97mkl429z58i7-ld-wrapper-0.drv
/gnu/store/ql8gakalc3nllz2ag5q73ajgkc557b3z-ghc-async-2.2.2.drv
/gnu/store/r1gzk2ap5flgg0jxh6srnb6rwprk4f35-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/rpz723692kpivl9cgvxrkpx6vvl7lsnv-tar-1.32.drv
/gnu/store/sq7vawlcjfx2d47japfn2zlnlawp85qj-ghc-unordered-containers-0.2.10.0.drv
/gnu/store/vz97qf48fc85sy16dcj5jbdqqnmr9xhk-sed-4.8.drv
/gnu/store/whb962aklrn8kpscgiwzn8c9qra03kyw-ghc-exceptions-0.10.3.drv
/gnu/store/x0007fniqvadn8hwgr40xv0w6f32190q-ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/xwqsyb13a7m2isl7ln1wlxv0281b54hy-coreutils-8.32.drv
/gnu/store/xzi6dgw4mlqvg59a63v096vg103skvcg-ghc-gitrev-1.3.1.drv
/gnu/store/y24fplp969liaz0sx55fn735lh9d4zvq-ghc-data-hash-0.2.0.1.drv
/gnu/store/ykzn1q5z8rh6wpvpdril7mkr9pcqh88l-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/z52p0yhzgy6jbzpqnlvaxb3gcl5pppnl-linux-libre-headers-5.4.20.drv
/gnu/store/zl1k9fi51jgmypq4lbn658i2jbxxvc6s-bzip2-1.0.8.drv
/gnu/store/zvd94b0mpyli4wbkdnxxc9ypcanfri9s-gzip-1.10.drv

Derivation details

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

Build status

Unknown

Outputs

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