Package matita
do-deps
prep
activedep-compile uutf.1.0.3-e3c96cc4f739d58b2d79e7326497eec1
dep-compile uuseg.15.1.0-97bd9c5da864844d89ebab59d679591b
dep-compile uucp.15.1.0-e3c96cc4f739d58b2d79e7326497eec1
dep-compile topkg.1.0.7-7a30baf060c27165ee7826db11db1664
dep-compile stdune.3.14.0-397ccf878c3ad0b496cdefde35ee8b2b
dep-compile stdlib-shims.0.3.0-82ed680c79c13fca2bf6926f3eae0dc8
dep-compile sexplib0.v0.16.0-82ed680c79c13fca2bf6926f3eae0dc8
dep-compile seq.base-b4ff2927357c9ead2679e5d779bd6414
dep-compile sedlex.3.2-c306405dabc969ddcaca443ab020219a
dep-compile rresult.0.7.0-e3c96cc4f739d58b2d79e7326497eec1
dep-compile re.1.11.0-d1d1bf0ed15b738f1f6fd3ead207613e
dep-compile ppxlib.0.32.1~5.2preview-a70f793ea66fed6933e43a0651972e69
dep-compile ppx_derivers.1.2.1-82ed680c79c13fca2bf6926f3eae0dc8
dep-compile pp.1.2.0-82ed680c79c13fca2bf6926f3eae0dc8
dep-compile pcre.7.5.0-7c7af4b1b6882e9bb698bfb32d761331
dep-compile ordering.3.14.0-82ed680c79c13fca2bf6926f3eae0dc8
dep-compile ocamlgraph.2.1.0-ca26477b64a245328190f9bf7cac9c98
dep-compile ocamlfind.1.9.6-b4ff2927357c9ead2679e5d779bd6414
dep-compile ocamlbuild.0.14.3-b4ff2927357c9ead2679e5d779bd6414
dep-compile ocaml-expat.1.3.0-26975f64f0a680c0252002a952bb9358
dep-compile ocaml-config.2-7c62a60b0db47a8cfb2eaa2f159ef861
dep-compile ocaml-compiler-libs.v0.12.4-82ed680c79c13fca2bf6926f3eae0dc8
dep-compile ocaml-base-compiler.4.14.1-d41d8cd98f00b204e9800998ecf8427e
dep-compile ocaml.4.14.1-f93dc14fbe1cce67b64997e50ae3afca
dep-compile not-ocamlfind.0.12-ba121159d1955590a79504425cefb257
dep-compile logs.0.7.0-1d45d681e76c9305cf5a77e4b2433463
dep-compile lablgtk3-sourceview3.3.1.4-5ef72f1b2402c35981a197e948679155
dep-compile lablgtk3.3.1.4-506dbd0005e229d44876009c60b5d840
dep-compile gen.1.1-d1d1bf0ed15b738f1f6fd3ead207613e
dep-compile fpath.0.7.3-decaeacb18d573b6569b7fc984b9b756
dep-compile fmt.0.9.0-6c23760d4f75ab8392e6619da788967e
dep-compile dyn.3.14.0-f4c85a52cd5b25548e22543c46a60ce2
dep-compile dune-site.3.14.0-3d21ef82a8f7bad1dcf9f2f673169e58
dep-compile dune-private-libs.3.14.0-fc8ca3d8c6c55580f9bac6ef78ec3ad3
dep-compile dune-configurator.3.14.0-a899bf5d3d6594f8a2a819daf3b163c4
dep-compile dune-build-info.3.14.0-82ed680c79c13fca2bf6926f3eae0dc8
dep-compile dune.3.14.0-51262f1934f91269be94879aa270c8f5
dep-compile csexp.1.5.2-82ed680c79c13fca2bf6926f3eae0dc8
dep-compile conf-zlib.1-f10a8e6d5c7eddcd8c8d8cfb436aa5d4
dep-compile conf-which.1-d41d8cd98f00b204e9800998ecf8427e
dep-compile conf-pkg-config.3-d41d8cd98f00b204e9800998ecf8427e
dep-compile conf-perl.2-d41d8cd98f00b204e9800998ecf8427e
dep-compile conf-m4.1-d41d8cd98f00b204e9800998ecf8427e
dep-compile conf-libpcre.1-f10a8e6d5c7eddcd8c8d8cfb436aa5d4
dep-compile conf-gtksourceview3.0+2-f10a8e6d5c7eddcd8c8d8cfb436aa5d4
dep-compile conf-gtk3.18-f10a8e6d5c7eddcd8c8d8cfb436aa5d4
dep-compile conf-expat.1-f10a8e6d5c7eddcd8c8d8cfb436aa5d4
dep-compile conf-cairo.1-f10a8e6d5c7eddcd8c8d8cfb436aa5d4
dep-compile conf-bash.1-d41d8cd98f00b204e9800998ecf8427e
dep-compile camlzip.1.11-5779c218cee1b8a272feff7671b3ee0b
dep-compile camlp5-buildscripts.0.03-9e7f3e3929d4382c90276f6c89f1b4fd
dep-compile camlp5.8.02.01-185e4b3e2e58f86eefeb9d51b46b8bbe
dep-compile camlp-streams.5.0.1-82ed680c79c13fca2bf6926f3eae0dc8
dep-compile cairo2.0.6.4-09de24762b2620843bebc38489c9f097
dep-compile bos.0.2.1-33a326123e1b5f88803f2fe52d17098e
dep-compile base-unix.base-d41d8cd98f00b204e9800998ecf8427e
dep-compile base-threads.base-d41d8cd98f00b204e9800998ecf8427e
dep-compile base-bigarray.base-d41d8cd98f00b204e9800998ecf8427e
dep-compile astring.0.8.5-e3c96cc4f739d58b2d79e7326497eec1
do-compile
activedo-html
active