The following Fedora 15 Security updates need testing:
https://admin.fedoraproject.org/updates/drupal7-7.4-1.fc15
https://admin.fedoraproject.org/updates/libpng10-1.0.55-1.fc15
https://admin.fedoraproject.org/updates/phpMyAdmin-3.4.3.1-1.fc15
https://admin.fedoraproject.org/updates/mingw32-libpng-1.4.3-3.fc15
https://admin.fedoraproject.org/updates/tomcat6-6.0.32-4.fc15
https://admin.fedoraproject.org/updates/squirrelmail-1.4.22-2.fc15
https://admin.fedoraproject.org/updates/vte3-0.28.1-1.fc15,vte-0.28.1-1.fc15
https://admin.fedoraproject.org/updates/libsndfile-1.0.25-1.fc15
https://admin.fedoraproject.org/updates/thunderbird-3.1.11-1.fc15
https://admin.fedoraproject.org/updates/libpng-1.2.46-1.fc15
https://admin.fedoraproject.org/updates/oprofile-0.9.6-21.fc15
The following Fedora 15 Critical Path updates have yet to be approved:
https://admin.fedoraproject.org/updates/libpng-1.2.46-1.fc15
https://admin.fedoraproject.org/updates/openssh-5.6p1-33.fc15.1
https://admin.fedoraproject.org/updates/libsndfile-1.0.25-1.fc15
https://admin.fedoraproject.org/updates/xdg-utils-1.1.0-0.8.20110510.fc15
https://admin.fedoraproject.org/updates/vte3-0.28.1-1.fc15,vte-0.28.1-1.fc15
https://admin.fedoraproject.org/updates/control-center-3.0.2-1.fc15
https://admin.fedoraproject.org/updates/libjpeg-turbo-1.1.1-1.fc15
https://admin.fedoraproject.org/updates/acl-2.2.49-11.fc15
https://admin.fedoraproject.org/updates/mash-0.5.22-1.fc15
https://admin.fedoraproject.org/updates/xorg-x11-drv-openchrome-0.2.904-14.fc15.1
https://admin.fedoraproject.org/updates/lldpad-0.9.41-3.fc15
https://admin.fedoraproject.org/updates/libfprint-0.4.0-1.fc15,fprintd-0.4.1-1.fc15
The following builds have been pushed to Fedora 15 updates-testing
PyMca-4.4.1-4.p1.fc15
be-1.0.1-1.fc15
django-picklefield-0.1.9-1.fc15
dspam-3.9.0-21.fc15
frama-c-1.6-1.fc15
gjots2-2.3.15-1.fc15
ibus-1.3.99.20110419-11.fc15
kazehakase-0.5.8-10.svn3873_trunk.fc15
libguestfs-1.10.5-1.fc15
libpng-1.2.46-1.fc15
libsndfile-1.0.25-1.fc15
mdds-0.5.3-1.fc15
midisport-firmware-1.2-8.fc15
mod_python-3.3.1-16.fc15
ocaml-ocamlgraph-1.7-1.fc15
openssh-5.6p1-33.fc15.1
perl-Term-Animation-2.6-7.fc15
pypoppler-0.12.1-12.fc15
python-daemon-1.6-1.fc15
python-grapefruit-0.1a3-2.20110710svn31.fc15
python-rhsm-0.96.7-1.fc15
saphire-3.3.1-1.fc15
setroubleshoot-3.0.38-1.fc15
spyder-2.0.12-1.fc15
texworks-0.4.3-1.fc15
vte-0.28.1-1.fc15
vte3-0.28.1-1.fc15
vttest-20110705-1.fc15
why-2.29-2.fc15
xdg-utils-1.1.0-0.8.20110510.fc15
zenon-0.6.3-2.fc15
Details about builds:
================================================================================
PyMca-4.4.1-4.p1.fc15 (FEDORA-2011-9335)
GUI for multi-channel analyser spectra visualization and analysis
--------------------------------------------------------------------------------
Update Information:
Fix binary permissions.
--------------------------------------------------------------------------------
ChangeLog:
* Thu Jul 14 2011 Jussi Lehtola <jussilehtola@xxxxxxxxxxxxxxxxx> - 4.4.1-4.p1
- Fix binary permissions (BZ #721149).
* Fri Feb 25 2011 Jussi Lehtola <jussilehtola@xxxxxxxxxxxxxxxxx> - 4.4.1-3.p1
- Update to 4.4.1p1.
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #721149 - /usr/bin/pymca not executable after package installation
https://bugzilla.redhat.com/show_bug.cgi?id=721149
--------------------------------------------------------------------------------
================================================================================
be-1.0.1-1.fc15 (FEDORA-2011-9321)
Bugs Everywhere, a distributed bug tracker
--------------------------------------------------------------------------------
Update Information:
Updates bugs-everywhere to the latest upstream release
--------------------------------------------------------------------------------
ChangeLog:
* Wed Jul 13 2011 Michel Salim <salimma@xxxxxxxxxxxxxxxxx> - 1.0.1-1
- Update to 1.0.1
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #721325 - be-1.0.1 is available
https://bugzilla.redhat.com/show_bug.cgi?id=721325
--------------------------------------------------------------------------------
================================================================================
django-picklefield-0.1.9-1.fc15 (FEDORA-2011-9337)
Implementation of a pickled object field
--------------------------------------------------------------------------------
Update Information:
django-picklefield provides an implementation of a pickled object field.
Such fields can contain any picklable objects.
The implementation is taken and adopted from Django snippet #1694 by
Taavi Taijala, which is in turn based on Django snippet #513 by
Oliver Beattie.
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #611068 - Review Request: django-picklefield - Implementation of a pickled object field
https://bugzilla.redhat.com/show_bug.cgi?id=611068
--------------------------------------------------------------------------------
================================================================================
dspam-3.9.0-21.fc15 (FEDORA-2011-9333)
A library and Mail Delivery Agent for Bayesian SPAM filtering
--------------------------------------------------------------------------------
Update Information:
Sets dspam to run as the dspam user instead of root
--------------------------------------------------------------------------------
ChangeLog:
* Wed Jul 13 2011 Nathanael Noblet <nathanael@xxxxxxx> - 3.9.0-21
- Start daemon as dspam user
--------------------------------------------------------------------------------
================================================================================
frama-c-1.6-1.fc15 (FEDORA-2011-9339)
Framework for source code analysis of C software
--------------------------------------------------------------------------------
Update Information:
See http://ocamlgraph.lri.fr/download/CHANGES for the bugs fixed in this version of ocaml-ocamlgraph.
See http://frama-c.com/Changelog.html for the numerous bug fixes and new features in this version of frama-c.
See http://why.lri.fr/download/CHANGES for the bugs fixed and enhancements made to this version of why.
--------------------------------------------------------------------------------
ChangeLog:
* Mon Jul 11 2011 Jerry James <loganjerry@xxxxxxxxx> - 1.6-1
- Update to Carbon version
- Removed unnecessary spec file elements (BuildRoot, etc.)
- Update approach to filtering provides and requires
- Do not filter as much; why should Require some of the filtered names
- Add (X)Emacs support packages
- Add doc subpackage to hold large manual PDFs
- Support for gtksourceview 1.x has been dropped
* Wed Apr 13 2011 Karsten Hopp <karsten@xxxxxxxxxx> 1.5-3.1
- add ppc64 to archs with ocaml
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #715902 - FTBFS why-2.28-2.fc15
https://bugzilla.redhat.com/show_bug.cgi?id=715902
--------------------------------------------------------------------------------
================================================================================
gjots2-2.3.15-1.fc15 (FEDORA-2011-9341)
A note jotter - Organise your ideas, notes, facts in a hierarchy
--------------------------------------------------------------------------------
Update Information:
This update adds German language support and a find tool in the menu bar.
--------------------------------------------------------------------------------
ChangeLog:
* Thu Jul 14 2011 Christoph Wickert <cwickert@xxxxxxxxxxxxxxxxx> - 2.3.15
- Update to 2.3.15
--------------------------------------------------------------------------------
================================================================================
ibus-1.3.99.20110419-11.fc15 (FEDORA-2011-9338)
Intelligent Input Bus for Linux OS
--------------------------------------------------------------------------------
Update Information:
I revised the logic of the ibus restart.
To verify the bug, ibus-gnome3 is required and your graphics card needs to support gnome-shell.
--------------------------------------------------------------------------------
ChangeLog:
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #720884 - gnome-shell freeze while terminating ibus
https://bugzilla.redhat.com/show_bug.cgi?id=720884
--------------------------------------------------------------------------------
================================================================================
kazehakase-0.5.8-10.svn3873_trunk.fc15 (FEDORA-2011-9345)
Kazehakase browser using Gecko rendering engine
--------------------------------------------------------------------------------
Update Information:
Gecko support has been broken for long time and currently it only causes segfault, not working at all. With this rpm gecko support is killed and installing "kazehakase" now uses webkit.
--------------------------------------------------------------------------------
ChangeLog:
* Wed Jul 13 2011 Mamoru Tasaka <mtasaka@xxxxxxxxxxxxxxxxx> - 0.5.8-10.svn3873_trunk
- Kill xulrunner support
--------------------------------------------------------------------------------
================================================================================
libguestfs-1.10.5-1.fc15 (FEDORA-2011-9318)
Access and modify virtual machine disk images
--------------------------------------------------------------------------------
Update Information:
Update to stable branch version 1.10.5.
--------------------------------------------------------------------------------
ChangeLog:
* Wed Jul 13 2011 Richard W.M. Jones <rjones@xxxxxxxxxx> - 1:1.10.5-1
- New upstream stable branch 1.10.5.
- Fixes: RHBZ#661280 RHBZ#602997 RHBZ#685009.
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #661280 - virt-rescue: panic when shutting down: "/sbin/reboot: No such file or directory"
https://bugzilla.redhat.com/show_bug.cgi?id=661280
[ 2 ] Bug #602997 - part-get-bootable gives wrong result with an unordered part layout
https://bugzilla.redhat.com/show_bug.cgi?id=602997
[ 3 ] Bug #685009 - Got error when expanding ntfs filesystem
https://bugzilla.redhat.com/show_bug.cgi?id=685009
--------------------------------------------------------------------------------
================================================================================
libpng-1.2.46-1.fc15 (FEDORA-2011-9343)
A library of functions for manipulating PNG image format files
--------------------------------------------------------------------------------
Update Information:
Update to libpng 1.2.46, includes fixes for CVE-2011-2501, CVE-2011-2690, CVE-2011-2691, CVE-2011-2692
--------------------------------------------------------------------------------
ChangeLog:
* Thu Jul 14 2011 Tom Lane <tgl@xxxxxxxxxx> 2:1.2.46-1
- Update to libpng 1.2.46, includes fixes for CVE-2011-2501, CVE-2011-2690,
CVE-2011-2691, CVE-2011-2692
Resolves: #717509
Resolves: #721307
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #720607 - CVE-2011-2690 libpng: buffer overwrite in png_rgb_to_gray
https://bugzilla.redhat.com/show_bug.cgi?id=720607
[ 2 ] Bug #720608 - CVE-2011-2691 libpng: Crash in png_default_error due to use of NULL Pointer
https://bugzilla.redhat.com/show_bug.cgi?id=720608
[ 3 ] Bug #720612 - CVE-2011-2692 libpng: Memory corruption when handling empty sCAL chunks
https://bugzilla.redhat.com/show_bug.cgi?id=720612
[ 4 ] Bug #717084 - CVE-2011-2501 libpng: regression of CVE-2004-0421 in 1.2.23+
https://bugzilla.redhat.com/show_bug.cgi?id=717084
--------------------------------------------------------------------------------
================================================================================
libsndfile-1.0.25-1.fc15 (FEDORA-2011-9325)
Library for reading and writing sound files
--------------------------------------------------------------------------------
Update Information:
- fixes integer overflow by processing certain PAF audio files
--------------------------------------------------------------------------------
ChangeLog:
* Thu Jul 14 2011 Michal Hlavinka <mhlavink@xxxxxxxxxx> - 1.0.25-1
- Update to 1.0.25
- fixes integer overflow by processing certain PAF audio files (#721240)
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #721234 - libsndfile: Application crash due integer overflow by processing certain PAF audio files
https://bugzilla.redhat.com/show_bug.cgi?id=721234
--------------------------------------------------------------------------------
================================================================================
mdds-0.5.3-1.fc15 (FEDORA-2011-9320)
A collection of multi-dimensional data structures and indexing algorithms
--------------------------------------------------------------------------------
Update Information:
* mixed_type_matrix
* re-implemented the filled storage for better performance, with two
separate implementations for zero and empty initial value types.
The newer implementation should improve object creation time
considerably.
--------------------------------------------------------------------------------
ChangeLog:
* Thu Jul 14 2011 David Tardon <dtardon@xxxxxxxxxx> - 0.5.3-1
- new version
* Wed Mar 30 2011 David Tardon <dtardon@xxxxxxxxxx> - 0.5.2-2
- install license
--------------------------------------------------------------------------------
================================================================================
midisport-firmware-1.2-8.fc15 (FEDORA-2011-9353)
Firmware for the M-Audio/Midiman USB MIDI and Audio devices
--------------------------------------------------------------------------------
Update Information:
Fixes auto-loading firmware on Fedora 15
--------------------------------------------------------------------------------
ChangeLog:
* Wed Jul 13 2011 Charles R. Anderson <cra@xxxxxxx> - 1.2-8
- Use ATTRS idVendor/idProduct/bcdDevice to match devices in udev rules (#718904)
- Expand package description
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #718904 - Midisport 2x2 Firmware Doesn't Load
https://bugzilla.redhat.com/show_bug.cgi?id=718904
--------------------------------------------------------------------------------
================================================================================
mod_python-3.3.1-16.fc15 (FEDORA-2011-9356)
An embedded Python interpreter for the Apache HTTP Server
--------------------------------------------------------------------------------
Update Information:
Fixes AVC message caused by accessing ~/.local directory.
--------------------------------------------------------------------------------
ChangeLog:
* Thu Jul 14 2011 Jan Kaluza <jkaluza@xxxxxxxxxx> - 3.3.1-16
- fix #633905 - fixed AVC message caused by accessing ~/.local directory
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #633905 - mod_python is trying to read /root/.local/usr/lib64/site-packages/
https://bugzilla.redhat.com/show_bug.cgi?id=633905
--------------------------------------------------------------------------------
================================================================================
ocaml-ocamlgraph-1.7-1.fc15 (FEDORA-2011-9339)
OCaml library for arc and node graphs
--------------------------------------------------------------------------------
Update Information:
See http://ocamlgraph.lri.fr/download/CHANGES for the bugs fixed in this version of ocaml-ocamlgraph.
See http://frama-c.com/Changelog.html for the numerous bug fixes and new features in this version of frama-c.
See http://why.lri.fr/download/CHANGES for the bugs fixed and enhancements made to this version of why.
--------------------------------------------------------------------------------
ChangeLog:
* Mon Jul 11 2011 Jerry James <loganjerry@xxxxxxxxx> - 1.7-1
- New upstream release
- Drop unnecessary spec file elements (BuildRoot, etc.)
- Drop dependency generation workaround for Fedora 12 and earlier
- Remove spurious executable bits on source files
- Replace the definition of __ocaml_requires_opts to "-i Sig", which removes
the legitimate Requires: ocaml(GtkSignal), with __requires_exclude.
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #715902 - FTBFS why-2.28-2.fc15
https://bugzilla.redhat.com/show_bug.cgi?id=715902
--------------------------------------------------------------------------------
================================================================================
openssh-5.6p1-33.fc15.1 (FEDORA-2011-9327)
An open source implementation of SSH protocol versions 1 and 2
--------------------------------------------------------------------------------
Update Information:
Upgrade pam stack to allow encryptfs to work
--------------------------------------------------------------------------------
ChangeLog:
* Thu Jul 14 2011 Jan F. Chadima <jchadima@xxxxxxxxxx> - 5.6p2-33 + 0.9.2-29
- Add postlogin to pam. (#718807)
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #718807 - authconfig does not seem to setup properly ecryptfs for ssh connection
https://bugzilla.redhat.com/show_bug.cgi?id=718807
--------------------------------------------------------------------------------
================================================================================
perl-Term-Animation-2.6-7.fc15 (FEDORA-2011-9322)
ASCII sprite animation framework
--------------------------------------------------------------------------------
Update Information:
ASCII sprite animation framework
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #708532 - Review Request: perl-Term-Animation - ASCII sprite animation framework
https://bugzilla.redhat.com/show_bug.cgi?id=708532
--------------------------------------------------------------------------------
================================================================================
pypoppler-0.12.1-12.fc15 (FEDORA-2011-9358)
Python bindings for the Poppler PDF rendering library
--------------------------------------------------------------------------------
Update Information:
* Sun Jul 10 2011 Nicholas Kudriavtsev <nk@xxxxxxxxxxxxx> - 0.12.1-12
- Removed 76_75.diff to work with pdfshuffler correctly
--------------------------------------------------------------------------------
ChangeLog:
* Sun Jul 10 2011 Nicholas Kudriavtsev <nk@xxxxxxxxxxxxx> - 0.12.1-12
- Removed 76_75.diff to work with pdfshuffler correctly
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #705153 - PDFShuffler displays only black squares
https://bugzilla.redhat.com/show_bug.cgi?id=705153
--------------------------------------------------------------------------------
================================================================================
python-daemon-1.6-1.fc15 (FEDORA-2011-9334)
Library to implement a well-behaved Unix daemon process
--------------------------------------------------------------------------------
Update Information:
Here is where you
give an explanation of
your update.
--------------------------------------------------------------------------------
ChangeLog:
* Thu Jul 14 2011 Kushal Das <kushal@xxxxxxxxxxxxxxxxx> - 1.6-1
- New release of source
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #716183 - FTBFS python-daemon-1.5.2-3.fc15
https://bugzilla.redhat.com/show_bug.cgi?id=716183
--------------------------------------------------------------------------------
================================================================================
python-grapefruit-0.1a3-2.20110710svn31.fc15 (FEDORA-2011-9347)
Python module for easily manipulation and convert color information
--------------------------------------------------------------------------------
Update Information:
Fix summary
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #720141 - Review Request: python-grapefruit - Python module for color information
https://bugzilla.redhat.com/show_bug.cgi?id=720141
--------------------------------------------------------------------------------
================================================================================
python-rhsm-0.96.7-1.fc15 (FEDORA-2011-9348)
A Python library to communicate with a Red Hat Unified Entitlement Platform
--------------------------------------------------------------------------------
Update Information:
Add support for uploading package profiles, package profile comparison, and registration to a Katello environment.
--------------------------------------------------------------------------------
ChangeLog:
* Wed Jul 13 2011 Devan Goodwin <dgoodwin@xxxxxxxx> 0.96.7-1
- Logging cleanup. (dgoodwin@xxxxxxxxxx)
- Remove unused add_ssl_certs method. (dgoodwin@xxxxxxxxxx)
- Load supported resources when UEPConnection is instantiated.
(dgoodwin@xxxxxxxxxx)
- Send package profile. (dgoodwin@xxxxxxxxxx)
- Allow testing if package profiles equal one another. (dgoodwin@xxxxxxxxxx)
- Support creating package profile from a file descriptor.
(dgoodwin@xxxxxxxxxx)
- Allow the attributes to be None for username and password in consumer
selction. (bkearney@xxxxxxxxxx)
- Add a Package object. (dgoodwin@xxxxxxxxxx)
* Wed Jul 6 2011 Devan Goodwin <dgoodwin@xxxxxxxx> 0.96.6-1
- Add support for new Katello error responses. (dgoodwin@xxxxxxxxxx)
- Log the response when there's an issue parsing error JSON.
(dgoodwin@xxxxxxxxxx)
- Add support for registration to Katello environments. (dgoodwin@xxxxxxxxxx)
- Don't send an http body if we don't have one. (jbowes@xxxxxxxxxx)
- Add call to list environments. (dgoodwin@xxxxxxxxxx)
- Do not load CA certs if in insecure mode. (dgoodwin@xxxxxxxxxx)
- Cache supported resources after establishing connection.
(dgoodwin@xxxxxxxxxx)
--------------------------------------------------------------------------------
================================================================================
saphire-3.3.1-1.fc15 (FEDORA-2011-9355)
Yet another shell
--------------------------------------------------------------------------------
Update Information:
New version 3.3.1 is released.
--------------------------------------------------------------------------------
ChangeLog:
* Thu Jul 14 2011 Mamoru Tasaka <mtasaka@xxxxxxxxxxxxxxxxx> - 3.3.1-1
- 3.3.1
* Mon Jul 11 2011 Mamoru Tasaka <mtasaka@xxxxxxxxxxxxxxxxx> - 3.3.0-1
- 3.3.0
--------------------------------------------------------------------------------
================================================================================
setroubleshoot-3.0.38-1.fc15 (FEDORA-2011-9323)
Helps troubleshoot SELinux problems
--------------------------------------------------------------------------------
Update Information:
Remove dependency on X from setroubleshoot-server
--------------------------------------------------------------------------------
ChangeLog:
* Wed Jul 13 2011 <dwalsh@xxxxxxxxxx> - 3.0.38-1
- Remove dependancy on X from sedispatch
--------------------------------------------------------------------------------
================================================================================
spyder-2.0.12-1.fc15 (FEDORA-2011-9351)
Scientific Python Development Environment
--------------------------------------------------------------------------------
Update Information:
Update to spyder 2.0.12
--------------------------------------------------------------------------------
ChangeLog:
* Thu Jul 14 2011 Radek Novacek <rnovacek@xxxxxxxxxx> - 2.0.12.1
- Update to 2.0.12
--------------------------------------------------------------------------------
================================================================================
texworks-0.4.3-1.fc15 (FEDORA-2011-9340)
A simple IDE for authoring TeX documents
--------------------------------------------------------------------------------
Update Information:
Upstream bugfix release
--------------------------------------------------------------------------------
ChangeLog:
* Thu Jul 14 2011 Robin Lee <cheeselee@xxxxxxxxxxxxxxxxx> - 0.4.3-1
- Update to 0.4.3 (BZ#718982)
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #718982 - texworks-0.4.3 is available
https://bugzilla.redhat.com/show_bug.cgi?id=718982
--------------------------------------------------------------------------------
================================================================================
vte-0.28.1-1.fc15 (FEDORA-2011-9330)
A terminal emulator
--------------------------------------------------------------------------------
Update Information:
This update fixes a possible memory exhaustion flaw in vte (CVE-2011-2198).
--------------------------------------------------------------------------------
ChangeLog:
* Wed Jul 13 2011 Matthias Clasen <mclasen@xxxxxxxxx> - 0.28.1-1
- Update to 0.28.1
--------------------------------------------------------------------------------
================================================================================
vte3-0.28.1-1.fc15 (FEDORA-2011-9330)
A terminal emulator
--------------------------------------------------------------------------------
Update Information:
This update fixes a possible memory exhaustion flaw in vte (CVE-2011-2198).
--------------------------------------------------------------------------------
ChangeLog:
* Wed Jul 13 2011 Matthias Clasen <mclasen@xxxxxxxxxx> 0.28.1-1
- Update to 2.28.1
--------------------------------------------------------------------------------
================================================================================
vttest-20110705-1.fc15 (FEDORA-2011-9346)
Test the compatibility of so-called "VT100-compatible" terminals
--------------------------------------------------------------------------------
Update Information:
Update to latest upstream.
Closing BZ# 645078
--------------------------------------------------------------------------------
ChangeLog:
* Wed Jul 13 2011 Adam Miller <maxamillion@xxxxxxxxxxxxxxxxx> - 20110705-1
- Updated to latest upstream release
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #645078 - vttest-20110705 is available
https://bugzilla.redhat.com/show_bug.cgi?id=645078
--------------------------------------------------------------------------------
================================================================================
why-2.29-2.fc15 (FEDORA-2011-9339)
Software verification platform
--------------------------------------------------------------------------------
Update Information:
See http://ocamlgraph.lri.fr/download/CHANGES for the bugs fixed in this version of ocaml-ocamlgraph.
See http://frama-c.com/Changelog.html for the numerous bug fixes and new features in this version of frama-c.
See http://why.lri.fr/download/CHANGES for the bugs fixed and enhancements made to this version of why.
--------------------------------------------------------------------------------
ChangeLog:
* Thu Jul 14 2011 Jerry James <loganjerry@xxxxxxxxx> - 2.29-2
- Fix broken conditionals
* Mon Jul 11 2011 Jerry James <loganjerry@xxxxxxxxx> - 2.29-1
- New upstream release (fixes FTBFS: bz 715902)
- Remove unnecessary spec file elements (BuildRoot, etc.)
- Update approach to filtering provides and requires
- Add has_pvs analogously to has_coq, and simplify macro usage
- Add (X)Emacs support packages
- New subpackage for the jessie plugin to avoid unowned directories and
permit a direct dependency on frama-c
- Prepare for the eventual availability of APRON
* Thu Apr 14 2011 Karsten Hopp <karsten@xxxxxxxxxx> 2.28-2.2
- add ppc to excludearch, too. No pvs-sbcl available there
* Wed Apr 13 2011 Karsten Hopp <karsten@xxxxxxxxxx> 2.28-2.1
- add ppc64 to excludearch, no sbcl available there
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #715902 - FTBFS why-2.28-2.fc15
https://bugzilla.redhat.com/show_bug.cgi?id=715902
--------------------------------------------------------------------------------
================================================================================
xdg-utils-1.1.0-0.8.20110510.fc15 (FEDORA-2011-9344)
Basic desktop integration functions
--------------------------------------------------------------------------------
Update Information:
Fix spurious stderr output on gnome3 detection
--------------------------------------------------------------------------------
ChangeLog:
* Thu Jun 16 2011 Rex Dieter <rdieter@xxxxxxxxxxxxxxxxx> 1.1.0-0.8.20110510
- rebuild
* Thu Jun 2 2011 Rex Dieter <rdieter@xxxxxxxxxxxxxxxxx> 1.1.0-0.7.20110510
- fix gnome3 detection, gnome-default-applications-properties error output
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #721188 - "xdg-settings get default-web-browser" broken on GNOME 3
https://bugzilla.redhat.com/show_bug.cgi?id=721188
--------------------------------------------------------------------------------
================================================================================
zenon-0.6.3-2.fc15 (FEDORA-2011-9292)
Automated theorem prover for first-order classical logic
--------------------------------------------------------------------------------
Update Information:
The latest version of zenon. Upstream provided no information on changes from previous versions.
--------------------------------------------------------------------------------
ChangeLog:
* Thu Jul 14 2011 Jerry James <loganjerry@xxxxxxxxx> - 0.6.3-2
- Move the coq files back to /usr/share to avoid a dependency on coq
- Add paper describing zenon to %doc
* Tue Jul 12 2011 Jerry James <loganjerry@xxxxxxxxx> - 0.6.3-1
- New upstream release
- Drop unnecessary spec file elements (BuildRoot, etc.)
- Execstack flag clearing no longer necessary
- Build on exactly the arches that coq builds on
- Build the icons
--------------------------------------------------------------------------------
--
test mailing list
test@xxxxxxxxxxxxxxxxxxxxxxx
To unsubscribe:
https://admin.fedoraproject.org/mailman/listinfo/test
