[Bug 555162] Review Request: blast - Berkeley Lazy Abstraction Software Verification Tool

[bugzilla at redhat.com]

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=555162

--- Comment #4 from David A. Wheeler <dwheeler at dwheeler.com> 2010-01-20 17:44:09 EST ---
Note to others: BLAST depends on two other applications, which have been
packaged and approved for inclusion in the Fedora repository.  See:
https://bugzilla.redhat.com/show_bug.cgi?id=555160
https://bugzilla.redhat.com/show_bug.cgi?id=555161

-- 
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.