..well. apparently it's now back, even if its "after" 7.2.. i guess some update went wrong there, in the past days...
ps: some clarifying words from http://teiid.blogspot.com/2010/11/teiid-72-final-released.html
<<The 7.1 release was posted to the jboss.org download site: http://downloads.jboss.org/teiid/7.1.0.Final/teiid-7.1.0.Final-jboss-dist.zip
At the time we were looking at making a switch over, but decided to stay at sourceforge. We'll add 7.1 to sourceforce to prevent confusion>>