[web2py] CAS not found

[notabene]

The CAS  provider applicance should be here.
http://mdp.cti.depaul.edu/appliances/default/index  (https://
www.web2py.com/cas)
https://mdp.cti.depaul.edu/cas (http://en.wikipedia.org/wiki/
Central_Authentication_Service).

But I am not able to find it?