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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/19yvrzjc2hjxy7hdl8wipnwh0kbfjglz-ghc-equivalence-0.3.5.drv
/gnu/store/2fqfvbz86ynax7cr4c2aa266j9l3mmyw-ghc-8.10.7.drv
/gnu/store/2rc8x7mpy7rrylaxlx42cykx1ghw5a3z-gawk-5.1.0.drv
/gnu/store/2xddvlksi10f60ib0n9y6xjymhsplw83-ghc-blaze-html-0.9.1.2.drv
/gnu/store/3yapimj8d5ri2km86ay0hnkayv19wkqj-ghc-gitrev-1.3.1.drv
/gnu/store/4vgfw8jr3k5svcq1pp0r59drqhj2ck0h-grep-3.6.drv
/gnu/store/65466c4j9n3q99wb1lk8fprazjrfci2y-ghc-happy-1.20.0.drv
/gnu/store/6c6ry9mqrs6517cpav6jkg6cqkgkc65j-coreutils-8.32.drv
/gnu/store/6dg7ikzqq660j6pb2ma5ayja247q24g0-findutils-4.8.0.drv
/gnu/store/7214v71blsf5zj61l8hm3hxksbrm9a6k-ghc-data-hash-0.2.0.1.drv
/gnu/store/80ibsi7284whpvwkwaxsnra5z9p6j8js-bash-minimal-5.1.8.drv
/gnu/store/8bf32qmqybsfvrnl16wdlgv7xa6k4nhq-glibc-utf8-locales-2.33.drv
/gnu/store/8fbwyaxh63nhflqswvkmj332fpp3xi53-ghc-uri-encode-1.5.0.7.drv
/gnu/store/95qx9l25hmd07clniiwx6z58qmy45253-binutils-2.37.drv
/gnu/store/9akffgxg537ynrw5rh28ckk6qyndispd-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/9rys9bfq9x6g9jdb43lxl3qvvqi39n8b-glibc-2.33.drv
/gnu/store/aq09id1r7j7bbzlfn2agzldsjff34vcm-ghc-zlib-0.6.2.3.drv
/gnu/store/b49wzjlf2xxsp648fnbpphxh0yg2iimj-file-5.39.drv
/gnu/store/bw56wayqvrv6jd9nk0c263ff2h3hqi4z-sed-4.8.drv
/gnu/store/dicdbynxbyvr24rrhnmb83h20fz5cvqx-ghc-boxes-0.1.5.drv
/gnu/store/gwkf8j21va3sbn2dkjzlma6vwmri16wy-bzip2-1.0.8.drv
/gnu/store/h95wbziakwk8x49ifi2iyag2ziyaxmw0-ghc-parallel-3.2.2.0.drv
/gnu/store/hg780mj1zhzb9c9l09mj8kp82lk7gd4g-patch-2.7.6.drv
/gnu/store/hp4r08a2jqwzv299vb22h8ld35zhrxhi-ghc-regex-tdfa-1.3.1.1.drv
/gnu/store/j3j1shy5b496p8s1cfc7vfyf6yghmlz8-gzip-1.10.drv
/gnu/store/m9fpn3dl4nps8xz5wlf68z0g81p76zp7-diffutils-3.8.drv
/gnu/store/mgf6nxafaifh0bwvgd6hxyfvg1wk8zmw-ghc-monad-control-1.0.3.1.drv
/gnu/store/mlljf06bsl1m6ikq26k5bmzw5v2klf7w-xz-5.2.5.drv
/gnu/store/mxjssisw3xiibyn1w29kl5i4xgib6cw6-guile-3.0.7.drv
/gnu/store/pk5lcyqs4k34a0d6h8i96b3mcf5ykcw2-make-4.3.drv
/gnu/store/q0zr6wra7n06x2qkxsfgv2vhvl3zb41z-ghc-edit-distance-0.2.2.1.drv
/gnu/store/qbsim5p134nhwrp06nsv0lsips766b9v-ghc-alex-3.2.6.drv
/gnu/store/rfq2zj6mwxg62mhpr65c3rn66ivzk0mz-linux-libre-headers-5.10.35.drv
/gnu/store/rpdp9lv4gmamb0c927x67z57b98fsglm-Agda-2.6.2.1.tar.gz.drv
/gnu/store/rqdrcmb3mi11ga59x65ykskpxgywn1gh-ghc-strict-0.4.0.1.drv
/gnu/store/sr3zvq1y7xralsk6z0mdgh72fqaacqyv-ghc-split-0.2.3.4.drv
/gnu/store/v8nwjh0z4s2hcb04slrgl1priqpnz9zr-ld-wrapper-0.drv
/gnu/store/vibv00fhvsd9xyilxp7869710r501ax7-ghc-aeson-1.5.6.0.drv
/gnu/store/wyc5fyq1k3jc9hw57kahj6ajl2bjn91a-module-import-compiled.drv
/gnu/store/xkvd6bj7dbwmddamrqffhq44f5h3nsdd-ghc-hashable-1.3.0.0.drv
/gnu/store/xlmd1w6f60zfmspdq0sqbpljf5jm6zmn-ghc-hashtables-1.2.4.1.drv
/gnu/store/y445cf8gzc7m8r4n9pvb7v6rx60hlp8f-ghc-case-insensitive-1.2.1.0.drv
/gnu/store/ybliwccd5b0z352jcsa6xdn9qp65rz1m-gcc-10.3.0.drv
/gnu/store/yh0i4qhzn68di9wg7li7r8zsk1kmil7a-ghc-async-2.2.4.drv
/gnu/store/z954aa1xppa8a2j3nqh44cl9c9643pgg-ghc-unordered-containers-0.2.14.0.drv
/gnu/store/z9s5pv2gdxhv2zzdwfdcgfc7bajpqwh4-tar-1.34.drv

Derivation details

Builder/gnu/store/7n5vpd85mgm1vi5jap51gnwfavxqf5la-guile-3.0.7/bin/guile
Systemi686-linux

Build status

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

Outputs

File name
/gnu/store/znqmrzmhwm0j83g6mal18f5js5md0p44-agda-2.6.2.1
/gnu/store/xr47xs0p9dqaib92qrpwnw89vriiadvx-agda-2.6.2.1-static