# Generated by makepkg 7.1.0
# using fakeroot version 1.37.2
pkgname = cudd
pkgbase = cudd
xdata = pkgtype=pkg
pkgver = 3.0.0-3
pkgdesc = A package for the manipulation of Binary Decision Diagrams (BDDs) and similar structures
url = https://github.com/ivmai/cudd
builddate = 1774158982
packager = Arch Linux ARM Build System <builder+xu2@archlinuxarm.org>
size = 773665
arch = armv7h
license = BSD-3-Clause
depend = glibc
depend = libgcc
depend = libstdc++
