%FILENAME%
cudd-3.0.0-2.0-pentium4.pkg.tar.zst

%NAME%
cudd

%BASE%
cudd

%VERSION%
3.0.0-2.0

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

%CSIZE%
289385

%ISIZE%
876058

%SHA256SUM%
1195e27a28475519c837944d184cf7f1d03b2aa4db37895dd21df9877d04e82a

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

%LICENSE%
BSD

%ARCH%
pentium4

%BUILDDATE%
1721976660

%PACKAGER%
Andreas Baumann <mail@andreasbaumann.cc>

%DEPENDS%
gcc-libs

