Thanks, I should have realized searching for "play" in a package manager was going to be a poor user experience.

I think it must be installed by default in my distro.