setup
checks.x86_64-linux.alt-ergo
· build #1
· raw
1these 5 derivations will be built:2 /nix/store/xm3llhhsi4c6z243x1a6d0sbr0kak5dw-ocaml4.14.0-ocplib-simplex-0.4.drv3 /nix/store/9xi7apw91wp37vw4s6mw4g1w1j8dbybj-ocaml4.14.0-alt-ergo-lib-2.4.2.drv4 /nix/store/gv7zk0vnqjp3a6ccnq7yyfxrals1s702-ocaml4.14.0-psmt2-frontend-0.4.0.drv5 /nix/store/c8cp76w4zk8jg0innimfs3rzqzsk9did-ocaml4.14.0-alt-ergo-parsers-2.4.2.drv6 /nix/store/nglh7293z2b4g8qdi9cg4vlqhham7ayq-ocaml4.14.0-alt-ergo-2.4.2.drv7these 20 paths will be fetched (110.0 MiB download, 458.2 MiB unpacked):8 /nix/store/idc80c1893y1mbfg98v9kphc03rjd1in-autoconf-2.719 /nix/store/clzc3s59i36aqrkcn92bj54nh6gn0sx6-automake-1.16.510 /nix/store/dz1jwpx0743lpgnz7i2pplsmfic682jz-cmdliner-1.1.111 /nix/store/a5i8cyx48cnbcw128vb3cxm4x6sg0v3n-dune-2.9.312 /nix/store/qss2l7hpp4km2msil0g1xfg82774h81v-file-5.4313 /nix/store/bbzlsi80wzjls6p34p3x41f5s2l6akds-gnum4-1.4.1914 /nix/store/nxxd4bhq41ix50n532vkdx6vp5p5hir3-hook15 /nix/store/sjs7szvhvyjzlmgzqn7g1la2bkl5kqjz-libtool-2.4.716 /nix/store/h47rb064n6h033jbwq7zr9wsdkd85lgz-ocaml-4.14.017 /nix/store/gq5irh1awgx67zp2kpinhfxpdi7md20h-ocaml4.14.0-camlzip-1.1118 /nix/store/ck1lpkf2zag2l7kq7bpnfb53ixwk13fx-ocaml4.14.0-csexp-1.5.119 /nix/store/xcmscm5c3fjhkck5fis1xbq1352yh2sq-ocaml4.14.0-dune-configurator-2.9.320 /nix/store/wapb2335lpzyawb7ycr43ql06bvz8bcj-ocaml4.14.0-findlib-1.9.621 /nix/store/3a4ykpmirm6n95yb688g9hkd4c87283i-ocaml4.14.0-menhir-2022021022 /nix/store/ibacv951lc3qcv3830s9vnkm1f9xljv7-ocaml4.14.0-num-1.123 /nix/store/llpjby21bvz1j2xdbmlll91sc3yvndnr-ocaml4.14.0-result-1.524 /nix/store/5l37rgnwr7giykyvh00aw08gznmqc4bl-ocaml4.14.0-seq-0.125 /nix/store/ww9dhf42h5r07yzmzwg4g1ay691f3qxl-ocaml4.14.0-stdlib-shims-0.3.026 /nix/store/ja8jd3l0qcha185rdyd42r1janqjqjrv-ocaml4.14.0-zarith-1.1227 /nix/store/np3f62mihaixsr3zyp1hzi9arp4rkxf0-zlib-1.2.13-dev