If your distribution appears in the list on Section 3.1 but you can't find the binary package for your platform (for example x86_64), you can easily create the RPM compatible with your system following this steps:
Have installed compiler and development packages on your system
As root, do this command:
bash# rpmbuild --rebuild [the .src.rpm file you just downloaded]
Find the binary RPMs for your platform at /usr/src/rpm or /usr/src/redhat.
Send them to us so we can publish them on this documentation.