Package matita

• do-deps

  • prep

    OK

  • dep-compile uutf.1.0.3-e3c96cc4f739d58b2d79e7326497eec1

    • prep

      OK

    • compile

      OK

  • dep-compile uuseg.15.1.0-97bd9c5da864844d89ebab59d679591b

    • prep

      OK

    • compile

      OK

  • dep-compile uucp.15.1.0-e3c96cc4f739d58b2d79e7326497eec1

    • prep

      OK

    • compile

      OK

  • dep-compile topkg.1.0.7-7a30baf060c27165ee7826db11db1664

    • prep

      OK

    • compile

      OK

  • dep-compile stdune.3.13.0-3d79eab4b6f472d485fd399603ba6f59

    • prep

      OK

    • compile

      OK

  • dep-compile stdlib-shims.0.3.0-42869bead0586b31a3ab42bb9bc3b412

    • prep

      OK

    • compile

      OK

  • dep-compile sexplib0.v0.16.0-42869bead0586b31a3ab42bb9bc3b412

    • prep

      OK

    • compile

      OK

  • dep-compile seq.base-b4ff2927357c9ead2679e5d779bd6414

    • prep

      OK

    • compile

      OK

  • dep-compile sedlex.3.2-30955a4c82a5afd7107bd6b70dafb080

    • prep

      OK

    • compile

      OK

  • dep-compile rresult.0.7.0-e3c96cc4f739d58b2d79e7326497eec1

    • prep

      OK

    • compile

      OK

  • dep-compile re.1.11.0-96105100ba70959f7338517b023434fb

    • prep

      OK

    • compile

      OK

  • dep-compile ppxlib.0.31.0-bde2cf18fa21697ca1429efdc390b981

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_derivers.1.2.1-42869bead0586b31a3ab42bb9bc3b412

    • prep

      OK

    • compile

      OK

  • dep-compile pp.1.2.0-42869bead0586b31a3ab42bb9bc3b412

    • prep

      OK

    • compile

      OK

  • dep-compile pcre.7.5.0-c1a29368da9edceacff1368a6afa2822

    • prep

      OK

    • compile

      OK

  • dep-compile ordering.3.13.0-42869bead0586b31a3ab42bb9bc3b412

    • prep

      OK

    • compile

      OK

  • dep-compile ocamlgraph.2.1.0-94c3a8eda6b556497b7107c7be7b777b

    • prep

      OK

    • compile

      OK

  • dep-compile ocamlfind.1.9.6-b4ff2927357c9ead2679e5d779bd6414

    • prep

      OK

    • compile

      OK

  • dep-compile ocamlbuild.0.14.3-b4ff2927357c9ead2679e5d779bd6414

    • prep

      OK

    • compile

      OK

  • dep-compile ocaml-expat.1.3.0-26975f64f0a680c0252002a952bb9358

    • prep

      OK

    • compile

      OK

  • dep-compile ocaml-config.2-7c62a60b0db47a8cfb2eaa2f159ef861

    • prep

      OK

    • compile

      OK

  • dep-compile ocaml-compiler-libs.v0.12.4-42869bead0586b31a3ab42bb9bc3b412

    • prep

      OK

    • compile

      OK

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

    • prep

      OK

    • compile

      OK

  • dep-compile ocaml.4.14.1-f93dc14fbe1cce67b64997e50ae3afca

    • prep

      OK

    • compile

      OK

  • dep-compile not-ocamlfind.0.12-449624fee60540e8456b24648afcbb2d

    • prep

      OK

    • compile

      OK

  • dep-compile logs.0.7.0-1d45d681e76c9305cf5a77e4b2433463

    • prep

      OK

    • compile

      OK

  • dep-compile lablgtk3-sourceview3.3.1.3-24db8ec755ce8307f2e9f44cdf7c76dd

    • prep

      OK

    • compile

      OK

  • dep-compile lablgtk3.3.1.3-eff9ed90b60ac59c41918f7da5a3e5ca

    • prep

      OK

    • compile

      OK

  • dep-compile gen.1.1-96105100ba70959f7338517b023434fb

    • prep

      OK

    • compile

      OK

  • dep-compile fpath.0.7.3-decaeacb18d573b6569b7fc984b9b756

    • prep

      OK

    • compile

      OK

  • dep-compile fmt.0.9.0-6c23760d4f75ab8392e6619da788967e

    • prep

      OK

    • compile

      OK

  • dep-compile dyn.3.13.0-0761d5bf7a70a9e0533a16393716f607

    • prep

      OK

    • compile

      OK

  • dep-compile dune-site.3.13.0-5013268b40af6bb255589884e1fa22fa

    • prep

      OK

    • compile

      OK

  • dep-compile dune-private-libs.3.13.0-39119b0832d67e1a146e96edebe347a4

    • prep

      OK

    • compile

      OK

  • dep-compile dune-configurator.3.13.0-e0dfad74ec3175cedc16fdc0d2af1525

    • prep

      OK

    • compile

      OK

  • dep-compile dune-build-info.3.13.0-42869bead0586b31a3ab42bb9bc3b412

    • prep

      OK

    • compile

      OK

  • dep-compile dune.3.13.0-51262f1934f91269be94879aa270c8f5

    • prep

      OK

    • compile

      OK

  • dep-compile csexp.1.5.2-42869bead0586b31a3ab42bb9bc3b412

    • prep

      OK

    • compile

      OK

  • dep-compile conf-zlib.1-f10a8e6d5c7eddcd8c8d8cfb436aa5d4

    • prep

      OK

    • compile

      OK

  • dep-compile conf-which.1-d41d8cd98f00b204e9800998ecf8427e

    • prep

      OK

    • compile

      OK

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

    • prep

      OK

    • compile

      OK

  • dep-compile conf-perl.2-d41d8cd98f00b204e9800998ecf8427e

    • prep

      OK

    • compile

      OK

  • dep-compile conf-m4.1-d41d8cd98f00b204e9800998ecf8427e

    • prep

      OK

    • compile

      OK

  • dep-compile conf-libpcre.1-f10a8e6d5c7eddcd8c8d8cfb436aa5d4

    • prep

      OK

    • compile

      OK

  • dep-compile conf-gtksourceview3.0+2-f10a8e6d5c7eddcd8c8d8cfb436aa5d4

    • prep

      OK

    • compile

      OK

  • dep-compile conf-gtk3.18-f10a8e6d5c7eddcd8c8d8cfb436aa5d4

    • prep

      OK

    • compile

      OK

  • dep-compile conf-expat.1-f10a8e6d5c7eddcd8c8d8cfb436aa5d4

    • prep

      OK

    • compile

      OK

  • dep-compile conf-cairo.1-f10a8e6d5c7eddcd8c8d8cfb436aa5d4

    • prep

      OK

    • compile

      OK

  • dep-compile conf-bash.1-d41d8cd98f00b204e9800998ecf8427e

    • prep

      OK

    • compile

      OK

  • dep-compile camlzip.1.11-5779c218cee1b8a272feff7671b3ee0b

    • prep

      OK

    • compile

      OK

  • dep-compile camlp5-buildscripts.0.03-7a54c3eddd44bc1b346317debf1b2273

    • prep

      OK

    • compile

      OK

  • dep-compile camlp5.8.02.01-c40f6ac7dfec2f1727f2086d01cbbb95

    • prep

      OK

    • compile

      OK

  • dep-compile camlp-streams.5.0.1-42869bead0586b31a3ab42bb9bc3b412

    • prep

      OK

    • compile

      OK

  • dep-compile cairo2.0.6.4-fa1833262553d9785b9e3d49a3df1f11

    • prep

      OK

    • compile

      OK

  • dep-compile bos.0.2.1-33a326123e1b5f88803f2fe52d17098e

    • 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 base-bigarray.base-d41d8cd98f00b204e9800998ecf8427e

    • prep

      OK

    • compile

      OK

  • dep-compile astring.0.8.5-e3c96cc4f739d58b2d79e7326497eec1

    • prep

      OK

    • compile

      OK

• do-compile

  OK

• do-html

  OK