4 (libraries helm_grafite_engine lablgtk3-sourceview3 dune-build-info dune-site)
6 mysites buildTimeConf matitaTypes matitaMiscCli applyTransformation matitaEngine matitaExcPp matitaInit))
15 (promote (until-clean))
16 (libraries matita_cli)
17 (modules_without_implementation matitaGuiTypes)
19 matitaGuiInit matitaGeneratedGui lablGraphviz matitaGuiTypes matitaMisc matitaGtkMisc virtuals cicMathView predefined_virtuals matitaMathView matitaScript matitaGui matita))
22 (names matitac matitaclean)
23 (public_names matitac matitaclean)
24 (promote (until-clean))
25 (libraries matita_cli)
26 (modules matitac matitaclean))
29 (section (site (matita myshare)))
31 (glob_files_rec lib/*)
32 (glob_files_rec help/*) ; brutal
33 (glob_files_rec icons/*)
44 (flags (:standard -thread -rectypes -w @A-52-4-34-37-45-9-44-48-6-32-20-58-7-57-3-68-69-70-50-29)))) ; -29 for non portable strings