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 loganjerry@xxxxxxxxx 2008-03-10 17:50 EST ------- Thanks. Also, upstream accepted the rest of my patches and pushed a new version, and I realized that some people might want the examples, so I put them into a subpackage as well. Let me address two rpmlint complaints. First, the -devel subpackage does not depend on the main package. That is because it depends on the -libs subpackage, where its true dependencies lie. I was urged to split out -libs as a subpackage for multiarch reasons, but it seems that rpmlint doesn't recognize this use. Second, rpmlint complains about an undefined non-weak symbol "guide" in the libmonagta library. That is upstream's doing; that symbol has to be defined by anything that links with this library. I'll look into refactoring the code so that we can avoid this, but for this release, that rpmlint warning is unavoidable. Spec URL: http://jjames.fedorapeople.org/mona/mona.spec SRPM URL: http://jjames.fedorapeople.org/mona/mona-1.4r10-1.src.rpm -- 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. _______________________________________________ Fedora-package-review mailing list Fedora-package-review@xxxxxxxxxx http://www.redhat.com/mailman/listinfo/fedora-package-review