phpCAS is now a JASIG project hosted at http://www.ja-sig.org/wiki/display/CASC/phpCAS.

Downloads are still available for a while here.