Just wondering; are the output files of the koji system no more accessible? I remember asking for some devel packages https://lists.centos.org/pipermail/centos-devel/2019-May/017417.html and at that time I could download the rpm files. Why this "administrative rules" now? Any reasons for that? And in general; a lot of devel packages are missing. Whats the policy for that? Can we see these rpms in the PowerTools or Extras repos? Thanks, Leon