[gambit-list] debian packaging