-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2011-6135 2011-04-28 18:56:07 --------------------------------------------------------------------------------
Name : sat4j Product : Fedora 15 Version : 2.3.0 Release : 2.fc15 URL : http://www.sat4j.org/ Summary : A library of SAT solvers written in Java Description : The aim of the SAT4J library is to provide an efficient library of SAT solvers in Java. The SAT4J library targets first users of SAT "black boxes", those willing to embed SAT technologies into their application without worrying about the details. -------------------------------------------------------------------------------- Update Information: This fixes a major issue with Eclipse. -------------------------------------------------------------------------------- References: [ 1 ] Bug #684894 - Dropins content not loaded https://bugzilla.redhat.com/show_bug.cgi?id=684894 [ 2 ] Bug #698434 - p2 UI-installed plugins not added to installation https://bugzilla.redhat.com/show_bug.cgi?id=698434 -------------------------------------------------------------------------------- This update can be installed with the "yum" update program. Use su -c 'yum update sat4j' at the command line. For more information, refer to "Managing Software with yum", available at http://docs.fedoraproject.org/yum/. All packages are signed with the Fedora Project GPG key. More details on the GPG keys used by the Fedora Project can be found at https://fedoraproject.org/keys -------------------------------------------------------------------------------- _______________________________________________ package-announce mailing list [email protected] https://admin.fedoraproject.org/mailman/listinfo/package-announce
