Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.
https://bugzilla.redhat.com/show_bug.cgi?id=476346
--- Comment #4 from Conrad Meyer <konrad(a)tylerc.org> 2009-03-19 00:07:06 EDT ---
I'm having trouble getting PolyBoRi to link against cudd for whatever reason.
This will take some work.
--
Configure bugmail:
https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.