[Bug 529404] Review Request: cvc3 - Validity checker of many-sorted first-order formulas with theories

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





--- Comment #9 from Jerry James <loganjerry at gmail.com>  2009-10-20 13:01:06 EDT ---
Regarding question 1, the group doesn't really matter.  The tools that
categorize software all work off of comps.xml.  In any case, that particular
group is used by a lot of Java software; e.g., avalon-logkit, axis, bcel,
icu4j, jdom, velocity, ws-jaxme, etc.

Regarding question 2, that is the shared object used by JNI to connect to the
(C++) shared library for invoking native Java methods.  It is not a development
file; it is necessary for the Java interface to function.  Rpmlint just thinks
it is a development file because of the .so filename extension.

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