X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Flibrary%2F.depend;h=fefbf93ecf773710f946be5e989d3e2e60d0b969;hb=0bfad3f438ba29135f2c18d1bf3cb0c8f462a205;hp=e99436e054860d2ef30e88e087bf4e7bed9bd692;hpb=111df95ac03f2ee21dfa2422a7f531f675b1c16d;p=helm.git

diff --git a/helm/software/components/library/.depend b/helm/software/components/library/.depend
index e99436e05..fefbf93ec 100644
--- a/helm/software/components/library/.depend
+++ b/helm/software/components/library/.depend
@@ -1,5 +1,7 @@
 cicCoercion.cmi: coercDb.cmi 
 librarySync.cmi: refinementTool.cmo 
+librarian.cmo: librarian.cmi 
+librarian.cmx: librarian.cmi 
 cicElim.cmo: cicElim.cmi 
 cicElim.cmx: cicElim.cmi 
 cicRecord.cmo: cicRecord.cmi