]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/grafite_engine/.depend
Release 0.5.9.
[helm.git] / helm / software / components / grafite_engine / .depend
index 10236823af172c045fb709552131af884aaf6872..a545f14e33d0a91238cbcf0bd0a65c6eb18b1eae 100644 (file)
@@ -1,4 +1,3 @@
-grafiteTypes.cmi: 
 grafiteSync.cmi: grafiteTypes.cmi 
 nCicCoercDeclaration.cmi: grafiteTypes.cmi 
 grafiteEngine.cmi: grafiteTypes.cmi