matita/components/library/.depend.opt

   1 librarian.cmi:
   2 libraryMisc.cmi:
   3 libraryDb.cmi:
   4 coercDb.cmi:
   5 cicCoercion.cmi: coercDb.cmi
   6 librarySync.cmi:
   7 cicElim.cmi:
   8 cicRecord.cmi:
   9 cicFix.cmi:
  10 libraryClean.cmi:
  11 librarian.cmo: librarian.cmi
  12 librarian.cmx: librarian.cmi
  13 libraryMisc.cmo: libraryMisc.cmi
  14 libraryMisc.cmx: libraryMisc.cmi
  15 libraryDb.cmo: libraryDb.cmi
  16 libraryDb.cmx: libraryDb.cmi
  17 coercDb.cmo: coercDb.cmi
  18 coercDb.cmx: coercDb.cmi
  19 cicCoercion.cmo: coercDb.cmi cicCoercion.cmi
  20 cicCoercion.cmx: coercDb.cmx cicCoercion.cmi
  21 librarySync.cmo: libraryDb.cmi coercDb.cmi cicCoercion.cmi librarySync.cmi
  22 librarySync.cmx: libraryDb.cmx coercDb.cmx cicCoercion.cmx librarySync.cmi
  23 cicElim.cmo: librarySync.cmi cicElim.cmi
  24 cicElim.cmx: librarySync.cmx cicElim.cmi
  25 cicRecord.cmo: librarySync.cmi cicRecord.cmi
  26 cicRecord.cmx: librarySync.cmx cicRecord.cmi
  27 cicFix.cmo: librarySync.cmi cicFix.cmi
  28 cicFix.cmx: librarySync.cmx cicFix.cmi
  29 libraryClean.cmo: librarySync.cmi libraryMisc.cmi libraryDb.cmi \
  30     libraryClean.cmi
  31 libraryClean.cmx: librarySync.cmx libraryMisc.cmx libraryDb.cmx \
  32     libraryClean.cmi