Package alt-ergo

• do-deps

  • prep

    OK

  • dep-compile zarith.1.7-1-4ca1afa7ffa093bbc3035e495ebe54af

    • prep

      OK

    • compile

      OK

  • dep-compile stdlib-shims.0.3.0-b6780927b827c5cc668bba2a9dd402a3

    • prep

      OK

    • compile

      OK

  • dep-compile seq.base-bffe6329f0cee9b6176a4848a66340fc

    • prep

      OK

    • compile

      OK

  • dep-compile psmt2-frontend.0.4.0-8e81c279b798cad4c1e55b0f6da30402

    • prep

      OK

    • compile

      OK

  • dep-compile ocplib-simplex.0.4.1-154313319b2ac65d5907782dc87560f7

    • prep

      OK

    • compile

      OK

  • dep-compile ocamlfind.1.9.8-bffe6329f0cee9b6176a4848a66340fc

    • prep

      OK

    • compile

      OK

  • dep-compile ocaml-config.1-ec4c415aa1e29bc93cd33126ce9f59da

    • prep

      OK

    • compile

      OK

  • dep-compile ocaml-base-compiler.4.07.1-d41d8cd98f00b204e9800998ecf8427e

    • prep

      OK

    • compile

      OK

  • dep-compile ocaml.4.07.1-1ce52ec135d903f6a7fd2b62117e9482

    • prep

      OK

    • compile

      OK

  • dep-compile num.1.5-1-bffe6329f0cee9b6176a4848a66340fc

    • prep

      OK

    • compile

      OK

  • dep-compile menhirSdk.20211012-b6780927b827c5cc668bba2a9dd402a3

    • prep

      OK

    • compile

      OK

  • dep-compile menhirLib.20211012-b6780927b827c5cc668bba2a9dd402a3

    • prep

      OK

    • compile

      OK

  • dep-compile menhir.20211012-aedf2444ee7fd1168c2eb32bbfd0e212

    • prep

      OK

    • compile

      OK

  • dep-compile dune-private-libs.2.6.2-b6780927b827c5cc668bba2a9dd402a3

    • prep

      OK

    • compile

      OK

  • dep-compile dune-configurator.2.6.2-1948738c454010d50a0edc9d2c93439d

    • prep

      OK

    • compile

      OK

  • dep-compile dune.2.6.2-a21161e462b15bea2642da6f8951062d

    • prep

      OK

    • compile

      OK

  • dep-compile conf-zlib.1-afe7c779e5c5d79c73151ce129b0ca5a

    • prep

      OK

    • compile

      OK

  • dep-compile conf-pkg-config.4-d41d8cd98f00b204e9800998ecf8427e

    • prep

      OK

    • compile

      OK

  • dep-compile conf-perl.2-d41d8cd98f00b204e9800998ecf8427e

    • prep

      OK

    • compile

      OK

  • dep-compile conf-gmp.4-d41d8cd98f00b204e9800998ecf8427e

    • prep

      OK

    • compile

      OK

  • dep-compile conf-autoconf.0.2-d41d8cd98f00b204e9800998ecf8427e

    • prep

      OK

    • compile

      OK

  • dep-compile cmdliner.1.0.4-bffe6329f0cee9b6176a4848a66340fc

    • prep

      OK

    • compile

      OK

  • dep-compile camlzip.1.11-b82df878f7ed0c7af137a7e10710cd64

    • prep

      OK

    • compile

      OK

  • dep-compile base-unix.base-d41d8cd98f00b204e9800998ecf8427e

    • prep

      OK

    • compile

      OK

  • dep-compile base-threads.base-d41d8cd98f00b204e9800998ecf8427e

    • prep

      OK

    • compile

      OK

  • dep-compile alt-ergo-parsers.2.4.1-fb46980bcb64c72f7683b554b1d01d40

    • prep

      OK

    • compile

      OK

  • dep-compile alt-ergo-lib.2.4.1-e833c06369c013a41be99db00d23392c

    • prep

      OK

    • compile

      OK

• do-compile

  OK

• do-html

  error: Failed: Build failed