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 (Eclipse 3.2 only)
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
