@name cudd-3.0.0p0
@version 1
@comment pkgpath=devel/cudd ftp=yes
@arch sparc64
+DESC
@sha x1l824kb+xIDTGkKgz8TP13qRwAPLJwuuVetfVmF+n4=
@size 366
@depend lang/gcc/8,-libs:gcc-libs->=8,<9:gcc-libs-8.4.0p12
@wantlib estdc++.19.0
@wantlib m.10.1
@wantlib pthread.26.2
@cwd /usr/local
include/cudd.h
@sha yGuTdeGQR+gFtEWO52WmbO1/SdiRLUUuERKDAE9RBmQ=
@size 47917
@ts 1664554280
lib/libcudd.a
@sha 0y/KU14uMH2MP9w6tz01zEEr2xmaPPz4CVOqxMy5rok=
@size 884264
@ts 1664554280
lib/libcudd.la
@sha sscaGtdVsFvF8gDm5QtqKGsFSD8FvsJCpV+iynHnOzA=
@size 718
@ts 1664554280
@lib lib/libcudd.so.0.0
@sha eYgzPdPOc8gCORfvL3avFRCuPI5kD2Jq2NbZJSawp4w=
@size 571997
@ts 1664554280
share/doc/cudd/
share/doc/cudd/cudd.pdf
@sha B/uReSbr9DEt4oCCMH9iWbhExZ8SQ34h0cH6hEsRAY8=
@size 401266
@ts 1664554281
share/doc/cudd/phase.pdf
@sha MeVp/426cQOXoCu7RPKevynUhoYQFfY8//7ss/EXNBE=
@size 17981
@ts 1664554281
