Fedora 9 Update: why-2.17-1.fc9
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2008-11905
2008-12-30 22:33:43
--------------------------------------------------------------------------------
Name : why
Product : Fedora 9
Version : 2.17
Release : 1.fc9
URL : http://why.lri.fr/
Summary : Why software verification platform
Description :
Why is a software verification platform that applies formal proving
tools to annotated programs. It is currently capable of analysis of C
(through the included tool "Caduceus"), Java (through the included
tool "Krakatoa"), and potentially ML programs with some modification
into Why's own ML-like language. Furthermore, Why is capable of
analysis of any program that is mapped onto its own internal
language. It uses a weakest precondition involving calculus to
generate potential theorems necessary for the proof of a program's
correctness. It translates these theorems into formats that can be
used by external proof assistants (without any extra work, Coq, PVS,
HOL Light, Mizar are supported - having one is recommended and Coq is
packaged for Fedora) and automated theorem provers (without any extra
work, Simplify, Alt-Ergo, Yices, Z3, CVC Lite, Zenon are supported and
Zenon is packaged for Fedora) so that these results can be externally
proven, resulting in a proof of program correctness.
--------------------------------------------------------------------------------
ChangeLog:
* Wed Dec 24 2008 Alan Dunn <amdunn(a)gmail.com> 2.17-1
- Upgrade to version 2.17 (bz: 477790)
- Add ownership of two directories common with Coq, but neither program requires the other (bz: 474016)
- Minor filename change in 2.17 (GPL -> LICENSE)
- Added back Coq .v files to match policy for Coq
- Changed directory structure re: jessie and krakatoa to match new structure in 2.17
- Minor changes to patches to ensure they still work in 2.17
- Corrected package location gwhy-icon.png (should only be in gwhy)
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #477790 - why: please update to version 2.17
https://bugzilla.redhat.com/show_bug.cgi?id=477790
[ 2 ] Bug #474016 - why : Unowned directories
https://bugzilla.redhat.com/show_bug.cgi?id=474016
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update why' 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
http://fedoraproject.org/keys
--------------------------------------------------------------------------------
15 years, 3 months
Fedora 9 Update: ksshaskpass-0.5.1-1.fc9
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2008-11017
2008-12-09 09:11:52
--------------------------------------------------------------------------------
Name : ksshaskpass
Product : Fedora 9
Version : 0.5.1
Release : 1.fc9
URL : http://www.kde-apps.org/content/show.php?content=50971
Summary : A KDE version of ssh-askpass with KWallet support
Description :
A KDE version of ssh-askpass with KWallet support.
Please read /usr/share/doc/ksshaskpass-0.5.1/README.Fedora for usage
instructions
--------------------------------------------------------------------------------
Update Information:
Version 0.5.1
--------------------------------------------------------------------------------
ChangeLog:
* Sun Nov 30 2008 Aurelien Bompard <abompard(a)fedoraproject.org> 0.5.1-1
- version 0.5.1
* Tue Jun 24 2008 Aurelien Bompard <abompard(a)fedoraproject.org> 0.4.1-1
- version 0.4.1
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update ksshaskpass' 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
http://fedoraproject.org/keys
--------------------------------------------------------------------------------
15 years, 3 months
Fedora 10 Update: vnc-ltsp-config-4.0-5.fc10
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2008-11697
2008-12-24 11:08:59
--------------------------------------------------------------------------------
Name : vnc-ltsp-config
Product : Fedora 10
Version : 4.0
Release : 5.fc10
URL : []
Summary : Easy Enabler of VNC remote LTSP desktops
Description :
Easy Enabler of VNC remote LTSP desktops. This package contains xinetd.d
configurations that allow incoming VNC clients to open a new desktop session
with each connection. Xvnc connects to the local server using XDMCP.
--------------------------------------------------------------------------------
ChangeLog:
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #474018 - vnc-ltsp-config : Unowned directories
https://bugzilla.redhat.com/show_bug.cgi?id=474018
[ 2 ] Bug #431628 - Use type = UNLISTED so /etc/services mangling isn't needed
https://bugzilla.redhat.com/show_bug.cgi?id=431628
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update vnc-ltsp-config' 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
http://fedoraproject.org/keys
--------------------------------------------------------------------------------
15 years, 3 months
Fedora 10 Update: vbindiff-3.0-0.2.beta4.fc10
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2008-11342
2008-12-17 03:33:06
--------------------------------------------------------------------------------
Name : vbindiff
Product : Fedora 10
Version : 3.0
Release : 0.2.beta4.fc10
URL : http://www.cjmweb.net/vbindiff/
Summary : Visual binary diff
Description :
VBinDiff (Visual Binary Diff) displays files in hexadecimal
and ASCII (or EBCDIC). It can also display two files at once,
and highlight the differences between them.
Unlike diff, it works well with large files (up to 4 GB).
VBinDiff was inspired by the Compare Files function
of the ProSel utilities by Glen Bredon, for the Apple II.
The single-file mode was inspired by the LIST utility
of 4DOS and friends. While less provides a good line-oriented display,
it has no equivalent to LIST's hex display.
--------------------------------------------------------------------------------
Update Information:
VBinDiff (Visual Binary Diff) displays files in hexadecimal and ASCII (or
EBCDIC). It can also display two files at once, and highlight the differences
between them. Unlike diff, it works well with large files (up to 4 GB).
VBinDiff was inspired by the Compare Files function of the ProSel utilities by
Glen Bredon, for the Apple II. The single-file mode was inspired by the LIST
utility of 4DOS and friends. While less provides a good line-oriented display,
it has no equivalent to LIST's hex display.
--------------------------------------------------------------------------------
ChangeLog:
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #454482 - Review Request: vbindiff - Visual binary diff
https://bugzilla.redhat.com/show_bug.cgi?id=454482
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update vbindiff' 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
http://fedoraproject.org/keys
--------------------------------------------------------------------------------
15 years, 3 months
Fedora 10 Update: pytagger-0.5-1.fc10
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2008-11302
2008-12-17 03:32:04
--------------------------------------------------------------------------------
Name : pytagger
Product : Fedora 10
Version : 0.5
Release : 1.fc10
URL : http://www.liquidx.net/pytagger/
Summary : ID3 Tag Reader and Writer Library for Python
Description :
pytagger is a ID3 tag reader and writer implemented purely in Python.
It supports all the current ID3 tag implementations including ID3v1,
ID3v1.1, ID3v2.2, ID3v2.3 and ID3v2.4.
--------------------------------------------------------------------------------
Update Information:
pytagger is a ID3 tag reader and writer implemented purely in Python. It
supports all the current ID3 tag implementations including ID3v1, ID3v1.1,
ID3v2.2, ID3v2.3 and ID3v2.4.
--------------------------------------------------------------------------------
ChangeLog:
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #472842 - Review Request: pytagger - ID3 Tag Reader and Writer Library for Python
https://bugzilla.redhat.com/show_bug.cgi?id=472842
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update pytagger' 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
http://fedoraproject.org/keys
--------------------------------------------------------------------------------
15 years, 3 months
Fedora 10 Update: wordwarvi-0.23-2.fc10
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2008-11164
None
--------------------------------------------------------------------------------
Name : wordwarvi
Product : Fedora 10
Version : 0.23
Release : 2.fc10
URL : http://wordwarvi.sourceforge.net/
Summary : Side-scrolling shoot 'em up '80s style arcade game
Description :
Word War vi is your basic side-scrolling shoot 'em up '80s style arcade game.
You pilot your "vi"per craft through core memory, rescuing lost .swp files,
avoiding OS defenses, and wiping out those memory hogging emacs processes.
When all the lost .swp files are rescued, head for the socket which will take
you to the next node in the cluster.
Note: Obviously, emacs is a fine editor and this is all very tongue in cheek,
so don't be getting all bent out of shape because you like emacs better than
vi, mmm-kay?
--------------------------------------------------------------------------------
Update Information:
This update adds support to portaudio for playing back sound through pulseaudio
instead of through oss.
--------------------------------------------------------------------------------
ChangeLog:
* Mon Dec 8 2008 Hans de Goede <hdegoede(a)redhat.com> 0.23-2
- Fix wordwarvi crashing when used with a portaudio which has been patched to
work with pulseaudio (rh 445644)
* Sun Nov 30 2008 Hans de Goede <j.w.r.degoede(a)hhs.nl> 0.23-1
- New upstream release 0.23 (The xmas release)
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #445644 - Portaudio does not work with / through pulseaudio
https://bugzilla.redhat.com/show_bug.cgi?id=445644
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update wordwarvi' 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
http://fedoraproject.org/keys
--------------------------------------------------------------------------------
15 years, 3 months
Fedora 10 Update: portaudio-19-6.fc10
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2008-11164
None
--------------------------------------------------------------------------------
Name : portaudio
Product : Fedora 10
Version : 19
Release : 6.fc10
URL : http://www.portaudio.com/
Summary : Free, cross platform, open-source, audio I/O library
Description :
PortAudio is a portable audio I/O library designed for cross-platform
support of audio. It uses a callback mechanism to request audio processing.
Audio can be generated in various formats, including 32 bit floating point,
and will be converted to the native format internally.
--------------------------------------------------------------------------------
Update Information:
This update adds support to portaudio for playing back sound through pulseaudio
instead of through oss.
--------------------------------------------------------------------------------
ChangeLog:
* Sun Dec 7 2008 Hans de Goede <hdegoede(a)redhat.com> 19-6
- Add a patch by Kevin Kofler to make non mmap alsa (and thus pulseaudio) work
(bz 445644)
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #445644 - Portaudio does not work with / through pulseaudio
https://bugzilla.redhat.com/show_bug.cgi?id=445644
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update portaudio' 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
http://fedoraproject.org/keys
--------------------------------------------------------------------------------
15 years, 3 months
Fedora 10 Update: gtk-qt-engine-1.1-4.fc10
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2008-11765
2008-12-24 11:10:07
--------------------------------------------------------------------------------
Name : gtk-qt-engine
Product : Fedora 10
Version : 1.1
Release : 4.fc10
URL : http://gtk-qt.ecs.soton.ac.uk/
Summary : A project allowing GTK to use Qt widget styles
Description :
The GTK-Qt Theme Engine is a project allowing GTK to use Qt widget styles.
It behaves like a normal GTK theme engine, but calls functions from Qt
instead of doing the drawing itself.
--------------------------------------------------------------------------------
ChangeLog:
* Tue Dec 23 2008 Rex Dieter <rdieter(a)fedoraproject.org> 1:1.1-4
- SAL_GTK_USE_PIXMAPPAINT=1 (#450414, #475007)
- uninstalling gtk-qt-engine leaves gtk apps in ugly state (#473471)
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #473471 - uninstalling gtk-qt-engine leaves all gtk apps in ugly state because of old config
https://bugzilla.redhat.com/show_bug.cgi?id=473471
[ 2 ] Bug #450414 - Icons/menuitems disappearing with gtk-qt-engine in OpenOffice.org-impress
https://bugzilla.redhat.com/show_bug.cgi?id=450414
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update gtk-qt-engine' 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
http://fedoraproject.org/keys
--------------------------------------------------------------------------------
15 years, 3 months
Fedora 10 Update: xteddy-2.0.1-2.fc10
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2008-11899
2008-12-30 22:33:37
--------------------------------------------------------------------------------
Name : xteddy
Product : Fedora 10
Version : 2.0.1
Release : 2.fc10
URL : http://webstaff.itn.liu.se/~stegu/xteddy/
Summary : Tool to sit around silently, look cute, and make you smile
Description :
Xteddy is your virtual comfort when things get rough. It can do everything
a real teddy bear can do. That is, I can sit around silently, look cute,
and make you smile.
--------------------------------------------------------------------------------
Update Information:
This is the first release of the package in Fedora.
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update xteddy' 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
http://fedoraproject.org/keys
--------------------------------------------------------------------------------
15 years, 3 months
Fedora 9 Update: lua-lpeg-0.9-1.fc9
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2008-11721
2008-12-24 11:09:25
--------------------------------------------------------------------------------
Name : lua-lpeg
Product : Fedora 9
Version : 0.9
Release : 1.fc9
URL : http://www.inf.puc-rio.br/~roberto/lpeg.html
Summary : Parsing Expression Grammars for Lua
Description :
LPeg is a new pattern-matching library for Lua, based on Parsing Expression
Grammars (PEGs).
--------------------------------------------------------------------------------
Update Information:
Update to new stable release 0.9
--------------------------------------------------------------------------------
ChangeLog:
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update lua-lpeg' 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
http://fedoraproject.org/keys
--------------------------------------------------------------------------------
15 years, 3 months