# 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 = 1608532024
packager = Arch Linux ARM Build System <builder+seattle@archlinuxarm.org>
size = 929811
arch = aarch64
license = BSD
depend = gcc-libs
