]> matita.cs.unibo.it Git - helm.git/blob - helm/software/components/ng_library/.depend
projects / helm.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Release 0.5.9.
[helm.git] / helm / software / components / ng_library / .depend
1 nCic2OCic.cmo: nCic2OCic.cmi 
2 nCic2OCic.cmx: nCic2OCic.cmi 
3 oCic2NCic.cmo: oCic2NCic.cmi 
4 oCic2NCic.cmx: oCic2NCic.cmi 
5 nCicLibrary.cmo: oCic2NCic.cmi nCic2OCic.cmi nCicLibrary.cmi 
6 nCicLibrary.cmx: oCic2NCic.cmx nCic2OCic.cmx nCicLibrary.cmi 
Unnamed repository; edit this file 'description' to name the repository.