[gambit-list] Debian update