# Generated by makepkg 6.1.0
# using fakeroot version 1.35
pkgname = cudd-debug
pkgbase = cudd
xdata = pkgtype=debug
pkgver = 3.0.0-2
pkgdesc = Detached debugging symbols for cudd
url = https://github.com/ivmai/cudd
builddate = 1720752719
packager = T.J. Townsend <blakkheim@archlinux.org>
size = 5800841
arch = x86_64
license = BSD
