# 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 = 1608240969
packager = Felix Yan <felixonmars@archlinux.org>
size = 868187
arch = x86_64
license = BSD
depend = gcc-libs
