1 hbugs_id_generator.cmo: hbugs_id_generator.cmi
2 hbugs_id_generator.cmx: hbugs_id_generator.cmi
3 hbugs_messages.cmo: hbugs_misc.cmi hbugs_types.cmo hbugs_messages.cmi
4 hbugs_messages.cmx: hbugs_misc.cmx hbugs_types.cmx hbugs_messages.cmi
5 hbugs_misc.cmo: hbugs_misc.cmi
6 hbugs_misc.cmx: hbugs_misc.cmi
7 hbugs_id_generator.cmi: hbugs_types.cmo
8 hbugs_messages.cmi: hbugs_types.cmo