The distribution packages can be downloaded from jboss.org http://jboss.org/errai/Downloads.html