Uwe, AFAICS there is no packaging changes needed. I've attached a
debdiff if that can be of help.

Attachment: openocd-0.4.0-1.debdiff
Description: Binary data



Reply via email to