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

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