[gambit-list] Gamsock darcs repo available