Fedora 15 updates-testing report

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



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


[Index of Archives]     [Fedora Desktop]     [Fedora SELinux]     [Photo Sharing]     [Yosemite Forum]     [KDE Users]

  Powered by Linux