@name cudd-3.0.0p0
@version 8
@comment pkgpath=devel/cudd ftp=yes
@arch amd64
+DESC
@sha x1l824kb+xIDTGkKgz8TP13qRwAPLJwuuVetfVmF+n4=
@size 366
@wantlib c++.9.0
@wantlib c++abi.6.0
@wantlib m.10.1
@wantlib pthread.26.1
@cwd /usr/local
include/cudd.h
@sha yGuTdeGQR+gFtEWO52WmbO1/SdiRLUUuERKDAE9RBmQ=
@size 47917
@ts 1649486337
lib/libcudd.a
@sha Q7E2A67jKrjLl3pZQoo8ZL9bJGIhvRYCGoQpcUvAmig=
@size 1134742
@ts 1649486337
lib/libcudd.la
@sha sscaGtdVsFvF8gDm5QtqKGsFSD8FvsJCpV+iynHnOzA=
@size 718
@ts 1649486337
@lib lib/libcudd.so.0.0
@sha dvnIl1HPB7iRnxnx6mqKvXPT5+PagFt3XVBayoR1kUU=
@size 634064
@ts 1649486337
share/doc/cudd/
share/doc/cudd/cudd.pdf
@sha 8UFdfxGO0J3OEqk/LTnNMYFzR+2a0/iXxHZzyHhpqQg=
@size 401461
@ts 1649486337
share/doc/cudd/phase.pdf
@sha MeVp/426cQOXoCu7RPKevynUhoYQFfY8//7ss/EXNBE=
@size 17981
@ts 1649486338
