classic_patch.cmo : classic_patch.cmi
classic_patch.cmx : classic_patch.cmi
classic_patch.cmi :
kbuild.cmo : kbuild.cmi
kbuild.cmx : kbuild.cmi
kbuild.cmi :
maintainers.cmo : maintainers.cmi
maintainers.cmx : maintainers.cmi
maintainers.cmi :
