/gnu/store/d2h8ryxbz16xhspick6fpj7hvhkqd0ig-agda-2.6.2.1.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/00ggxz951lkbxr614y6wx2ic065j6j3l-ghc-case-insensitive-1.2.1.0.drv
/gnu/store/00js186f6chm1fnjn4mw8bqwablz0xp9-ghc-split-0.2.3.4.drv
/gnu/store/0ayj9clvqwywlsyqy2c7rjq1abqfcibm-ghc-8.10.7.drv
/gnu/store/1b6yp2plx57giwkj2da8b8xsyrlgjc98-glibc-utf8-locales-2.33.drv
/gnu/store/2apzxfqsydrsn0ws29cbkfizm6qscmgm-gzip-1.10.drv
/gnu/store/2dh8n2pcxywsm2annk4wjcbh6gpj39dn-tar-1.34.drv
/gnu/store/38fh81i5nj9xfp0sghv44nanbf3mlb2i-binutils-2.37.drv
/gnu/store/3xgz1c5ljby4qsjf91q3aia0xcfx5qdh-ghc-parallel-3.2.2.0.drv
/gnu/store/4dzkh8d3hkshiz0va7n03nhnvrl4xaia-file-5.39.drv
/gnu/store/5azjbaq8dlc01klbwi25pcys75nrmvi2-xz-5.2.5.drv
/gnu/store/62s8m3jyv343dcqlr5bvizj5dr6fd54l-ghc-edit-distance-0.2.2.1.drv
/gnu/store/7390n94v5f8ihi7gf3sn3i8s5dmrsbch-ghc-uri-encode-1.5.0.7.drv
/gnu/store/778lidshnmhryc6ny4hdyl896pnd82sh-sed-4.8.drv
/gnu/store/7ad861kilhhbnfpzdh1ff1kvfjkvb49j-patch-2.7.6.drv
/gnu/store/7fgdka8s9r58chla1x1sapcarsa7gngx-bzip2-1.0.8.drv
/gnu/store/8dg62pdxq0q5dswmnkrnr8ai8f398dj3-grep-3.6.drv
/gnu/store/9gvn316hbhnfrw4jxrhpzw44xbb2fmcl-ghc-hashable-1.3.0.0.drv
/gnu/store/a049kr8nqqja7p2pj8s5zahkjaxgkmp5-ld-wrapper-0.drv
/gnu/store/aisdjw89lx3g0byslm6lralxp3wzy4gk-diffutils-3.8.drv
/gnu/store/b0kfcshs19i333wcy471vyy2362ff1s8-ghc-boxes-0.1.5.drv
/gnu/store/c4cy70q3z5acd2gmmimjslywpgj24n8n-ghc-monad-control-1.0.3.1.drv
/gnu/store/cqc67l1lp970a3ypzj2c2qdw921x3zcm-coreutils-8.32.drv
/gnu/store/d92hwyzw2j27vqasmv492wcg13g444g4-findutils-4.8.0.drv
/gnu/store/dvb2dk56i0dd9pif6y2if3rm96cxzyp4-bash-minimal-5.1.8.drv
/gnu/store/f7nyy1lzbl3n2ls58z38wc4v5vgfr7mb-ghc-strict-0.4.0.1.drv
/gnu/store/fawkfcd2rrvvr9dbxdp42gvrc5wcp0np-ghc-zlib-0.6.2.3.drv
/gnu/store/fsz4fcx4j2z8mzbrxz3p03qgc06c21lp-hurd-core-headers-0.9-1.91a5167.drv
/gnu/store/gqgbw9zaqb6kr1bd722sdns0slm0z60v-ghc-equivalence-0.3.5.drv
/gnu/store/hcjmyrir8haqdp5snvghnn97c1k4w0av-Agda-2.6.2.1.tar.gz.drv
/gnu/store/hfha45bm0czkkgx6f155chhygjh6f8by-ghc-alex-3.2.6.drv
/gnu/store/hkkjml66ymjilzsjbjqxakqj3c4yjhh0-ghc-regex-tdfa-1.3.1.1.drv
/gnu/store/i4yn5xa47pldl8d7fhs3sfl6nrabgr2q-ghc-data-hash-0.2.0.1.drv
/gnu/store/j9pks3vc0izbkvm5zrasbl3v4r3a8sgi-ghc-blaze-html-0.9.1.2.drv
/gnu/store/kgg1lbmwg7lnqmggzvxpqi2nd8005vgl-ghc-unordered-containers-0.2.14.0.drv
/gnu/store/lpacayjkkjrnfq70588brcpjpg8h9h4j-make-4.3.drv
/gnu/store/m7cnaav9dr9jsaf40wnp4d1yb8kw1jrb-gawk-5.1.0.drv
/gnu/store/p0pq9sc84daj7fxh8jc89bvj1awzqp4m-ghc-hashtables-1.2.4.1.drv
/gnu/store/pxjwh5v8mnkfi2hvzm84qlkqanjvmaq9-gcc-10.3.0.drv
/gnu/store/q1glrcnlp6i5nqyjypxsg0wabs3aadq3-ghc-async-2.2.4.drv
/gnu/store/qy2bj6d0n9n6zh7qjnlivnw42qj97b6w-ghc-aeson-1.5.6.0.drv
/gnu/store/r1jfhbmd1d6n00z33l7fw83l8mvj8418-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/r2pfihsj9z0jb6ymxhg4hnpffaiq4l55-module-import-compiled.drv
/gnu/store/razagbjmh8fwnpyckb1v76a6ndcinc7z-guile-3.0.7.drv
/gnu/store/wmk78l73r48yxsk92pac3vxv7gzsw516-ghc-happy-1.20.0.drv
/gnu/store/zdd3ly3633l9mfaalfi3dvqyk2qp93vw-glibc-2.33.drv
/gnu/store/zmr26hmxijqn5w0xf6bn104csgpqfj23-ghc-gitrev-1.3.1.drv

Derivation details

Builder/gnu/store/inb5f91sznk8w2ykzzzhpmxnqdh0hsci-guile-3.0.7/bin/guile
Systemi586-gnu

Build status

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

Outputs

File name
/gnu/store/09bl7kkwlbs2gljv0h13n1589wqy8rd4-agda-2.6.2.1
/gnu/store/4qbf33fxvhnr91dvd8fjpkf85r2nhrz7-agda-2.6.2.1-static