sci-mathematics/agda: Fix cpphs dependency

Package-Manager: portage-2.2.14_rc1
RepoMan-Options: --force