[ntp85]

There is indeed a Fedora Server: https://getfedora.org/en/server/