[Bug 436033] Review Request: mona - a solver for the WS1S and WS2S logics

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

Summary: Review Request: mona - a solver for the WS1S and WS2S logics


https://bugzilla.redhat.com/show_bug.cgi?id=436033





------- Additional Comments From tibbs at math.uh.edu  2008-03-06 18:01 EST -------
You might want to check the emacs packaging guidelines for info on packaging
emacs and xemacs stuff.  For example, your package seems to be missing
dependencies on the actual emacs interpreters.

http://fedoraproject.org/wiki/Packaging/Emacs

-- 
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, or are watching someone who is.