# Generated by makepkg 5.2.2
# using fakeroot version 1.25.3
pkgname = cudd
pkgbase = cudd
pkgver = 3.0.0-1
pkgdesc = A package for the manipulation of Binary Decision Diagrams (BDDs) and similar structures
url = https://github.com/ivmai/cudd
builddate = 1608525949
packager = Arch Linux ARM Build System <builder+xu2@archlinuxarm.org>
size = 732674
arch = armv7h
license = BSD
depend = gcc-libs
