[mozball]

I mean nixpkgs is the largest linux repo there is.[1] I think anyone can upload a package, similar to AUR :

[1] - https://repology.org/repositories/statistics/total

edit : By official i meant something backed by and guaranteed by a reputed org, like Debian's official repo, RedHat or Arch's Core Repo.