{"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/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/g8lz6h75krbm9agv9aifv0m7xx2sfk7h-coq-mathcomp-1.12.0-checkout.drv","uuid":"7b99c511-7adb-4e63-beed-2fa3ac4ed028"},{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/gji74jahbywwvcsrkfm48lrxxkp2dms2-coq-mathcomp-1.12.0-checkout.drv","uuid":"3b1c5e3f-6c61-4183-a9a5-705290f1e267"},{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/jfynvncd81cp9bhr9kmsc5nvhivq62hc-coq-mathcomp-1.12.0-checkout.drv","uuid":"5c491e60-d7fc-499f-b0b6-87c5fdb2cd9f"},{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/48z98gj6n7v4x3nphdag6qvsmb8dryxq-coq-mathcomp-1.12.0-checkout.drv","uuid":"3434ec56-383b-4c52-91d8-38b7f0ad885f"},{"result":false,"canceled":true,"processed":false,"priority":0,"derivation":"/gnu/store/m5js1w0r7iiah9wmyc4j8rzrvn8lb1kh-coq-mathcomp-1.12.0-checkout.drv","uuid":"88497855-bf5e-4d54-b837-aae4c2534b78"},{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/07hwihqpfq68xbqrsnc7963qqyc7afda-coq-mathcomp-1.12.0-checkout.drv","uuid":"6f0eea58-68e6-4019-b1e6-186f1734f282"}],"output":"/gnu/store/y4by1imfdjsnzimf6kpdrar6g5v8y9bi-coq-mathcomp-1.12.0-checkout","output_name":"out","derivation":"/gnu/store/07hwihqpfq68xbqrsnc7963qqyc7afda-coq-mathcomp-1.12.0-checkout.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"}],"result":{"failure_reason":false,"result":"success","agent_id":"5bbaa369-517d-49a1-9875-dc8fcf1e2e9f"},"tags":[],"end-time":"2021-08-14 06:58:29","created-at":"2021-08-11 17:14:57","canceled":false,"processed":true,"priority":0,"derivation-name":"/gnu/store/p5pzf9a9y275y9a6dacrxv65ygvy0k3m-coq-mathcomp-1.12.0.drv","uuid":"990a243e-77cf-4f17-a0b7-8efff41be940"}