A quick update on distro adoption status:

Debian unstable, Gentoo, Fedora devel and Arch GNU/Linux distributions provide their users with an up-to-date 0.8.0 package.

OS X users are covered as well: with Gentoo Prefix you can easily have either 0.8.0 or the current git version (-9999); same about Homebrew: just update and brew install [--HEAD] openocd (where the optional --HEAD parameter tells it to build the current git version).

Thanks to everybody involved!