Fedora 15 Update: pl-5.10.2-7.fc15

[updates at fedoraproject.org]

--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2012-3479
2012-03-10 00:03:07
--------------------------------------------------------------------------------

Name        : pl
Product     : Fedora 15
Version     : 5.10.2
Release     : 7.fc15
URL         : http://www.swi-prolog.org
Summary     : SWI-Prolog - Edinburgh compatible Prolog compiler
Description :
ISO/Edinburgh-style Prolog compiler including modules, auto-load,
libraries, Garbage-collector, stack-expandor, C/C++-interface,
GNU-readline interface, very fast compiler.  Including packages clib
(Unix process control and sockets), cpp (C++ interface), sgml (reading
XML/SGML), sgml/RDF (reading RDF into triples) and XPCE (Graphics UI
toolkit, integrated editor (Emacs-clone) and source-level debugger).

--------------------------------------------------------------------------------
Update Information:

Java interface has been fixed. Native library is located correctly now.
--------------------------------------------------------------------------------
ChangeLog:

* Thu Mar  8 2012 Petr Pisar <ppisar at redhat.com> - 5.10.2-7
- Fix JPL interface (bug #590499)
* Fri Sep 23 2011 Petr Pisar <ppisar at redhat.com> - 5.10.2-6
- Correct Java paths on ARM (thanks to David A. Marlin)
* Wed Aug 24 2011 Petr Pisar <ppisar at redhat.com> - 5.10.2-5
- Fix segfault in PutImagePixels32() while displaying malformed GIF
  (bug #732952)
* Fri Aug 19 2011 Petr Pisar <ppisar at redhat.com> - 5.10.2-4
- Fix CVE-2011-2896 (David Koblas' GIF decoder LZW decoder buffer overflow)
  (bug #727800)
- Fix other GIF decoder bug
  (http://www.swi-prolog.org/bugzilla/show_bug.cgi?id=7#c4)
--------------------------------------------------------------------------------
References:

  [ 1 ] Bug #590499 - pl-jpl : jpl.jar unable to find and load JNI library libjpl.so
        https://bugzilla.redhat.com/show_bug.cgi?id=590499
--------------------------------------------------------------------------------

This update can be installed with the "yum" update program.  Use 
su -c 'yum update pl' 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
--------------------------------------------------------------------------------