I've also had problems w/ no sound with freeciv and other games, and switching to the pulseaudio version fixes this.
I've also had problems w/ no sound with freeciv and other games, and switching to the pulseaudio version fixes this.