@name cudd-3.0.0p1
@version 10
@comment pkgpath=devel/cudd ftp=yes
@arch riscv64
+DESC
@sha x1l824kb+xIDTGkKgz8TP13qRwAPLJwuuVetfVmF+n4=
@size 366
@wantlib c++.12.0
@wantlib c++abi.9.0
@wantlib m.10.1
@wantlib pthread.28.1
@cwd /usr/local
include/cudd.h
@sha yGuTdeGQR+gFtEWO52WmbO1/SdiRLUUuERKDAE9RBmQ=
@size 47917
@ts 1786130692
@static-lib lib/libcudd.a
@sha NF2hYA+YA5AxOaOOCk0Eqjc3MP1W5zkOxdmdyUr7n7Y=
@size 835684
@ts 1786130691
lib/libcudd.la
@sha sscaGtdVsFvF8gDm5QtqKGsFSD8FvsJCpV+iynHnOzA=
@size 718
@ts 1786130692
@lib lib/libcudd.so.0.0
@sha IVZs5p4wtt2PXbZP+oUar3zO9k8vBzii8UdY1Ga6evo=
@size 481816
@ts 1786130691
share/doc/cudd/
share/doc/cudd/cudd.pdf
@sha 1v+xbl22w/OZ2xVv3oK8YuP+t7oaHV1sDhQzRufw0wg=
@size 413319
@ts 1786130692
share/doc/cudd/phase.pdf
@sha MeVp/426cQOXoCu7RPKevynUhoYQFfY8//7ss/EXNBE=
@size 17981
@ts 1786130693
