[gambit-list] Gambit-C Debian 4.0b20 Packages Available