FYI: The status of the openocd source package in Debian's testing distribution has changed. Previous version: 0.0+r655-1.1 Current version: 0.0+r1292-1 -- This email is automatically generated; the Debian Release Team <debian-release@lists.debian.org> is responsible. See http://release.debian.org/testing-watch/ for more information.