hbugs_id_generator.cmo: hbugs_id_generator.cmi 
hbugs_id_generator.cmx: hbugs_id_generator.cmi 
hbugs_messages.cmo: hbugs_misc.cmi hbugs_types.cmo hbugs_messages.cmi 
hbugs_messages.cmx: hbugs_misc.cmx hbugs_types.cmx hbugs_messages.cmi 
hbugs_misc.cmo: hbugs_misc.cmi 
hbugs_misc.cmx: hbugs_misc.cmi 
hbugs_id_generator.cmi: hbugs_types.cmo 
hbugs_messages.cmi: hbugs_types.cmo