{"setup-failures":[],"derivation-inputs":[{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/96ii286yccxd9hzsvqf80zhgk27jvrgv-linux-libre-headers-5.10.35.drv","uuid":"ec4dd611-2548-487f-b0e4-927326c61960"}],"output":"/gnu/store/fgc0c133apyavjkjhjbz54afy3100wxq-linux-libre-headers-5.10.35","output_name":"out","derivation":"/gnu/store/5c8wan41scm0j9dgcmq0rpcsb59n0l9v-linux-libre-headers-5.10.35.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/f3s87an6hyxly7hc9lvblxa7lvwzrj34-glibc-2.33.drv","uuid":"e3cc0d31-9fcc-4705-9d52-2259e87d063e"}],"output":"/gnu/store/bgw8ciirrbpxbds3v9wklf1isysqjlsl-glibc-2.33","output_name":"out","derivation":"/gnu/store/8nq5sgw7qw8flawdza94i8g9ybbq2qmq-glibc-2.33.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/f3s87an6hyxly7hc9lvblxa7lvwzrj34-glibc-2.33.drv","uuid":"e3cc0d31-9fcc-4705-9d52-2259e87d063e"}],"output":"/gnu/store/1xfiv21xwzqf3j56phh8j2lg227391y5-glibc-2.33-static","output_name":"static","derivation":"/gnu/store/8nq5sgw7qw8flawdza94i8g9ybbq2qmq-glibc-2.33.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/sdc5ln66r9k76i633lfwspkj3knlmywi-binutils-2.37.drv","uuid":"c609296f-a30d-4cfb-97e8-bba117f9662e"}],"output":"/gnu/store/xnxxwmcdv1fl14y9a7c9bkxx8r0rza1j-binutils-2.37","output_name":"out","derivation":"/gnu/store/wmqmkvgfs3cab3kf269d4p9lkphkwzdm-binutils-2.37.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/1wwac30cv62m3xivx32xi36v84059k9l-gcc-10.3.0.drv","uuid":"7750777a-7dd3-4265-adfa-4c5c10a5b7e4"}],"output":"/gnu/store/fnkgp9a8yq4401nijp8v5v7aq1vqrx70-gcc-10.3.0","output_name":"out","derivation":"/gnu/store/qa8v3sfgi0832w5q524vkgqw4168f40p-gcc-10.3.0.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/jg5zbl4mdwlddrldzvpld4zswfg8rjbn-bash-minimal-5.1.8.drv","uuid":"67b7c8cc-2022-4ebb-bd1a-fed9a413722f"}],"output":"/gnu/store/sbnx4xjgw2f2c5hxvv2qfdiqqnqyi7zr-bash-minimal-5.1.8","output_name":"out","derivation":"/gnu/store/xd1sxx07rbynhhgb693vdw1rqlqd4a93-bash-minimal-5.1.8.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/g7rw1bbyis9fm7csgpxyxblvp66l95z0-guile-3.0.7.drv","uuid":"479c1eed-6df3-4f9c-a6ed-4278b74b63ca"}],"output":"/gnu/store/x3c8k0v2mmn0mjg3mh82zb3nmanfvq71-guile-3.0.7","output_name":"out","derivation":"/gnu/store/5k20iw84477c3i2fjadjvx27flwxv2gg-guile-3.0.7.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/9snaqmskw5s00f1rngqw1phkl07z153k-glibc-utf8-locales-2.33.drv","uuid":"174455d8-619e-4e51-8bc3-b35b10daf645"}],"output":"/gnu/store/w34424h2ihfqfxn72aj08h8z5rjvfk0r-glibc-utf8-locales-2.33","output_name":"out","derivation":"/gnu/store/plx29l1fmrc1i87p2vcwcsv0xdndhwj2-glibc-utf8-locales-2.33.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/781m1pmik4g8ilirbpqczkx1ygb2wnk3-coreutils-8.32.drv","uuid":"1e305a34-b91f-410a-96f2-a668f096913a"}],"output":"/gnu/store/yixhh3q2i1x8pqpfq9nz83p15svg698m-coreutils-8.32","output_name":"out","derivation":"/gnu/store/1fz4v8j27lyjfcvf2dr419x2m02qc851-coreutils-8.32.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/6i15an4fh61636yd0nh40wb7yp6m2lj3-grep-3.6.drv","uuid":"89ce4e41-e0a5-4478-8924-6b5eb8823ef7"}],"output":"/gnu/store/14c1lz6vp2wqs6gh7m48rw3klx6bkvm8-grep-3.6","output_name":"out","derivation":"/gnu/store/zkn9n903iqmfwa07dviz0j0l1f9wyfxy-grep-3.6.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/z7mxaw4x8pzv1dp8kh164haxp2hyfmx0-bzip2-1.0.8.drv","uuid":"d3d24b68-2083-4f85-a1a1-82a5112c1fa8"}],"output":"/gnu/store/iipgssk08gmmkwxv5iyv1lm3blilvdir-bzip2-1.0.8","output_name":"out","derivation":"/gnu/store/4c4mnnsi314adfqshwzfb2hbjs32gw2s-bzip2-1.0.8.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/pcnrzpphkmim0xhjf7a0zc3g2da5rhpn-patch-2.7.6.drv","uuid":"739c29d9-93c5-4036-914e-29a13168653f"}],"output":"/gnu/store/q89awzgsj00y74bmqlb4gl6b0plwi0k6-patch-2.7.6","output_name":"out","derivation":"/gnu/store/4xqpk8a9yvdhh9z7bvqxlp4bhhh2j1wi-patch-2.7.6.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/vvvndh72dd2k5wkwpx14d0ay0s1f3zfr-diffutils-3.8.drv","uuid":"90997f4e-20cd-47d2-a705-a4fdb150c5cc"}],"output":"/gnu/store/b4s2gz0dyjhsym9rczyg21y909s2yzd1-diffutils-3.8","output_name":"out","derivation":"/gnu/store/6qbw5grdipwh0386l166l3wlh5nbcvc9-diffutils-3.8.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/xxfrlv9dlv4f2dkm92da04c2gi9kzx1m-gzip-1.10.drv","uuid":"117d210b-e703-4989-90dd-5eed4942fd85"}],"output":"/gnu/store/6rxsi5nqx8dsmvx2ypyz81gb1n4csy3g-gzip-1.10","output_name":"out","derivation":"/gnu/store/6zs236zir2zffgi84i783mld35l6q994-gzip-1.10.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/s52byri22kqz1va7ym6c1l1pr8x3cim5-xz-5.2.5.drv","uuid":"84ed42ba-4b1c-4b1f-9c5a-9c28796deb4d"}],"output":"/gnu/store/11gnzwa2qbqlg4pziysdk2fkbhrhhwrc-xz-5.2.5","output_name":"out","derivation":"/gnu/store/b3q82whxd5f6mhdsn72f8dwvfl1andg0-xz-5.2.5.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/cr01kbf34fyympxk33bwzxfbm9ns453v-make-4.3.drv","uuid":"942e8239-5fc8-45b5-b86f-f7c03a26fd02"}],"output":"/gnu/store/zz2br0lgdw6j6x6yvd0x49775gwn3bry-make-4.3","output_name":"out","derivation":"/gnu/store/gc8098hpkvzppgcw49yx00wnnnz00f1a-make-4.3.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/2nnxxk75ss9l0q3vxgmifbvz9kvkkdcx-ld-wrapper-0.drv","uuid":"bd686cd6-ec20-456b-ba40-900ef8af4725"}],"output":"/gnu/store/0mdldh4ih1ff6d7lfya0d62d9vd5d5m8-ld-wrapper-0","output_name":"out","derivation":"/gnu/store/h7nshm8ph30qcm3qd8wxcq07wxmia4kk-ld-wrapper-0.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/2bw1psdni1qri0sazwqmwkpwrna1rbxi-file-5.39.drv","uuid":"1e62bb18-4a81-40ba-9148-ecb7d5cc9ae1"}],"output":"/gnu/store/6s9hy00b522g268spk3qasd8j8mg5z7r-file-5.39","output_name":"out","derivation":"/gnu/store/kag46ynf3qkid96spvim811k9ssd8na1-file-5.39.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/198fqwlbckczn9c06cnmba0n1grqjsic-gawk-5.1.0.drv","uuid":"834b8edf-db5e-4b7a-928c-d6b42760c522"}],"output":"/gnu/store/7mfpmrswg4y7apk0hri9hiwgn6xbbh9q-gawk-5.1.0","output_name":"out","derivation":"/gnu/store/l99rvkwzzg4209625iy0r31mic2xn108-gawk-5.1.0.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/cgz6yxm9838738priyrylhjydm71mpn0-findutils-4.8.0.drv","uuid":"f3a120ec-6456-4af6-a229-60ba22b20dd9"}],"output":"/gnu/store/bgmbk0abkm6nngmgam84fmb6m38kbndi-findutils-4.8.0","output_name":"out","derivation":"/gnu/store/mnsnwvgxys639bpiwlf90zz9qr6gfdds-findutils-4.8.0.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/d6krlj2sq38iig742pkrs9xxias978l9-tar-1.34.drv","uuid":"f4528b8f-59e9-4e5c-9568-7ddc846f4499"}],"output":"/gnu/store/6s3mkll9wvgxgkczsjcl9nfqm74wi0mj-tar-1.34","output_name":"out","derivation":"/gnu/store/vf66nsmpqnmn4s8341k1fncq19wbggl4-tar-1.34.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/0asl20syrid10zk22cj5sgffpbax4aq4-sed-4.8.drv","uuid":"04c5047f-95dd-43ad-8471-5647f42af250"}],"output":"/gnu/store/fkncn0815qj7k11zj05hyz670gdnb3jv-sed-4.8","output_name":"out","derivation":"/gnu/store/xiflrqq3a9g4vgrvpvmy4c4i6v22b7qy-sed-4.8.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/jckqk8x0qsa5hb3nqycp72bv67f8q3zc-gmp-6.2.1.drv","uuid":"a3a102ed-8d53-4182-ba09-a0ed3f5863ac"}],"output":"/gnu/store/rskwffa1b2jvdcmyjn3sa73vw8wm0awp-gmp-6.2.1","output_name":"out","derivation":"/gnu/store/0fp7b0w9mz8clg6kpjxkqdjyrnbhncam-gmp-6.2.1.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/cb3cz4fv5dp6b7s8dnhlcsj32hmmxixj-ocaml-4.14.0.drv","uuid":"40440487-9c85-4acb-807a-f6a679c03aae"}],"output":"/gnu/store/hfcww66n2j4jq2isy2brj6priaahyh2q-ocaml-4.14.0","output_name":"out","derivation":"/gnu/store/38sk59ffrkv6zk6xrq5m2sw6y8dpzgr4-ocaml-4.14.0.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/95kh2gi6lpwsg3gx7rkgf1s02811x0g1-ocaml-findlib-1.9.3.drv","uuid":"d3c7e761-7a60-4a99-bcaf-b2fe558259dc"}],"output":"/gnu/store/0aji862ssa422631cgn3pnbijbd1rci6-ocaml-findlib-1.9.3","output_name":"out","derivation":"/gnu/store/fsfz0sqrxa8fjpyfq37fkw34h47lgvwz-ocaml-findlib-1.9.3.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/2sv5a064xzhyxn8awvf1rixs26dlzr87-module-import-compiled.drv","uuid":"f2658201-771c-42e9-b671-20ff7b3f660e"}],"output":"/gnu/store/nw2lgz3ggw6g4zhb1hgxyrj78bf5gci7-module-import-compiled","output_name":"out","derivation":"/gnu/store/gqcv07r36bwl5bixcys2f05nafz6if72-module-import-compiled.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/w8q7jw0ll6r9w783xsc4qinhs25m4ijy-ocaml-result-1.5.drv","uuid":"c7cd156d-58d9-475b-bcc7-0d401522808b"}],"output":"/gnu/store/n3fdvhwfkb2j6065r8pzgv46wwi5aqfs-ocaml-result-1.5","output_name":"out","derivation":"/gnu/store/w8q7jw0ll6r9w783xsc4qinhs25m4ijy-ocaml-result-1.5.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/jjby3i4j3njp69anyncypvjp6ch7amgi-ocaml-csexp-1.5.1.drv","uuid":"62c56ddd-2bde-4f98-a16e-54e57608c8f0"}],"output":"/gnu/store/wcmzfikq6ylp9nlv4xdchrvm9y5rh7wb-ocaml-csexp-1.5.1","output_name":"out","derivation":"/gnu/store/jjby3i4j3njp69anyncypvjp6ch7amgi-ocaml-csexp-1.5.1.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/hljmpp9idxsivn6y02vbx8ykgrdl66ql-dune-configurator-3.4.1.drv","uuid":"d19d1de8-e451-410d-8784-7ed9b3958a81"}],"output":"/gnu/store/a3cd86mb3c18lzx2apcf1jpjmsz9cady-dune-configurator-3.4.1","output_name":"out","derivation":"/gnu/store/hljmpp9idxsivn6y02vbx8ykgrdl66ql-dune-configurator-3.4.1.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/f8ykqm4yqmgx5i7nxg3sixl7sl5154xy-dune-3.4.1.drv","uuid":"95d76b5a-867e-4bd4-9d4e-20c0b2be149c"}],"output":"/gnu/store/zd05c55vgnzsx7a0pj8qm29frsvd8inz-dune-3.4.1","output_name":"out","derivation":"/gnu/store/f8ykqm4yqmgx5i7nxg3sixl7sl5154xy-dune-3.4.1.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/k5kaifg503x7l5fprgfg3z402dncz6j8-ocaml-zarith-1.12.drv","uuid":"95423332-2405-4271-8848-183a769e3c36"}],"output":"/gnu/store/d2n9sb2np9zfh5hmvfv6861884zpzqx1-ocaml-zarith-1.12","output_name":"out","derivation":"/gnu/store/ga338w8ap4jd93f04k055f07542qy9h3-ocaml-zarith-1.12.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/xaq1bx3cr0kqv1qjb8xfvzwy3pbw78hb-coq-core-8.15.2-checkout.drv","uuid":"144925ea-5d1a-49b7-b3f9-ae33d6599c10"}],"output":"/gnu/store/2zqcp4dawmxvn6iil445kig3zk5s6xam-coq-core-8.15.2-checkout","output_name":"out","derivation":"/gnu/store/l0jydm6rgljbwz91hkc1p278gr03gm62-coq-core-8.15.2-checkout.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/7fcbbfsf1vcyl77gy19g284vpv0mk0im-coq-core-8.15.2.drv","uuid":"6bbba0ab-18ae-4ce8-86ba-7bfb215c18a1"}],"output":"/gnu/store/dpsm6b9rhngjbaz2wsnmyi9c28nd6kfj-coq-core-8.15.2","output_name":"out","derivation":"/gnu/store/7fcbbfsf1vcyl77gy19g284vpv0mk0im-coq-core-8.15.2.drv"}],"result":{"failure_reason":false,"result":"success","agent_id":"b8ce8ac1-0c63-4899-9db1-4b82ec7bd6bb"},"tags":[],"end-time":"2022-10-07 23:18:58","created-at":"2022-08-14 19:10:42","canceled":false,"processed":true,"priority":0,"derivation-name":"/gnu/store/6big4dqg98vsy0ay71d18v5d91wrw5dl-coq-stdlib-8.15.2.drv","uuid":"3e35cd1f-c5e1-416a-872a-61b7422e1f88"}