This bug was fixed in the package php-cas - 1.3.3-2ubuntu1
--------------- php-cas (1.3.3-2ubuntu1) xenial; urgency=medium
* Update to PHP7.0 dependencies (LP: #1562979).
-- Nishanth Aravamudan <email address hidden> Mon, 28 Mar 2016 10:47:33 -0700
This bug was fixed in the package php-cas - 1.3.3-2ubuntu1
---------------
php-cas (1.3.3-2ubuntu1) xenial; urgency=medium
* Update to PHP7.0 dependencies (LP: #1562979).
-- Nishanth Aravamudan <email address hidden> Mon, 28 Mar 2016 10:47:33 -0700