We have just updated maven repository and drools IDE update site to include drools 4.0.0 GA libraries. You can check both at the following addresses:

http://repository.jboss.com/maven2/org/drools/

http://downloads.jboss.com/drools/updatesite/site.xml

Last but not less important, remember that the new drools page at jboss.org is http://labs.jboss.com/drools/ as same as the new downloads page http://labs.jboss.com/drools/downloads

Fernando Meyer - http://fmeyer.org
Y! fer.meyer@yahoo.com
Software Engineer - JBoss Rules Core Developer
Office:   +55 11 3124-6000
Mobile: +55 11 8524-1298
JBoss, a division of Red Hat @ www.jboss.com
PGP: 0xAB29DA3A