{"setup-failures":[],"derivation-inputs":[{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/pjjka5inc39zc0fhcwi4c4hv3yahjwgi-guile-3.0.9.drv","uuid":"37b74912-cf71-420c-bfc5-32536c0c948d"}],"output":"/gnu/store/33nvcq7kmv79i1lrf89qq5ill0bmcq7n-guile-3.0.9","output_name":"out","derivation":"/gnu/store/h3p7r7q1d725gv7m75l2pv30dny8pg6q-guile-3.0.9.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/y9vab6g2ds2dh9xnlwlgxy8ag8jvs76g-which-2.21.drv","uuid":"f1b7f4ba-0293-4abf-9a52-cd756ddf6963"}],"output":"/gnu/store/s8r928cx14z8nwgyb3gzkxji9l4hqqah-which-2.21","output_name":"out","derivation":"/gnu/store/dc766j3lk0xayiji16d096s1c8l6446v-which-2.21.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/wc668lacl1c59r1ks3wy2hak1xg2qx50-libev-4.33.drv","uuid":"7ec77402-c0b5-40a0-99c4-ac8dcb87fc3a"}],"output":"/gnu/store/jpis7w202fh4baw0ak02krmcnv8i9zxp-libev-4.33","output_name":"out","derivation":"/gnu/store/kbylj3qr5llnsl037plgivk6g0nsa1k7-libev-4.33.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/dn228fw6l713k8wjkz77hv3xfmjxv3c6-module-import-compiled.drv","uuid":"fd40f4ae-cc3e-404f-a5a0-ee281810a2b2"}],"output":"/gnu/store/d1vbhdlm6sckydlnk1al1b5nl4lrx4yq-module-import-compiled","output_name":"out","derivation":"/gnu/store/ma2has3gv6qmnac0qcywg0j5vn79ka9v-module-import-compiled.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/5vs608fns2p83nib1y95g118h09hbqhk-ocaml-result-1.5.drv","uuid":"cffe0680-2f5c-4a35-9ef5-78a40a643532"}],"output":"/gnu/store/i819z0gq2xpq7pngaakx7a5xihkq5ja1-ocaml-result-1.5","output_name":"out","derivation":"/gnu/store/5vs608fns2p83nib1y95g118h09hbqhk-ocaml-result-1.5.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/5384gqjl5vp7gsmqhl7d7v9lfcpvdw6h-ocaml-stdlib-shims-0.3.0.drv","uuid":"08a93d55-aee3-4851-861b-4aaaf21170fb"}],"output":"/gnu/store/ppgvmrnlyrk5mqpqdn1d1dmd8a1xpv8r-ocaml-stdlib-shims-0.3.0","output_name":"out","derivation":"/gnu/store/5384gqjl5vp7gsmqhl7d7v9lfcpvdw6h-ocaml-stdlib-shims-0.3.0.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/gn6vdxfb507hf19gr21cj47n56k95fkh-ocaml-seq-0.1.drv","uuid":"17047885-f38a-4cf3-89ad-c453d2359c0c"}],"output":"/gnu/store/2b8aczsxsln8nb1kpndamdgakkpfy8ll-ocaml-seq-0.1","output_name":"out","derivation":"/gnu/store/gn6vdxfb507hf19gr21cj47n56k95fkh-ocaml-seq-0.1.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/4n60irarmjqb62dr8gyxnpmyb33mkyrr-ocaml-ocplib-endian-1.2.drv","uuid":"9f9ff4e7-dd64-4550-8d54-0ddb1a553dc9"}],"output":"/gnu/store/4z7y457r7kcsh3gc0h74y0k1nkrca6pq-ocaml-ocplib-endian-1.2","output_name":"out","derivation":"/gnu/store/4n60irarmjqb62dr8gyxnpmyb33mkyrr-ocaml-ocplib-endian-1.2.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/kqjynvnlj7w8zqyybmg9kqdvc9bm7kz2-ocaml-bigarray-compat-1.1.0.drv","uuid":"bdb72eed-67e4-4074-af70-9b4ef85bb72e"}],"output":"/gnu/store/v0wm1v4xwm0f7wwvnv7ch3r0xggwndsl-ocaml-bigarray-compat-1.1.0","output_name":"out","derivation":"/gnu/store/kqjynvnlj7w8zqyybmg9kqdvc9bm7kz2-ocaml-bigarray-compat-1.1.0.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/dl9iphzpwl1cz1p7hyb3p66inqr9cf7n-ocaml-mmap-1.2.0.drv","uuid":"211863db-d12f-42f1-8d80-e1d7c174afd3"}],"output":"/gnu/store/fpywm1w7rzxfp940cxk26kgkvaha4p1y-ocaml-mmap-1.2.0","output_name":"out","derivation":"/gnu/store/dl9iphzpwl1cz1p7hyb3p66inqr9cf7n-ocaml-mmap-1.2.0.drv"},{"builds":[{"result":"failure","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/g2g4gd3v5f5224592rmh4b93ndlcmxj1-ocaml-lwt-5.6.1.drv","uuid":"c1242446-906f-4c20-9c9c-ca85d921fdb4"},{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/g2g4gd3v5f5224592rmh4b93ndlcmxj1-ocaml-lwt-5.6.1.drv","uuid":"617b2380-7dd2-4d81-a068-406a10adb9b2"},{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/g2g4gd3v5f5224592rmh4b93ndlcmxj1-ocaml-lwt-5.6.1.drv","uuid":"7f3985e7-8488-47bb-83eb-6b0e79e62442"}],"output":"/gnu/store/djcr2dpyjmcn6b19bp573nkixld6hfm1-ocaml-lwt-5.6.1","output_name":"out","derivation":"/gnu/store/g2g4gd3v5f5224592rmh4b93ndlcmxj1-ocaml-lwt-5.6.1.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/yj6qcgryrdrfid22ravjv8192d40wc9f-ocaml-ounit2-2.2.6.drv","uuid":"31afe60c-eea1-49ad-bde0-7c4ec71ea04e"}],"output":"/gnu/store/57dxdx19j8mxpd99202w0541y67czvcv-ocaml-ounit2-2.2.6","output_name":"out","derivation":"/gnu/store/yj6qcgryrdrfid22ravjv8192d40wc9f-ocaml-ounit2-2.2.6.drv"},{"builds":[{"result":false,"canceled":true,"processed":false,"priority":0,"derivation":"/gnu/store/f2a12nk0y52ccbvad5lv4p231rmy22c2-coq-8.17.1.drv","uuid":"66689bad-d56a-4317-9e92-8b4e1c7ea433"},{"result":false,"canceled":true,"processed":false,"priority":0,"derivation":"/gnu/store/f2a12nk0y52ccbvad5lv4p231rmy22c2-coq-8.17.1.drv","uuid":"2c154469-ec8e-4c07-be68-5f6f1c2a12f2"},{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/f2a12nk0y52ccbvad5lv4p231rmy22c2-coq-8.17.1.drv","uuid":"a3d4ba73-8a99-41c1-a129-79f83639da5c"}],"output":"/gnu/store/1jxaa6l1gzrkif26z27gylyp3ahwykxf-coq-8.17.1","output_name":"out","derivation":"/gnu/store/f2a12nk0y52ccbvad5lv4p231rmy22c2-coq-8.17.1.drv"},{"builds":[{"result":false,"canceled":true,"processed":false,"priority":0,"derivation":"/gnu/store/4xanfnxsj2vvndwbhh5gmmdyb3y1mbxw-coq-ide-server-8.17.1.drv","uuid":"70db664b-b511-4d8e-8b92-6ddaac55c0a6"},{"result":false,"canceled":true,"processed":false,"priority":0,"derivation":"/gnu/store/4xanfnxsj2vvndwbhh5gmmdyb3y1mbxw-coq-ide-server-8.17.1.drv","uuid":"6bc3507f-9ca5-4f78-a710-71c7fa9739fe"},{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/4xanfnxsj2vvndwbhh5gmmdyb3y1mbxw-coq-ide-server-8.17.1.drv","uuid":"0a69d34d-db22-441f-837b-5e3f7be090bc"}],"output":"/gnu/store/gv9blxmq1awm7lchcj6d7ydxxay38sc0-coq-ide-server-8.17.1","output_name":"out","derivation":"/gnu/store/4xanfnxsj2vvndwbhh5gmmdyb3y1mbxw-coq-ide-server-8.17.1.drv"}],"tags":[{"value":"25c14c893f05019d746321285acf55d1aa65b943","key":"revision"},{"value":"gnome-team","key":"branch"},{"value":"package","key":"category"}],"end-time":null,"created-at":"2024-03-08 06:29:48","canceled":true,"processed":false,"priority":0,"derivation-name":"/gnu/store/pl1n9az0davgsfyzspdwbfbnc8wqfar2-coq-for-coqtail-8.17.1.drv","uuid":"40d5ee1d-6731-418f-a416-48b084cb0e21"}