sci-mathematics/agda: Update deps

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