I need help figuring why some packages appear as installed from AUR

pulseaudio-ctl from AUR was included in Manjaro ISOs before Manjaro switched to PipeWire.
I removed it from my systems a few years ago but my partner’s system still uses it for the remote control to adjust audio level

Why does pipewire-pulse no longer declare provides=(pulseaudio)? · Issues · Arch Linux · GitLab
Jan Alexander Steffens (heftig) · 2 months ago

pipewire-pulse really shouldn’t provide pulseaudio, as it’s not 100% compatible. For example, pacmd is missing and the CLI protocol that pacmd depends on isn’t implemented, either.

There are a bunch of packages that continue depending on pulseaudio because of this, and they were silently broken by pipewire-pulse.