include/bdd.h
include/bvec.h
include/fdd.h
lib/libbdd.a
lib/libbdd.so
lib/libbdd.so.0
lib/libbdd.so.0.0.0
%%PORTDOCS%%%%PORTDOCS%%%%DOCSDIR%%/bddnotes.ps
%%PORTDOCS%%%%PORTDOCS%%%%DOCSDIR%%/buddy.ps
%%PORTDOCS%%%%PORTDOCS%%%%DOCSDIR%%/tech.txt
%%PORTDOCS%%%%PORTDOCS%%%%DOCSDIR%%/README
%%PORTDOCS%%%%PORTDOCS%%%%DOCSDIR%%/AUTHORS