/community/openocd/

• ../
• PKGBUILD
• openocd.install