%FILENAME%
cudd-3.0.0-1-x86_64.pkg.tar.zst

%NAME%
cudd

%BASE%
cudd

%VERSION%
3.0.0-1

%DESC%
A package for the manipulation of Binary Decision Diagrams (BDDs) and similar structures

%CSIZE%
298636

%ISIZE%
868187

%MD5SUM%
1e343e6825fe75c3c5aa9e3fcf78beef

%SHA256SUM%
94277012dad7549aaa0f8ce22e5b06a65cadb49f44bbdecd58aa9838a2c9576f

%PGPSIG%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmZCdmAUHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwYpFA//ZdRmk7sKq2CCK2A5Mz9Rg0boGSP8k/prw9dCgMrtzvlax9jrU+1fPi8mOYVHkr0WLGsQHbsD73UWz3CE9QYp/qiUQXixucF7twuv+hryYqvuoViRz1+7ocjRtqIqLlWF/mxf/K9BtYyn6n/GAiuWf9XO6/I2srRc6HyXbg5sPc9InnGEkyEKawM80VpckFC5N7GpK+S1H0ormjyoGJaB/SJIwvNs8eyVlPBFs9/gRT8D69mKiryGrkE0F0x34qYHXpr9AcEdSAlf4RIMNPSWwLdlKplX3aGhF+Q7xPDwuC3NeCVwyQCofni71WvrArqC/RZrBEFKmeZfKmUBEyiQzZh3E4BydAQk4XsLTFI1A+TCf6Dms14CQw2zUsx/gToPk8reDK9gGcGV0lZByod96e+spQ8SjPRhoF3dZP9OteWKaYia2x7oODtgsJT/lurPAXLqXFSCr5K8BW6Sry7QDeh8SROkSOeWnzFkZ9xQ1hj3jK1NOOY7D1VjFx8jPZ7q0McDa6SMPa+kXQ0lq/6pd8sKUxBOlqKczQV7/Cmh25x1a11wD7snD+SeqNDnAGKBdvYyvfSz8Ti2itDw5/7EokC5Q4OkMDM2WL4rr6jec1cL13lj6of/dEJn1By1wn90V8WiCJKhy3CDkMo6+g4d4Jfj4LLXSK3G/eybbLkff9U=

%URL%
https://github.com/ivmai/cudd

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1608240969

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
gcc-libs

