# Generated by makepkg 6.0.2
# using fakeroot version 1.32.2
pkgname = openocd-debug
pkgbase = openocd
pkgver = 1:0.12.0-3
pkgdesc = Detached debugging symbols for openocd
url = http://openocd.org
builddate = 1704649348
packager = Antonio Rojas <arojas@archlinux.org>
size = 24709194
arch = x86_64
license = GPL
