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

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



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@xxxxxxxxxxxx> 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.
_______________________________________________
package-review mailing list
package-review@xxxxxxxxxxxxxxxxxxxxxxx
https://admin.fedoraproject.org/mailman/listinfo/package-review


[Index of Archives]     [Fedora Legacy]     [Fedora Desktop]     [Fedora SELinux]     [Yosemite News]     [KDE Users]     [Fedora Tools]