Hi, where can I locate the latest release of OpenCyc?  On some pages, it says that 0.6, 0.7, 0.9, or 1.0.  For example,

http://www.opencyc.org/license/doc/install/install_v07

Also, when I get to the download, it's not clear as to what version one should download:

tptp_elaboration_challenge_problem_set.tgz

or

tptp_scaling_challenge_problem_set.tgz

Thus, can someone clear this up?  Next, does OpenCyc support other flavors on Unix systems like Mac OS and BSD?

Thanks in advance,

-Conrad