On Mar 19, 2008, at 11:25 AM, Logiciel Gambit wrote:
Gambit-C v4.2.5 is now available.
Changelog: http://www.iro.umontreal.ca/~gambit/repo/gambit/?shortlog
The sources and prebuilt distributions can be obtained from the Gambit web site by visiting one of the following links.
sources: http://www.iro.umontreal.ca/~gambit/download/gambit/v4.2/source/ gambc-v4_2_5.tgz
It appears that you haven't actually committed the changes needed to update the version to 4.2.5.
Brad