The package for the java based Puppet Server is "puppet-server", at least for the rpm based packages. Using the Puppet Collections instructions will get you 4.x installed.

Be aware that "Puppet Collections 1" now has PuppetDB 3.0 which deprecates APIs older than v4 and changes the URL structure. So things like PuppetBoard and PuppetExplorer will stop working until they themselves get updated.