Package matita

• do-deps

  OK

• do-compile

  OK

All universes

88c2b0ce814e88e40f7ed726d7e4d23b

• prep

  • prep matita.0.99.5-88c2b0ce814e88e40f7ed726d7e4d23b

    OK

  • prep dependency astring.0.8.5-d419bd32cbcf59fccbbb067bd7d8321e

    OK

  • prep dependency base-bigarray.base-95f56fcf1da5300e1109d0aa6ba92aed

    OK

  • prep dependency base-threads.base-95f56fcf1da5300e1109d0aa6ba92aed

    OK

  • prep dependency base-unix.base-95f56fcf1da5300e1109d0aa6ba92aed

    OK

  • prep dependency bos.0.2.1-1e53ff66483a131de55a5d44cfe15fa1

    OK

  • prep dependency cairo2.0.6.5-2be0b127f641c5139b2d7c9eb8cc2ab1

    OK

  • prep dependency camlp-streams.5.0.1-43595d19ce7739d8c65c03043dcd23ef

    OK

  • prep dependency camlp5.8.02.01-eb0df8b6ca5b2f2938db3995df2d481d

    OK

  • prep dependency camlp5-buildscripts.0.06-08fae13b46e901a7d85765f814afdc35

    OK

  • prep dependency camlzip.1.13-e682356d4eea9b7740ffe58c9417518e

    OK

  • prep dependency conf-cairo.1-dbfcb815aeb4bf0fd3cd8629e55225c8

    OK

  • prep dependency conf-expat.1-dbfcb815aeb4bf0fd3cd8629e55225c8

    OK

  • prep dependency conf-gtk3.18-dbfcb815aeb4bf0fd3cd8629e55225c8

    OK

  • prep dependency conf-gtksourceview3.0+2-dbfcb815aeb4bf0fd3cd8629e55225c8

    OK

  • prep dependency conf-libpcre.2-dbfcb815aeb4bf0fd3cd8629e55225c8

    OK

  • prep dependency conf-m4.1-95f56fcf1da5300e1109d0aa6ba92aed

    OK

  • prep dependency conf-perl.2-95f56fcf1da5300e1109d0aa6ba92aed

    OK

  • prep dependency conf-pkg-config.4-95f56fcf1da5300e1109d0aa6ba92aed

    OK

  • prep dependency conf-which.1-95f56fcf1da5300e1109d0aa6ba92aed

    OK

  • prep dependency conf-zlib.1-dbfcb815aeb4bf0fd3cd8629e55225c8

    OK

  • prep dependency csexp.1.5.2-43595d19ce7739d8c65c03043dcd23ef

    OK

  • prep dependency dune.3.18.2-ebfbf2a49c873ae1898683b3e8cd3ae7

    OK

  • prep dependency dune-build-info.3.18.2-43595d19ce7739d8c65c03043dcd23ef

    OK

  • prep dependency dune-configurator.3.18.2-45ad0c01f9ceb15686c7d5507dc0b80e

    OK

  • prep dependency dune-private-libs.3.18.2-788a4c0af6b3b22f7450eefaae5b1e85

    OK

  • prep dependency dune-site.3.18.2-bc7e9a33623785301dc5c4903cbd2f40

    OK

  • prep dependency dyn.3.18.2-b5116ffede690a67b1e257bbb35b1783

    OK

  • prep dependency fmt.0.10.0-debd2e05944230a9750d0883fb4e5081

    OK

  • prep dependency fpath.0.7.3-a650ace80b068b6ca7c18e72c4816924

    OK

  • prep dependency gen.1.1-fbd1fed53f91f045f617c448b25d4bae

    OK

  • prep dependency lablgtk3.3.1.5-6b6a2d5b0eeaec8e8f949733c1d5725f

    OK

  • prep dependency lablgtk3-sourceview3.3.1.5-17320e1b7b7cd712400d3b5405e683fd

    OK

  • prep dependency logs.0.8.0-56736a409a940faec56e4aac87ad1a76

    OK

  • prep dependency not-ocamlfind.0.14-b89031ede1fbfc0472d8b20f5745a9c5

    OK

  • prep dependency ocaml.4.14.2-906334fd2e017db19ce5f851d5121f74

    OK

  • prep dependency ocaml-base-compiler.4.14.2-95f56fcf1da5300e1109d0aa6ba92aed

    OK

  • prep dependency ocaml-compiler-libs.v0.12.4-43595d19ce7739d8c65c03043dcd23ef

    OK

  • prep dependency ocaml-config.2-56a469ab35eda9a278ea08e63ba34a78

    OK

  • prep dependency ocaml-expat.1.3.0-bcaa3cb387504df502335723e4af743d

    OK

  • prep dependency ocamlbuild.0.16.1-8ec2c08a7515b28a7e25f6bb987b2a4f

    OK

  • prep dependency ocamlfind.1.9.8-8ec2c08a7515b28a7e25f6bb987b2a4f

    OK

  • prep dependency ocamlgraph.2.2.0-43595d19ce7739d8c65c03043dcd23ef

    OK

  • prep dependency ordering.3.18.2-43595d19ce7739d8c65c03043dcd23ef

    OK

  • prep dependency pcre.8.0.3-40d43c8160ab96c4a8d084188ddcf4d0

    OK

  • prep dependency pp.2.0.0-43595d19ce7739d8c65c03043dcd23ef

    OK

  • prep dependency ppx_derivers.1.2.1-43595d19ce7739d8c65c03043dcd23ef

    OK

  • prep dependency ppxlib.0.36.0-98380098fdfe1e788798148c47a4fa3c

    OK

  • prep dependency re.1.12.0-fbd1fed53f91f045f617c448b25d4bae

    OK

  • prep dependency rresult.0.7.0-d419bd32cbcf59fccbbb067bd7d8321e

    OK

  • prep dependency sedlex.3.4-25284ab0ba05d2669275b1224b8b00c9

    OK

  • prep dependency seq.base-8ec2c08a7515b28a7e25f6bb987b2a4f

    OK

  • prep dependency sexplib0.v0.17.0-43595d19ce7739d8c65c03043dcd23ef

    OK

  • prep dependency stdlib-shims.0.3.0-43595d19ce7739d8c65c03043dcd23ef

    OK

  • prep dependency stdune.3.18.2-1c0e25ea3ecfab57e6ae85b5689ca5da

    OK

  • prep dependency topkg.1.0.8-468f0a50694252e43d948dd9bebebc5b

    OK

  • prep dependency uucp.16.0.0-d419bd32cbcf59fccbbb067bd7d8321e

    OK

  • prep dependency uuseg.16.0.0-38a9fb5c72601a228c32bacc2c562d80

    OK

  • prep dependency uutf.1.0.4-d419bd32cbcf59fccbbb067bd7d8321e

    OK