BIG FAT WARNING: DEVELOPMENTS DIE HERE

[helm.git] / helm / software / components / library / .depend

diff --git a/helm/software/components/library/.depend b/helm/software/components/library/.depend
index e99436e054860d2ef30e88e087bf4e7bed9bd692..fefbf93ecf773710f946be5e989d3e2e60d0b969 100644 (file)
--- 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