X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fxoa%2FMakefile;fp=matita%2Fcomponents%2Fbinaries%2Fxoa%2FMakefile;h=1933a2003b8764d7e320cada82fc72246771b25a;hb=db020b4218272e2e35641ce3bc3b0a9b3afda899;hp=dd5a763f7c302c88cf8d857824aa660d1a05725f;hpb=d8f6494f48aa08bb32d9d1ac82fc16e9e41b76ac;p=helm.git

diff --git a/matita/components/binaries/xoa/Makefile b/matita/components/binaries/xoa/Makefile
index dd5a763f7..1933a2003 100644
--- a/matita/components/binaries/xoa/Makefile
+++ b/matita/components/binaries/xoa/Makefile
@@ -1,6 +1,6 @@
 EXEC = xoa
 VERSION=0.2.0
 
-REQUIRES = helm-grafite
+REQUIRES = helm-registry
 
 include ../Makefile.common