# Generated by makepkg 7.1.0
# using fakeroot version 1.37.2
pkgname = yices-debug
pkgbase = yices
xdata = pkgtype=debug
pkgver = 2.7.0-1
pkgdesc = Detached debugging symbols for yices
url = https://yices.csl.sri.com/
builddate = 1772560468
packager = Felix Yan <felixonmars@archlinux.org>
size = 995080
arch = x86_64
license = GPL-3.0-or-later
makedepend = git
makedepend = gperf
