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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/04d07abd2ziwx5nqfqb91capdw29giwd-binutils-2.34.drv
/gnu/store/0ayixq8xqqdswbzbf9bq0rvjnp0lssnc-ghc-gitrev-1.3.1.drv
/gnu/store/0kq90bnmk974wa4zr647ikady8yrsalq-grep-3.4.drv
/gnu/store/26ldwk8wikryacqz39s2aha5l3ivyp3d-module-import-compiled.drv
/gnu/store/33ncl9zbpf6rfns50lsykw66my29bg59-ghc-zlib-0.6.2.1.drv
/gnu/store/3z2zdh10fghaf2p66cjr6gki5pdhr808-ghc-edit-distance-0.2.2.1.drv
/gnu/store/51cv84jyyrwpfakdn6214bs6126mfv48-bash-minimal-5.0.16.drv
/gnu/store/568sqp7a80h21brp9yvrgrxvqgws8qvl-linux-libre-headers-5.4.20.drv
/gnu/store/58hck9r008v8y7gf997ssksz10adjqb5-ghc-async-2.2.2.drv
/gnu/store/5ialm15p5qgcq3yq3f38c8p7091k4z7w-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/5r3q06g38i4lf126yr2w4yy49ymkcghh-Agda-2.6.0.1.tar.gz.drv
/gnu/store/82q18pcsqfi6rdkwa3hmwqjhc9l4wrii-ld-wrapper-0.drv
/gnu/store/8q5zfqdinkyskn8bbplzk3l2hq8iv78m-gcc-7.5.0.drv
/gnu/store/8y656zzsv714zd212navagcmkglqxgj0-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/a0n21nhf686pawxr4ffvw860i2bazs0f-ghc-filemanip-0.3.6.3.drv
/gnu/store/a9zy68rz4z5in395r4mmybhmn9gfvx1h-gzip-1.10.drv
/gnu/store/b0syji3mdp78sz1a4q8s3mnd8hdbkp0h-guile-3.0.2.drv
/gnu/store/byhdsb31dnkhd1cs72dzi0nikl40y9rx-file-5.38.drv
/gnu/store/cbqn7cmxbmjlwrdjc1gqv233c8rw3sjk-ghc-8.6.5.drv
/gnu/store/gwbynq1iiijmcv8z1a2c4dmlbq5i6idd-findutils-4.7.0.drv
/gnu/store/j3nclm5cyhw2zy7w6n8nl839gd30pn0r-ghc-blaze-html-0.9.1.2.drv
/gnu/store/j3p8vx4vp6d1654mfgcxwp26pi8zbd19-ghc-unordered-containers-0.2.10.0.drv
/gnu/store/k43m6gi372wzwz0xir1axms8vp2jyv1c-glibc-2.31.drv
/gnu/store/k64lfvxzlz53bbxsbz1wzr9z6d7cxg5w-coreutils-8.32.drv
/gnu/store/k6qqg78cd34dlrabinjlhbpn1dgf9k2i-ghc-strict-0.3.2.drv
/gnu/store/kak8wvrxxgl686jxf88vrpw0fbblnvwc-gawk-5.0.1.drv
/gnu/store/l0y99m3sn3p10qriqgadcaw0a3963sdl-ghc-boxes-0.1.5.drv
/gnu/store/lmyz9p3w69b29q5bbfa3xvk9cpw5z4an-glibc-utf8-locales-2.31.drv
/gnu/store/ma9y2wxpah1hp9ay408x4w8pc77k8cgf-xz-5.2.4.drv
/gnu/store/mdmg7ja9p4pi62rbn9rssqz39aa5419m-ghc-alex-3.2.4.drv
/gnu/store/ndw95kvvp1r9nk4wgrbaym3l6ndbbyvn-tar-1.32.drv
/gnu/store/njs5phyg1c511hd01fjwa7jlq4vqmxxd-diffutils-3.7.drv
/gnu/store/nkga7plvc5f0csfkrypr1kpgw6yg37az-bzip2-1.0.8.drv
/gnu/store/nnj5r44n6w3ra3fcrij2rv3ln76395n5-ghc-exceptions-0.10.3.drv
/gnu/store/pb61nmqwb3cf3pvkxhkxf1irga426hv4-ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/pkgja76qj9x85d6dm6vkrjy3drwpkrm4-ghc-equivalence-0.3.5.drv
/gnu/store/pwqjqmvg899s4i8zifrg8zivx1kn0kjv-ghc-ieee754-0.8.0.drv
/gnu/store/qcnzwhpcfyk94z2ck2k5xfyh9gm1490s-patch-2.7.6.drv
/gnu/store/r4vxd8xsq56y7ygbpb0dfn25k7rid8rg-sed-4.8.drv
/gnu/store/s0hl1z4ljay9dk4522z9l11mgcvsnfxr-ghc-happy-1.19.12.drv
/gnu/store/sc53jha753wxnp8fbw0cfban61vpxigj-ghc-hashable-1.2.7.0.drv
/gnu/store/v4j6smcxww61lbhkrgdc4cy4brz9z0p2-ghc-uri-encode-1.5.0.5.drv
/gnu/store/v7x4qikpnckg90xmmrplp4ciay0xg8ad-ghc-aeson-1.4.5.0.drv
/gnu/store/v8nxwbdz9f2qynry0jysrj4gcibx0kdr-make-4.3.drv
/gnu/store/xz2cjivf920zy369z2cib11g9w69d190-ghc-data-hash-0.2.0.1.drv
/gnu/store/zc3cyp50rr0kk57qf8bfn624vdmirzhl-ghc-hashtables-1.2.3.4.drv
/gnu/store/zhimzzvf314r6j1640w540r5j4id5wlk-ghc-edisoncore-1.3.2.1.drv

Derivation details

Builder/gnu/store/0m0vd873jp61lcm4xa3ljdgx381qa782-guile-3.0.2/bin/guile
Systemx86_64-linux

Build status

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

Outputs

File name
/gnu/store/zj32dlv99980bp7fc13xc3y8fkr9xxfp-agda-2.6.0.1
/gnu/store/55qqrlf6x9nv2h2cv9gadlsp8vj6319i-agda-2.6.0.1-static