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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/03m4j9qyr7lq2m3m6sv67hc26lmp6pzy-glibc-2.31.drv
/gnu/store/12cvb6zg002piab1022zqxb030gqqjvf-ghc-data-hash-0.2.0.1.drv
/gnu/store/1h0f7i7kdk58bj884rjszczfdm0ijd6f-ghc-exceptions-0.10.3.drv
/gnu/store/1j8fx96zjdmvnh3azkmr29fvjxm0yrh8-ghc-hashable-1.2.7.0.drv
/gnu/store/1r0airvak8gb8dr7gn33650a7rvlypr1-ghc-boxes-0.1.5.drv
/gnu/store/1szrwv8rg2z20jm36fig46mwpyil6km7-ghc-alex-3.2.4.drv
/gnu/store/24dx1rrfkvz7d5kn92glrm7icc7sdmzz-coreutils-8.32.drv
/gnu/store/2ad7hzmpx9kifk3p4jfizf8hc92y946a-Agda-2.6.0.1.tar.gz.drv
/gnu/store/3h7w25qd9s3fbv9lqx7bq0xybw6ba7kr-ghc-unordered-containers-0.2.10.0.drv
/gnu/store/3s94apfynf62q262xbb0chs3s6sfr1rj-ghc-zlib-0.6.2.1.drv
/gnu/store/47qy2f9xj4scc57sm5hpz2nxn1kvnga0-xz-5.2.4.drv
/gnu/store/48i05n5sc2a76npspfnh34qx0kv6xq9m-ghc-filemanip-0.3.6.3.drv
/gnu/store/4f902qjrkmld4xpw3cpam76ddmgcdz7w-ghc-gitrev-1.3.1.drv
/gnu/store/65him2b02r99zk5k2sf3qd85xa3ncgh9-ghc-ieee754-0.8.0.drv
/gnu/store/6awn8mdyssfjksrkpg30lr4w9ngwwqq5-ghc-edisoncore-1.3.2.1.drv
/gnu/store/6rbmh2r24nh8brdqrc57pb5ijd26rrpf-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/795cbs3wvkcd2vg3lm5fgmx3cgxb9n6l-ghc-async-2.2.2.drv
/gnu/store/799sb1fzy20kyjby3pli1zkhxydap98v-gzip-1.10.drv
/gnu/store/8g47imygjjrgkqyxd5ws9awzhlhwp2m3-binutils-2.34.drv
/gnu/store/a75mbkicp5nkabhdhd76bgvv3sl573by-gcc-7.5.0.drv
/gnu/store/arkrmr7r69bnyg1z19caw4chxg4v01by-glibc-utf8-locales-2.31.drv
/gnu/store/bsjpk49bmnwxm1qhwps8g84730x4ib8r-ghc-strict-0.3.2.drv
/gnu/store/iqllla0dmpryfkyhcvmqsn8ykhnqq0jq-guile-3.0.2.drv
/gnu/store/jy5l46sgiffi5ml9vnnaklll8idxprq4-linux-libre-headers-5.4.20.drv
/gnu/store/k3gbwi3b8217ws5nz01jnixr1v2kk4p1-ld-wrapper-0.drv
/gnu/store/k52rxafnzjdm8m80fi4in2jm3d0v50ac-sed-4.8.drv
/gnu/store/k9whqjy1glzlhzfzcjqda2gd8zhilgwa-gawk-5.0.1.drv
/gnu/store/lzl3gxfw5vffash39van6xzj0xcxkayl-module-import-compiled.drv
/gnu/store/m6m587rfxj308bs52jhwhjrdv40b9yaa-bzip2-1.0.8.drv
/gnu/store/maqzlq58j8bcnsc58qqgymfvcpwh5b0x-diffutils-3.7.drv
/gnu/store/n9rqkgqszj91bvskpg2a4pi22dmgsc1b-bash-minimal-5.0.16.drv
/gnu/store/nghy12g6sn79q47c6lxy4mxmh0n8jmqr-ghc-hashtables-1.2.3.4.drv
/gnu/store/pl1anjsjyp1f18crcx0dhlg90jsslygc-ghc-edit-distance-0.2.2.1.drv
/gnu/store/qicjv86awkl7cjvx4rx60s2bhl3dw7ww-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/qigqv48md6863p8gxs4d5rjhhd1zrh1c-ghc-aeson-1.4.5.0.drv
/gnu/store/r723r9qz7pb6791mvr72hrl6kq0ssm4r-ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/rdjrpy8sll75q4jfbwx7spl5qh6wl0p3-patch-2.7.6.drv
/gnu/store/smfhpcnc4y8y8j7yp7mv9mg6kydas6vm-ghc-equivalence-0.3.5.drv
/gnu/store/wvl2xb7lvk9izgqdimn653pab8c3h7d2-findutils-4.7.0.drv
/gnu/store/x67j382hrjv8h9j9r0slf1jgvvw3dh1a-file-5.38.drv
/gnu/store/x7vc1m5qj63412c16wa8pxdmwnsbrhhg-ghc-8.6.5.drv
/gnu/store/xagxlqzx53320d7m9viyimhrapzv23m8-tar-1.32.drv
/gnu/store/xb9mrm8h5h45idx5kngpzarlpxnr4s2j-ghc-blaze-html-0.9.1.2.drv
/gnu/store/z5smmjh5qp2040j965j6ab70qab1nryh-ghc-uri-encode-1.5.0.5.drv
/gnu/store/zr97la7ilk779qcwfp83s6v4388ps3j2-grep-3.4.drv
/gnu/store/zrmrm6454fwzir5vhqvkw66g19gz3kif-make-4.3.drv
/gnu/store/zz9nc1iz3k7s1jfz11i7n2wpjrinxzvp-ghc-happy-1.19.12.drv

Derivation details

Builder/gnu/store/x3gq648qnfnla7nppyfjvj62s2i8y7rl-guile-3.0.2/bin/guile
Systemaarch64-linux

Build status

Scheduled
View build on https://bordeaux.guix.gnu.org/

Outputs

File name
/gnu/store/gpp6b9hcm9pg0ycmcxhi2r4jkm64plh6-agda-2.6.0.1
/gnu/store/5f76m2y2cbp9ay21vysdq5q1dp8jgjd8-agda-2.6.0.1-static