# Generated by makepkg 6.1.0
# using fakeroot version 1.35
pkgname = yices-debug
pkgbase = yices
xdata = pkgtype=debug
pkgver = 2.6.4-2
pkgdesc = Detached debugging symbols for yices
url = http://yices.csl.sri.com/
builddate = 1720929439
packager = T.J. Townsend <blakkheim@archlinux.org>
size = 44416
arch = x86_64
license = GPL
makedepend = gperf
