[Bug 619831] Review Request: ltl2ba - Fast translation from LTL formulas to Büchi automata

[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=619831

--- Comment #4 from Mark Rader <msrader at gmail.com> 2010-08-02 14:42:37 EDT ---
David

We really need the koji build to finish.  This is for the folling requirements.

MUST: If the package does not successfully compile, build or work on an
architecture, then those architectures should be listed in the spec in
ExcludeArch. Each architecture listed in ExcludeArch MUST have a bug filed in
bugzilla, describing the reason that the package does not compile/build/work on
that architecture. The bug number MUST be placed in a comment, next to the
corresponding ExcludeArch line. [8]
(Unknown Koji Build is needed to test)

MUST: All build dependencies must be listed in BuildRequires, except for any
that are listed in the exceptions section of the Packaging Guidelines ;
inclusion of those as BuildRequires is optional. Apply common sense.
(Unknown Koji Build is needed to test)

Also as noted from the reviewers package, you fixed it, but this is why I am
harping.

MUST: The spec file must be written in American English. [5]
(Issue, contains non english characters)

MUST: The spec file for the package MUST be legible. [6]
(Issue, contails non ascii characters)

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