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

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





--- Comment #9 from Jerry James <loganjerry@xxxxxxxxx>  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.

_______________________________________________
Fedora-package-review mailing list
Fedora-package-review@xxxxxxxxxx
http://www.redhat.com/mailman/listinfo/fedora-package-review

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