@name cudd-3.0.0p1
@version 4
@comment pkgpath=devel/cudd ftp=yes
@arch sparc64
+DESC
@sha x1l824kb+xIDTGkKgz8TP13qRwAPLJwuuVetfVmF+n4=
@size 366
@depend lang/gcc/16,-libs:gcc-libs->=16,<17:gcc-libs-16.1.0p6
@wantlib estdc++.22.0
@wantlib m.10.1
@wantlib pthread.28.1
@cwd /usr/local
include/cudd.h
@sha yGuTdeGQR+gFtEWO52WmbO1/SdiRLUUuERKDAE9RBmQ=
@size 47917
@ts 1786427987
@static-lib lib/libcudd.a
@sha Ob5RmHSPCFTS4/OJPGDFa4yXAIpCco6NMjgrGA/RmDE=
@size 919848
@ts 1786427986
lib/libcudd.la
@sha sscaGtdVsFvF8gDm5QtqKGsFSD8FvsJCpV+iynHnOzA=
@size 718
@ts 1786427986
@lib lib/libcudd.so.0.0
@sha BiASxQuhZdErBMqY0Tw7xizh3FV1mgu2z52OT9rPjLs=
@size 580251
@ts 1786427986
share/doc/cudd/
share/doc/cudd/cudd.pdf
@sha 73b90DoeFfZgb7jdbNDQy3Ol1r+lAMnwNYztdiwLcbI=
@size 413329
@ts 1786427987
share/doc/cudd/phase.pdf
@sha MeVp/426cQOXoCu7RPKevynUhoYQFfY8//7ss/EXNBE=
@size 17981
@ts 1786427987
