# Generated by makepkg 7.0.0
# using fakeroot version 1.37.1.2
pkgname = aiger-debug
pkgbase = aiger
xdata = pkgtype=debug
pkgver = 1.9.20-1
pkgdesc = Detached debugging symbols for aiger
url = http://fmv.jku.at/aiger/
builddate = 1750018668
packager = lilac (on behalf of Yichao Yu) <yyc1992@gmail.com>
size = 381080
arch = x86_64
license = MIT
license = BSD
