Asked support, got directed here...
As the topic says... I don't see a 32bit version for download.
I grabbed the sources, and it did not contain anything I was looking for, and I'm not about to compile everything myself, since I'm sure there are missing bits, such as examples, libraries, cmsis bits, etc.
So, to who it may concern, I'd like to see a generic tarball installation. I don't use debian, or redhat, or any of the offshoots.