og_config.cmo : og_version.cmi ../../src/libs/og_file.cmi og_config.cmi
og_config.cmx : og_version.cmx ../../src/libs/og_file.cmx og_config.cmi
og_config.cmi : ../../src/libs/og_file.cmi
og_misc.cmo : og_misc.cmi
og_misc.cmx : og_misc.cmi
og_misc.cmi :
og_version.cmo : og_version.cmi
og_version.cmx : og_version.cmi
og_version.cmi :
