debparser.cmo: rfc822.cmi debver.cmi debparser.cmi 
debparser.cmx: rfc822.cmx debver.cmx debparser.cmi 
debver.cmo: debver.cmi 
debver.cmx: debver.cmi 
rfc822.cmo: rfc822.cmi 
rfc822.cmx: rfc822.cmi 
debparser.cmi: rfc822.cmi 
