I think you all know about libgdx(http://code.google.com/p/libgdx/) ,it is an alternate version instead of dealing directly ndk ,openGL.
I think a much better version of cocos2d-android can be distributed like libgdx with little effort. It must be very useful for developers who have trouble installing cygwin, dealing with ndk… and other higher level stuff.
I have seen a version of cocos2d-android at https://github.com/ZhouWeikuan/cocos2d .
But I think I has many bugs in it and hence people are not using it , what is your view ?