[gambit-list] Gambit-C Debian 4.0.b17 Packages Available