{"setup-failures":[],"derivation-inputs":[{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/hs3zh6hxab8pm6r32520z3cvx122amhs-linux-libre-headers-5.4.20.drv","uuid":"dfc7bc46-b142-46ea-83ac-a6e9c8da0e4f"}],"output":"/gnu/store/hk7l42fwxmnrnlhyiixvaqf1i1crcckp-linux-libre-headers-5.4.20","output_name":"out","derivation":"/gnu/store/8apjjzvgaiidngjkl56lf92ayzbp6cps-linux-libre-headers-5.4.20.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/3y9m9r5ifmygqm94m4q45v4m892ryzdp-glibc-2.31.drv","uuid":"ba8a68c8-9efd-4888-9698-0670230d38cd"}],"output":"/gnu/store/z4li262il798hbl0l1h1k3a5g7r6bffa-glibc-2.31","output_name":"out","derivation":"/gnu/store/nx1nvwh5vv2z8dibgcckvngiwgsyzldj-glibc-2.31.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/3y9m9r5ifmygqm94m4q45v4m892ryzdp-glibc-2.31.drv","uuid":"ba8a68c8-9efd-4888-9698-0670230d38cd"}],"output":"/gnu/store/rzk3v28mhi4m7sh0qippp9a5rzy03rkg-glibc-2.31-static","output_name":"static","derivation":"/gnu/store/nx1nvwh5vv2z8dibgcckvngiwgsyzldj-glibc-2.31.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/h3z4jnadvmgh9wfldg4gw69w0dmvsgmh-binutils-2.34.drv","uuid":"bd9dbdcd-d540-4042-96c0-0c9b0097dbf1"}],"output":"/gnu/store/50lyzn9bz6x4da66648kry29wn8afird-binutils-2.34","output_name":"out","derivation":"/gnu/store/73xlshxr5kdcg8p55dj80wy86nxcqbcz-binutils-2.34.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/l949ji5jhfz2zjckq0dzddibmiywwrhl-gcc-7.5.0.drv","uuid":"4e9d203c-d111-4fa9-be3a-b6cb5a21a945"}],"output":"/gnu/store/afpgzln8860m6yfhxy6i8n9rywbp85cy-gcc-7.5.0","output_name":"out","derivation":"/gnu/store/mach57n63mqqim1sr8kwrwi7dvlxhvfp-gcc-7.5.0.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/xmm84x0c09gnkik81h2mpim7d57k9wk4-bash-minimal-5.0.16.drv","uuid":"95410cd7-66ae-41b0-aa67-cb47a5abc3f0"}],"output":"/gnu/store/v1g7f3p4f0851mywrla8qmr9hb8jgfjr-bash-minimal-5.0.16","output_name":"out","derivation":"/gnu/store/79r3rvd7sqjhnc0z8gz3rjasjqkpnzs8-bash-minimal-5.0.16.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/sj5j8s8j8zv0ybvb9jdd8j5jbjppgmsf-guile-3.0.2.drv","uuid":"c06cd035-9c0b-4431-a5c1-70ed587fc848"}],"output":"/gnu/store/zslki807w05y73wbpnszxpz44fl2yn8b-guile-3.0.2","output_name":"out","derivation":"/gnu/store/yc8d3wi7jx87asbhyci628a9648qpahh-guile-3.0.2.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/039vv3jlb2b6idhmbc23q53vivvz1bf3-glibc-utf8-locales-2.31.drv","uuid":"601f9641-f6bd-4d92-8417-ba1ce24c945a"}],"output":"/gnu/store/x6i3vfg4gaqd42cqb6mzk52v4lds1467-glibc-utf8-locales-2.31","output_name":"out","derivation":"/gnu/store/cbcllrsw1icksrr3wn3czb4ssdj9z3ga-glibc-utf8-locales-2.31.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/qlwqhaflajrrwrnxwmggz5h8nm17jdhr-module-import-compiled.drv","uuid":"254dbe89-2679-44f9-911a-02856db96557"}],"output":"/gnu/store/h2nv8781zwnlnfqafimqj9ya21d8v278-module-import-compiled","output_name":"out","derivation":"/gnu/store/mmi3rfv8s0zmlj6y9xay71kp7lpdp4q6-module-import-compiled.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/fq0v5lz9pd22mwvqi43i6li9j62xg4ay-coreutils-8.32.drv","uuid":"45c5ac26-9dcf-40c8-8b0c-9540a86c70bc"}],"output":"/gnu/store/2v61vg0bizgrhybkqbrki2k7kr094waz-coreutils-8.32","output_name":"out","derivation":"/gnu/store/c3g1ffh7nawi11n97zcgnhdq8j9xvyk4-coreutils-8.32.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/dlsn15gwyfbfhfk78s9icrvljk1avb3p-grep-3.4.drv","uuid":"98bddea5-baea-44db-9cdc-9de6ee692951"}],"output":"/gnu/store/4qr6mcvsxyzknxa7x1wny8x30f5i0r3n-grep-3.4","output_name":"out","derivation":"/gnu/store/pc7l3k34g49595c64zh9fw9smddnaj5p-grep-3.4.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/iymhqy6v9fmi8wrv58mn8fjbzkx7jw5l-bzip2-1.0.8.drv","uuid":"4b865bcb-fe5e-4236-a59e-9a59cc11a424"}],"output":"/gnu/store/n1jk0w2wa4vpwmixaqn2y3la1l2sizzi-bzip2-1.0.8","output_name":"out","derivation":"/gnu/store/0dg4ask6d0zkldy30hzdbfv6rx1lhb1v-bzip2-1.0.8.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/vm70msjs553jln3vikxijsbar2hrh582-gzip-1.10.drv","uuid":"7051417d-e8a2-42ea-b1bc-feb728c98cd8"}],"output":"/gnu/store/2ayciqwxddkzq183dac82ijljc14j4zj-gzip-1.10","output_name":"out","derivation":"/gnu/store/1b479cmn82a5y03j7a6yzf1yv0s35rps-gzip-1.10.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/l7i1c1dfmzvdp655pim6rcphh8vgvand-ld-wrapper-0.drv","uuid":"52470b75-6199-4976-b705-69e62c12a2cd"}],"output":"/gnu/store/dyqxnydqk1810afjfbqzfvh0n83xyl62-ld-wrapper-0","output_name":"out","derivation":"/gnu/store/3qrkz1pig4hkzd4aa05291rfar2c2pcc-ld-wrapper-0.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/1k6b9azydn31fdlw86fk1p15ld22gznr-make-4.3.drv","uuid":"a1232232-e259-4a1a-85e8-db64430a099f"}],"output":"/gnu/store/b7jbh7kzzig0bxfswdj8nfj9bkljyyya-make-4.3","output_name":"out","derivation":"/gnu/store/4wivpn2wkw6sq14k12v8f83mdiqq19gr-make-4.3.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/25yr5ghldgf336ljpj00jjdvifakmlw4-patch-2.7.6.drv","uuid":"c7239e60-a1a9-43b9-87b0-0a46b3d1a65a"}],"output":"/gnu/store/qw20chpgkgbcqmzhs60c8hjl1hmblyc8-patch-2.7.6","output_name":"out","derivation":"/gnu/store/i43vk4k342jrq7vc7pc4hpb39p78q864-patch-2.7.6.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/qmyybfh4myv6qfnra32dxlh6hy2zpvd6-xz-5.2.4.drv","uuid":"761c0c26-0375-45d8-a92c-d4d3051a0701"}],"output":"/gnu/store/7p36raqgk6vn47bflxc9bsclqiib3phi-xz-5.2.4","output_name":"out","derivation":"/gnu/store/i6vdh4dgjq63ycr5r4jb8jjc5jz2mrvd-xz-5.2.4.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/i1hy36ins2pndbp103m6rq4ic2vzma8c-tar-1.32.drv","uuid":"14946f84-0fb7-4dd4-aaf0-627fe47e7fdb"}],"output":"/gnu/store/gww59gv5qxbfijg3vk5y182im7923s06-tar-1.32","output_name":"out","derivation":"/gnu/store/smrbggxx7w4l96l2a2qs69srnv4c88jr-tar-1.32.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/08bqd35kkp76y6frvla42rl25vqpgiwi-file-5.38.drv","uuid":"ac7e7b2e-9113-45e0-af07-607efda4f20f"}],"output":"/gnu/store/lpkf3ydcdvxn8gcrzaq9cp3ri05h8qhs-file-5.38","output_name":"out","derivation":"/gnu/store/b2w1mwkvgjvyicz26giihidvhxsvlma6-file-5.38.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/y5k1a0g1h8mnca3prjvk7sxa2bxkv4q7-sed-4.8.drv","uuid":"17eac00d-06c6-4f6d-8668-1f6dbceeeab2"}],"output":"/gnu/store/q1nfjb24vqjs1cgi8mlnskw34h16y09r-sed-4.8","output_name":"out","derivation":"/gnu/store/bgsrcywk6c5vv70p598w17ir0sswda7s-sed-4.8.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/kcs62960r9hx1s2m93csqjmc1irvdlia-diffutils-3.7.drv","uuid":"3cb9c1e6-86e7-482d-961a-584ead818a98"}],"output":"/gnu/store/6gqaw09zqw8w0vcax6simlq71bq7l5r0-diffutils-3.7","output_name":"out","derivation":"/gnu/store/km4zncax6d9winc69jw9wypgawbnzg4s-diffutils-3.7.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/lyf38lq82ibiiii9iyfa04xdv6n3rm8g-findutils-4.7.0.drv","uuid":"aecc88fa-a04d-49ba-87a5-cc38a38fb86a"}],"output":"/gnu/store/b5y5scfmh2d8kxcpl9p84294z2198cgf-findutils-4.7.0","output_name":"out","derivation":"/gnu/store/s8ghlvcsnl8rznfprmzx60kfjdl852fg-findutils-4.7.0.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/23h0lixlr0g0iwcmh7r9x0ncm00x57p5-gawk-5.0.1.drv","uuid":"73d7943c-ffc3-4f42-87ff-ee0d81b99daf"}],"output":"/gnu/store/9iwlsj7d6ffqhshy8qshf7p4fqwfwrvn-gawk-5.0.1","output_name":"out","derivation":"/gnu/store/vfh0j4gs2k7icj4aim6kbvz4rv90iw7b-gawk-5.0.1.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/902pirl81cpzp5ik6hvcdyhkyjsgbzk2-ocaml-4.11.1.drv","uuid":"afaf9522-74b5-4f09-8898-c5b4dd4d0466"}],"output":"/gnu/store/ljvlp2gxx1l49cdw5mh1ydl7336509xy-ocaml-4.11.1","output_name":"out","derivation":"/gnu/store/902pirl81cpzp5ik6hvcdyhkyjsgbzk2-ocaml-4.11.1.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/v3jqz86vynrq5n240sxhqrpiir8wgphm-ocaml-zarith-1.12.drv","uuid":"4b9e8b53-1707-41bc-830e-c63d780c376f"}],"output":"/gnu/store/i29bx7l0qpjnypwii4cyayz5fail590d-ocaml-zarith-1.12","output_name":"out","derivation":"/gnu/store/v3jqz86vynrq5n240sxhqrpiir8wgphm-ocaml-zarith-1.12.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/xw44nrrdgv4vkgdn5p1dqzvb5hbp365i-coq-8.13.2.drv","uuid":"d7bd2123-1a45-4ea0-855a-21643b1450d3"}],"output":"/gnu/store/hbav4p8v5jq040pn8ylig7l070z2244r-coq-8.13.2","output_name":"out","derivation":"/gnu/store/xw44nrrdgv4vkgdn5p1dqzvb5hbp365i-coq-8.13.2.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/ixjmyf5xfyzq79a1knbv6jkk0glacwgv-camlp5-7.13.drv","uuid":"5eca3181-13ab-4ccb-8618-09342c44ad7b"}],"output":"/gnu/store/y3s6qna9isaxhnx4k22487wg8ahr7l1n-camlp5-7.13","output_name":"out","derivation":"/gnu/store/hh20lbcgiii7049vynlf42iarmbf1qxv-camlp5-7.13.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/i630ai9zi1989yk2g2x9w5bq2r93w1m2-coq-equations-1.2.4-checkout.drv","uuid":"531f1f84-98cd-44eb-82b0-903c7e1d0285"},{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/kzzgp426prbq0jj50awk3jx5jq0sx3qi-coq-equations-1.2.4-checkout.drv","uuid":"7725ab54-860e-402a-bef6-4fddf633e2c2"},{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/2id8a2ys67fbp1v3d1nivqih78h2kiax-coq-equations-1.2.4-checkout.drv","uuid":"eedad871-4c23-4d6e-a173-ece7a1676fb0"},{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/y4qafpyp65g3hf1nfs4hybll32pwr024-coq-equations-1.2.4-checkout.drv","uuid":"e5be3344-79a0-4475-bd81-4dc17342d260"},{"result":false,"canceled":true,"processed":false,"priority":0,"derivation":"/gnu/store/7p3yxciq5ax477m90cy43nl2vhxqqmwz-coq-equations-1.2.4-checkout.drv","uuid":"600f82cf-27a3-4d3b-a906-fb2cfefed6ec"},{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/5m6jyl7a6h56s4kswhgb9ymbkwsqirci-coq-equations-1.2.4-checkout.drv","uuid":"a701bfc9-a357-4ac5-9f4f-7d5e55b34cc2"}],"output":"/gnu/store/rmvwcmk4xmcifgrhm60mhh7ivq06hc7i-coq-equations-1.2.4-checkout","output_name":"out","derivation":"/gnu/store/kzzgp426prbq0jj50awk3jx5jq0sx3qi-coq-equations-1.2.4-checkout.drv"}],"result":{"failure_reason":false,"result":"success","agent_id":"7470cbd5-f64e-496c-a57b-593543ee4686"},"tags":[],"end-time":"2021-08-01 04:07:42","created-at":"2021-08-01 04:30:35","canceled":false,"processed":true,"priority":0,"derivation-name":"/gnu/store/y3dka5javcmwwzlrwjfc20zhc4bcn81y-coq-equations-1.2.4.drv","uuid":"7f64efd4-56da-4989-91d4-526b266d8790"}