{"setup-failures":[],"derivation-inputs":[{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/akkmdgxiz66c6dxbn6v16n6dv1zj6fbk-linux-libre-headers-5.4.20.drv","uuid":"fbf424e7-e055-4078-8a6d-c0abc4fabbcc"}],"output":"/gnu/store/72z9rxrrmfw1xx9gf27jm2s8h5h0fkh0-linux-libre-headers-5.4.20","output_name":"out","derivation":"/gnu/store/wwqcrjvrcvv8yvb02f3wa8pxw20cysqz-linux-libre-headers-5.4.20.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/xhdvxb8bn0yqydzr25nyv87dkwz5ay0k-glibc-2.31.drv","uuid":"38266694-0758-46fc-86f4-76d8b07f0f66"}],"output":"/gnu/store/llkv94k15spryi6zf0gjm0fp7m8k3i8g-glibc-2.31","output_name":"out","derivation":"/gnu/store/xmw7vlkwxi5pynz2zf3bd8r5m59cpm26-glibc-2.31.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/xhdvxb8bn0yqydzr25nyv87dkwz5ay0k-glibc-2.31.drv","uuid":"38266694-0758-46fc-86f4-76d8b07f0f66"}],"output":"/gnu/store/m4l52mw8m0amgy4j129z5j0syryb7pkg-glibc-2.31-static","output_name":"static","derivation":"/gnu/store/xmw7vlkwxi5pynz2zf3bd8r5m59cpm26-glibc-2.31.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/606hcwg4rrpncd4x6x6w9cf93a9kpg12-binutils-2.34.drv","uuid":"a2235434-ac05-49d7-b34e-1acec19a6ffe"}],"output":"/gnu/store/1iwrsjwmhcdifc8i3v7qdr59k6gq4z24-binutils-2.34","output_name":"out","derivation":"/gnu/store/31100zqdwmyf88svh45ri1pi33x21rwv-binutils-2.34.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/h79walb0kdl2nzcpwdadcrc0gi0hc609-gcc-7.5.0.drv","uuid":"312f7a46-8efd-49c5-8c50-f5de87ad8a29"}],"output":"/gnu/store/z8954h4nvgxwcyy2in8c1l11g199m2yb-gcc-7.5.0","output_name":"out","derivation":"/gnu/store/rzmv807z8qhqv63p4a2yf6sqcx8pglcc-gcc-7.5.0.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/ggwdvxh91q5qwzvy0lpj1jznbg5z850d-bash-minimal-5.0.16.drv","uuid":"40b357e0-048f-41a5-b358-f4aac30cb06d"}],"output":"/gnu/store/7zp9ifpgm3zj481nk6jg1im13g4mza2g-bash-minimal-5.0.16","output_name":"out","derivation":"/gnu/store/ikhypklgcp8qszlch2nz2xwf45k78r2h-bash-minimal-5.0.16.drv"},{"builds":[{"result":"failure","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/dydhjh88fmkrz1f6kjxm6k3pyxs3zkqc-guile-3.0.2.drv","uuid":"47b075ff-8d75-4bd6-9d99-a35e406f1e5e"},{"result":"failure","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/dydhjh88fmkrz1f6kjxm6k3pyxs3zkqc-guile-3.0.2.drv","uuid":"a91035e7-dd2e-431f-981a-0677df1865da"},{"result":"failure","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/dydhjh88fmkrz1f6kjxm6k3pyxs3zkqc-guile-3.0.2.drv","uuid":"f1faaffa-623e-459f-a4a1-40ec31c9599e"},{"result":"failure","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/j5x9q9rii8sz2p7s1nvi014yam1lw632-guile-3.0.2.drv","uuid":"26466e8c-1213-4adb-b05e-4db69ed1b2be"},{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/j5x9q9rii8sz2p7s1nvi014yam1lw632-guile-3.0.2.drv","uuid":"8a27cc0f-151d-48c1-bf7b-f89a591491f1"},{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/j5x9q9rii8sz2p7s1nvi014yam1lw632-guile-3.0.2.drv","uuid":"c621d27b-949b-47a3-95d1-9eb21a3f203e"}],"output":"/gnu/store/lgk876wh2bxxglplbwyymkx3sqzcbnk9-guile-3.0.2","output_name":"out","derivation":"/gnu/store/pg7xmb23km1aj7pam1nckq1dlqhzbb89-guile-3.0.2.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/7rbicicw7b8jmphim3ia8fyip7kyz38g-module-import-compiled.drv","uuid":"da93c8e1-15fd-4fb1-881b-1878c0914c37"}],"output":"/gnu/store/dw07ghxwzcxqgrml1n46j3a6qxqv62b0-module-import-compiled","output_name":"out","derivation":"/gnu/store/g0aldmx6jfl25x6lmlkq54n0dhv6j6sk-module-import-compiled.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/vqy8jzf2mm7arljgmximd9rx7yb4a28p-glibc-utf8-locales-2.31.drv","uuid":"73592788-25d0-4dc8-903e-b4df7bdbfc39"}],"output":"/gnu/store/vispxhcwmvasm225pm373jhfn21q1sa1-glibc-utf8-locales-2.31","output_name":"out","derivation":"/gnu/store/n4qiww8n1b8086vvw0lmmlrpbby047wi-glibc-utf8-locales-2.31.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/z6rplk2fq72whrmhr2pbb8s3dqjba11q-grep-3.4.drv","uuid":"38ecdc96-3dcf-40a3-a1bc-9711d37cec22"}],"output":"/gnu/store/74d5jq5sj2fhy5j0j07jqdclf8nyxgqn-grep-3.4","output_name":"out","derivation":"/gnu/store/13jdvhs4inkr165blwmqqa6hjmsjlxlz-grep-3.4.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/kd4i7z0l5j5vbcp3hfy74f57gs1n7fjw-coreutils-8.32.drv","uuid":"f862824d-5c65-4cc9-b3f1-ba1af954dfe5"}],"output":"/gnu/store/wy177cwa387g9kaf3ss716d4fhzb21wx-coreutils-8.32","output_name":"out","derivation":"/gnu/store/gzjw5z41b08m2jzrw1c5vhgsgk94njqw-coreutils-8.32.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/0pcmv0zf522zygfx9zijjhgnl5yl8wi4-gzip-1.10.drv","uuid":"e712ddee-f0aa-4a04-b4d4-9e375d461ec5"}],"output":"/gnu/store/chqjscapsg928dy8pg6yrdhw3ypk8c9x-gzip-1.10","output_name":"out","derivation":"/gnu/store/1kmx9v545f7s3zxc3lpf672n5azy144m-gzip-1.10.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/l53m8zca8vvgvsvxfg7c5smar8fhr8pb-gawk-5.0.1.drv","uuid":"19453f23-599b-481b-af74-1bf319a2522a"}],"output":"/gnu/store/x9qzb42hmzszg9y16m1gbz3vv54yyi00-gawk-5.0.1","output_name":"out","derivation":"/gnu/store/2vvgqywfswk2fflkwvfw5wwszydz2bl9-gawk-5.0.1.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/cqhba1wmz3dv5q1707ha2h7rwpwzylzw-xz-5.2.4.drv","uuid":"779f58f8-2047-4329-9be1-c338aa4dc5bc"}],"output":"/gnu/store/k8ksi57ghm301zr0v7aq2vl2fa8hxfqi-xz-5.2.4","output_name":"out","derivation":"/gnu/store/30smx25j0vs46w8rhs0l0ya41m7fkn7k-xz-5.2.4.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/h7ipz4rhra10a7228slhnx0170ah9pvz-patch-2.7.6.drv","uuid":"0e8d1bd7-10d1-4ddc-9d8e-3a904319b042"}],"output":"/gnu/store/2cfnrxy8icrz3sxfn86k0klmvsnj1n82-patch-2.7.6","output_name":"out","derivation":"/gnu/store/50wknqrirnppb5i2nlvbyhhnn8p2y88m-patch-2.7.6.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/nmww4r7y92bixm0p0svz37dn7ian1irb-tar-1.32.drv","uuid":"f78efbeb-8bbf-4a89-a4f5-6bbd1270a469"}],"output":"/gnu/store/am3imbjafa1wdvw9j6qabrxc09w169lz-tar-1.32","output_name":"out","derivation":"/gnu/store/87b9lgvy17c0mplx23fdqn9hnxvy1k8g-tar-1.32.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/7y6cwx15b5nhlcwl2cs49vnfmmhgpmzh-sed-4.8.drv","uuid":"0d8413f4-58c1-4318-815f-b45f4b05b734"}],"output":"/gnu/store/qy7gpiba7s7ylpfxaay6i76rk892j52n-sed-4.8","output_name":"out","derivation":"/gnu/store/9hiwbfg7vxfa2bivxb5nv4kfpbjxnpx4-sed-4.8.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/7mj2xfdx96k8bj40r3wbbq08670flczr-ld-wrapper-0.drv","uuid":"90818a06-0933-4fd7-8f91-743db52e39b0"}],"output":"/gnu/store/y4iy1jvfq07gxynkb9jl1f69jmy349vi-ld-wrapper-0","output_name":"out","derivation":"/gnu/store/cp1n4qwwibx8jwjdrysaa3argqnlr1zd-ld-wrapper-0.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/i2g65pf5v54wmz739nbh3va57x37hv5d-file-5.38.drv","uuid":"a1e4dadc-a976-401a-8450-f16ec9e907fb"}],"output":"/gnu/store/5ckix15mw8r509g68fbm7rla51lmd2zq-file-5.38","output_name":"out","derivation":"/gnu/store/fgnwnryfgm5y1hxpvxh2vl7j0m42nh7l-file-5.38.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/ffnxvzwygy7y9c37wj5llppq0j2nx72p-diffutils-3.7.drv","uuid":"ed57c1d5-9e4e-4de1-9755-1e5a5413d84d"}],"output":"/gnu/store/m8fnsfqs18c3srjiaw4frqadb9rqsq16-diffutils-3.7","output_name":"out","derivation":"/gnu/store/mk1h1i1qbah0xvs7yaa28i1nl73qzqfr-diffutils-3.7.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/i3zy7la2x5az649a9a5rvap7p4rkbmkg-findutils-4.7.0.drv","uuid":"cd0b57dc-c2c4-46df-bf9d-135ee537167a"}],"output":"/gnu/store/0bmzacdzdhi41kkjbsq7iakwjzxkv6fm-findutils-4.7.0","output_name":"out","derivation":"/gnu/store/n8ijr0kcgd9ncjnx7jn4v9yv35hw6m75-findutils-4.7.0.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/fn6z0brlnnvf5im92xiyzgvcgd61fkp3-make-4.3.drv","uuid":"7fab45e2-139f-4687-a10c-a17a19ea81e3"}],"output":"/gnu/store/wsxnp4k7mp7b705kxp94j7hs8as5fmsl-make-4.3","output_name":"out","derivation":"/gnu/store/nccrdw53i10k9a5r9gkis68h4qm0489n-make-4.3.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/1qnahi2bcxsin7b1dsd7amy7pbi9h5ar-bzip2-1.0.8.drv","uuid":"b5d7d469-e22e-4abc-a70b-3149af562ef9"}],"output":"/gnu/store/k3n5jh5579g2b17qmd2w89z2fy45pmr3-bzip2-1.0.8","output_name":"out","derivation":"/gnu/store/s66ns0cvdzbshivlvw5ywz0x8wbn55sv-bzip2-1.0.8.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/zm5fsq7vkn26jmzc9y3gmd642rz6dgfp-which-2.21.drv","uuid":"08fa805d-7875-4419-8fea-b275ecdcb1b8"}],"output":"/gnu/store/n3gp6sh4fb3ar05mmkwp2avn55sn9mj1-which-2.21","output_name":"out","derivation":"/gnu/store/v5f2wii8ihh7c54p1zj1cxkiq66fcj7b-which-2.21.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/41rd4bzg69dpkz5r3b3hg2xryc3wk558-autoconf-2.69.drv","uuid":"bfe74310-32dd-46c0-8e30-2484358ac00e"}],"output":"/gnu/store/b3ijxswrcsl3l4406aawbmby4nc0lc0b-autoconf-2.69","output_name":"out","derivation":"/gnu/store/fqpmdv7wybdcbhv1blacg44y2wsiyllg-autoconf-2.69.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/rqj301r8gsn38vbl9v2z96rbasv4c17w-automake-1.16.2.drv","uuid":"c1dee9fa-29ab-406a-9184-050a59ff873f"}],"output":"/gnu/store/pwnl32gbma9xw5sjyhfv5n25c75bsl1d-automake-1.16.2","output_name":"out","derivation":"/gnu/store/lhds5jwkkvk77x6vwbyhgrawjxbl17m3-automake-1.16.2.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/ng5asgq41klakp3q4pfy9ymi8w9y8q4l-ocaml-4.11.1.drv","uuid":"4e0fcd70-5ab9-4ada-99c4-041914615a12"}],"output":"/gnu/store/0n43gkkd4565sii8qv31asjj9b4n3rqy-ocaml-4.11.1","output_name":"out","derivation":"/gnu/store/ng5asgq41klakp3q4pfy9ymi8w9y8q4l-ocaml-4.11.1.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/zzcc6prjzpvjd3r1n9q0b1rs8zpaskgr-ocaml-zarith-1.12.drv","uuid":"3f95df76-2f7a-483b-abf3-c98be039d43b"}],"output":"/gnu/store/krsbvgjjc67wv646p06caxi1g80vdg16-ocaml-zarith-1.12","output_name":"out","derivation":"/gnu/store/zzcc6prjzpvjd3r1n9q0b1rs8zpaskgr-ocaml-zarith-1.12.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/zfg6rnssmp70fm5cvb69fa86nlprzmhd-coq-8.13.2.drv","uuid":"68f877cf-b2c5-410f-9068-b28778ae4997"}],"output":"/gnu/store/jaryidlibxa6hbymx0qs7ndlbdrr8g7p-coq-8.13.2","output_name":"out","derivation":"/gnu/store/zfg6rnssmp70fm5cvb69fa86nlprzmhd-coq-8.13.2.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/p5pzf9a9y275y9a6dacrxv65ygvy0k3m-coq-mathcomp-1.12.0.drv","uuid":"990a243e-77cf-4f17-a0b7-8efff41be940"}],"output":"/gnu/store/zwk16jnyg8fpbwxang5wfn9377hhk1pw-coq-mathcomp-1.12.0","output_name":"out","derivation":"/gnu/store/p5pzf9a9y275y9a6dacrxv65ygvy0k3m-coq-mathcomp-1.12.0.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/7jfcc6a52dkvspsi40w9nzlik7yllgmx-coq-coquelicot-3.1.0.drv","uuid":"fb6588c6-7a0c-4edb-98e3-4e7cf7b6fc78"}],"output":"/gnu/store/v43cj96i26kw914sw8xqpp4wxlccpgc3-coq-coquelicot-3.1.0","output_name":"out","derivation":"/gnu/store/7jfcc6a52dkvspsi40w9nzlik7yllgmx-coq-coquelicot-3.1.0.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/9w373n1b3lh1ryks9fm1hk0vc4k3grzw-coq-bignums-8.13.0.drv","uuid":"fb4dfdee-c98b-4b73-9779-169fbe758708"}],"output":"/gnu/store/h65z5g1adcgglwckg7njvwgmbmlsw5ms-coq-bignums-8.13.0","output_name":"out","derivation":"/gnu/store/9w373n1b3lh1ryks9fm1hk0vc4k3grzw-coq-bignums-8.13.0.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/rgyn2cxcgq0msml5lysly7z2y1sr81hr-coq-flocq-3.3.1.drv","uuid":"2213d344-7367-4325-a4c1-c7dc4e8c7066"}],"output":"/gnu/store/zzd8f8dzlid6ry0sln843f3rih6mps9w-coq-flocq-3.3.1","output_name":"out","derivation":"/gnu/store/rgyn2cxcgq0msml5lysly7z2y1sr81hr-coq-flocq-3.3.1.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/m6k1n34lnalh981q5j2y6qrhdjmavpxz-coq-interval-4.3.0-checkout.drv","uuid":"1b4b2f9e-889f-4b07-b047-ae256a7d64b4"},{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/vbqhc2dfkhwb6sc8s3kbypp0d1yg01b6-coq-interval-4.3.0-checkout.drv","uuid":"58b55adf-8279-4fdc-8ad5-0da817762f29"},{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/mib1fs0krc077hk882xyirwzgn3563v4-coq-interval-4.3.0-checkout.drv","uuid":"7014e4fd-ba49-4800-8997-77fa7b38ef1d"},{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/aihb2wrgxx7xilrd66q0bx18bdhampjn-coq-interval-4.3.0-checkout.drv","uuid":"26eaa9b3-a6d8-43aa-8771-94483f87bb26"},{"result":false,"canceled":true,"processed":false,"priority":0,"derivation":"/gnu/store/ccp20211yihv0clcjmnnis4m548xm335-coq-interval-4.3.0-checkout.drv","uuid":"0e727f80-4f7f-4364-8f67-f6ace39d19fe"},{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/c7ka35c92fc69sqszbd92miblvrmniz6-coq-interval-4.3.0-checkout.drv","uuid":"3cd30ece-e2a0-4a25-b546-520aadf94d9b"}],"output":"/gnu/store/yr9l6npk52645gvygv20xb9hi8l1iba6-coq-interval-4.3.0-checkout","output_name":"out","derivation":"/gnu/store/c7ka35c92fc69sqszbd92miblvrmniz6-coq-interval-4.3.0-checkout.drv"}],"result":{"failure_reason":false,"result":"success","agent_id":"5bbaa369-517d-49a1-9875-dc8fcf1e2e9f"},"tags":[],"end-time":"2021-08-15 09:32:28","created-at":"2021-08-11 19:41:11","canceled":false,"processed":true,"priority":0,"derivation-name":"/gnu/store/kdlb89dbwc85fli8qp10jmv2syrsasv5-coq-interval-4.3.0.drv","uuid":"32a1e2a6-10c7-4165-86a6-934d65f67c83"}