But from my understanding it is okay to put binary packages into the
download area (I do it) as long as the corresponding source code is
there too.
Packages for proprietary systems are okay as long as the functionallity
is also available on free systems. There may be nothing extra for
proprietary systems, only if it's necessary to get it going at all.
So different code for different systems should be okay as long as you
get the same features.
All files in the download area must come with a detached GPG signature.
Hope that's all correct. ;-)
Yes, all that is exactly right. Thanks Andreas.