setup
checks.i686-linux.alt-ergo
· build #1
· raw
1these 21 derivations will be built:2 /nix/store/jsrdl9sb57wqslvlzbll12b7sw151gkv-ocaml-4.14.0.drv3 /nix/store/cpimbnagps6xiyp7yk4hxwwzqwm9sbvm-setupHook.sh.drv4 /nix/store/pv5sg9bsiz9m0cssya293p0268kcn0n5-ocaml4.14.0-findlib-1.9.6.drv5 /nix/store/clwzr890pf5y1nmqx48vljsy8dmyil27-dune-2.9.3.drv6 /nix/store/18bw5q05iqrp9f397iybckajn7adsbhf-ocaml4.14.0-menhirSdk-20220210.drv7 /nix/store/b928ax5rkv61pnirw4cvbql1md0nlwr3-ocaml4.14.0-menhirLib-20220210.drv8 /nix/store/0b7nc60flaniwm9dbb4m4spi6q1p1hb6-ocaml4.14.0-menhir-20220210.drv9 /nix/store/10zxq9kpyhgmkj6cap3x42rggj072v78-ocaml4.14.0-stdlib-shims-0.3.0.drv10 /nix/store/pc76ijbgjjx9l5wq6233g8z5b0rwyqf5-ocaml4.14.0-result-1.5.drv11 /nix/store/1raflrhr69xwdzbarsnjxyl0pcfhdbbn-ocaml4.14.0-csexp-1.5.1.drv12 /nix/store/28d3gpj1nk706jvw3xm1a83qjv74vf0i-ocaml4.14.0-zarith-1.12.drv13 /nix/store/64mqv8pif9wpz5psry9c57ldkdy0jrld-cmdliner-1.1.1.drv14 /nix/store/4zvgkz0a59spa49vcsb3n16a2db3l56l-ocaml4.14.0-psmt2-frontend-0.4.0.drv15 /nix/store/ck48k5h2xg7mdai17ngh7jj9431wfwgg-ocaml4.14.0-camlzip-1.11.drv16 /nix/store/2zinfcwfxi62iw3lvf35fr3x4n5kb4c6-ocaml4.14.0-ocplib-simplex-0.4.drv17 /nix/store/fsjhdsy61kk7ly1b5qbrj1b5fpx11f3w-ocaml4.14.0-num-1.1.drv18 /nix/store/s9qxr1031bwpasfi95y8c3sg4p2hjxb0-ocaml4.14.0-dune-configurator-2.9.3.drv19 /nix/store/y7cgz9735sh6wc32a656g93lrl0hm0l4-ocaml4.14.0-seq-0.1.drv20 /nix/store/q9977lyils62f8p9x353yvwm3f15qs78-ocaml4.14.0-alt-ergo-lib-2.4.2.drv21 /nix/store/iqdr6b84w370l5rpllcc2y7fl78y4fgg-ocaml4.14.0-alt-ergo-parsers-2.4.2.drv22 /nix/store/2ivhk23dvz1xs552y8176jjnm0g09v60-ocaml4.14.0-alt-ergo-2.4.2.drv23these 20 paths will be fetched (8.5 MiB download, 26.9 MiB unpacked):24 /nix/store/sl5clnq5na4zyw71p8yfbz624mdpybdd-6d4c6d476c061298e6385e8a0864f083194b9307.patch25 /nix/store/g1i6w7c33zvp462lb6i125ar1ns7kga1-autoconf-2.7126 /nix/store/5xcflc4xx62insging105jl1c3cbg8ax-automake-1.16.527 /nix/store/kdfsn1dqcb8rl2i8kfflym7sb0zg1kzy-cmdliner-1.1.1.tbz28 /nix/store/6l2bdmdbs0nbmxx590a5b70gji5jwabn-csexp-1.5.1.tbz29 /nix/store/p92xdmhqixnjl5yqjd5kp60favvmqcg7-dune-site-2.9.3.tbz30 /nix/store/wkmj721lkg331jlmif2giccp5x6rkaw1-file-5.4331 /nix/store/lz63b11znwk14czgnbx176k750ad4gxy-findlib-1.9.6.tar.gz32 /nix/store/wa5aq720vlcxjdzmj4nli6id5h9lb9l2-gnum4-1.4.1933 /nix/store/6nffs8z0ad3hmivqhdqhxp10ss0vmizw-hook34 /nix/store/ng0c8jyqpw4sxdsjni5701i5gnsp3p5z-libtool-2.4.735 /nix/store/gbm17wxrz5jzcgxk1mqg009syii81rgz-ocaml-4.14.0.tar.xz36 /nix/store/06q0h5wb8d3wwzm8nn2ys3cw16ck8gbi-pkg-config-0.29.237 /nix/store/m6jlkjiw2pikv2h43vhk0r57kfhjz2yf-pkg-config-wrapper-0.29.238 /nix/store/p11zhjzd7jp21i46mfy04hxzcibxhhgx-rel111.tar.gz39 /nix/store/djynli02dsja16dbn2zgwmwg7a4rivhh-result-1.5.tbz40 /nix/store/agnv4yryhisn2pdaw8aydzhwqprs2ics-source41 /nix/store/kzll2g0fwy98ix703f3zfb820l7v8d44-source42 /nix/store/rfl2gd9x5080h06k5q2h3ckx7dg5k5vg-source43 /nix/store/4s1xcdc1k3jqlprql3f5c6pdadwmhi47-stdlib-shims-0.3.0.tbz44warning: SQLite database '/nix/var/nix/db/db.sqlite' is busy