javitonino [1] filed a deletion request for php56-kolabformat [2]: php-kolabformat has been updated to work with PHP7, so I think there is no need to maintain the PHP 5 version anymore.
[1] https://aur.archlinux.org/account/javitonino/ [2] https://aur.archlinux.org/pkgbase/php56-kolabformat/
