]> matita.cs.unibo.it Git - helm.git/blob - .depend.opt
6e9ccb21aa298feaf832ca1ec51706dd0ae0fcde
[helm.git] / .depend.opt
1 grafiteEngine.cmx : \
2     nCicCoercDeclaration.cmx \
3     grafiteTypes.cmx \
4     grafiteEngine.cmi
5 grafiteEngine.cmi : \
6     grafiteTypes.cmi
7 grafiteTypes.cmx : \
8     grafiteTypes.cmi
9 grafiteTypes.cmi :
10 nCicCoercDeclaration.cmx : \
11     grafiteTypes.cmx \
12     nCicCoercDeclaration.cmi
13 nCicCoercDeclaration.cmi : \
14     grafiteTypes.cmi