[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 #1 from David A. Wheeler <dwheeler at dwheeler.com> 2010-07-30 15:01:11 EDT ---
FYI, an rpmlint (using 32-bit Fedora 13) produces 0 errors and 5 warnings, and
none of the warnings should inhibit distribution.

Of the 5 warnings, 4 of them are because the Fedora spellchecker's wordlist
does not include the word "automata".  Since "automata" is the correct word,
those warnings are irrelevant.  The other warning complains that there's no
manual page.  Unfortunately, the upstream package doesn't include a manual
page, so I don't have one to package.  The program does include a help option,
in case that's any consolation.

$ rpmlint ltl2ba.spec ../SRPMS/ltl2ba-1.1-1.fc13.src.rpm ../RPMS/i686/ltl2ba-*

ltl2ba.src: W: spelling-error Summary(en_US) automata -> automats, automat,
automate
ltl2ba.src: W: spelling-error %description -l en_US automata -> automats,
automat, automate
ltl2ba.i686: W: spelling-error Summary(en_US) automata -> automats, automat,
automate
ltl2ba.i686: W: spelling-error %description -l en_US automata -> automats,
automat, automate
ltl2ba.i686: W: no-manual-page-for-binary ltl2ba
3 packages and 1 specfiles checked; 0 errors, 5 warnings.

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