]> matita.cs.unibo.it Git - helm.git/blob - helm/software/components/library/.depend
made executable again
[helm.git] / helm / software / components / library / .depend
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