]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/metadata/.depend.opt
Release 0.5.9.
[helm.git] / helm / software / components / metadata / .depend.opt
index 78cd97a0deff8787b73aed2878acef8374029ee0..492a34e3a9dad11aa9a08d4a09802647c6e0bf95 100644 (file)
@@ -1,5 +1,3 @@
-sqlStatements.cmi: 
-metadataTypes.cmi: 
 metadataExtractor.cmi: metadataTypes.cmi 
 metadataPp.cmi: metadataTypes.cmi 
 metadataConstraints.cmi: metadataTypes.cmi