sci-mathematics/agda: Update deps

Package-Manager: portage-2.2.12