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 Jerry James <loganjerry@xxxxxxxxx> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |CLOSED Resolution| |CANTFIX Bug 555162 depends on bug 555161, which changed state. Bug 555161 Summary: Review Request: csisat - Tool for LA+EUF Interpolation https://bugzilla.redhat.com/show_bug.cgi?id=555161 What |Old Value |New Value ---------------------------------------------------------------------------- Status|ASSIGNED |CLOSED Resolution| |ERRATA --- Comment #5 from Jerry James <loganjerry@xxxxxxxxx> 2010-02-10 12:18:15 EST --- Sorry to take so long with this, but you raised some thorny issues. I'm afraid that vampyre is, indeed, required. At least, I can't find a way to untangle it from the main code (grep for "vampyre" in blast/psrc). So I guess we're done: this package cannot be included in Fedora for licensing reasons. We should perhaps look at http://code.google.com/p/cpachecker/ instead. Its author, one of the BLAST maintainers, calls it a "better BLAST". On the other hand, they haven't reached a 1.0 release yet. -- 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. _______________________________________________ package-review mailing list package-review@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/package-review