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

%NAME%
cudd

%BASE%
cudd

%VERSION%
3.0.0-3

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

%CSIZE%
306626

%ISIZE%
888958

%SHA256SUM%
10003e177c211e98bd1f1a5d9aaa44acad59ac37e897286620e42d8eeac2e9b1

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1774154922

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

%DEPENDS%
glibc
libgcc
libstdc++

