Fedora 20 updates-testing report
updates at fedoraproject.org
updates at fedoraproject.org
Wed Mar 26 05:37:01 UTC 2014
The following Fedora 20 Security updates need testing:
Age URL
88 https://admin.fedoraproject.org/updates/FEDORA-2013-24018/varnish-3.0.5-1.fc20
69 https://admin.fedoraproject.org/updates/FEDORA-2014-0792/libinfinity-0.5.5-1.fc20
35 https://admin.fedoraproject.org/updates/FEDORA-2014-2693/openstack-glance-2013.2.2-1.fc20
34 https://admin.fedoraproject.org/updates/FEDORA-2014-2751/zabbix-2.0.11-2.fc20
32 https://admin.fedoraproject.org/updates/FEDORA-2014-2875/oath-toolkit-2.4.1-3.fc20
10 https://admin.fedoraproject.org/updates/FEDORA-2014-3915/squid-3.3.12-1.fc20
10 https://admin.fedoraproject.org/updates/FEDORA-2014-3818/udisks-1.0.4-13.fc20
4 https://admin.fedoraproject.org/updates/FEDORA-2014-4135/k4dirstat-2.7.0-0.14.20101010git6c0a9e6.fc20
4 https://admin.fedoraproject.org/updates/FEDORA-2014-4118/rubygem-rack-ssl-1.3.2-9.fc20
4 https://admin.fedoraproject.org/updates/FEDORA-2014-4163/moodle-2.5.5-1.fc20
0 https://admin.fedoraproject.org/updates/FEDORA-2014-4338/seamonkey-2.25-1.fc20
0 https://admin.fedoraproject.org/updates/FEDORA-2014-4317/kernel-3.13.7-200.fc20
0 https://admin.fedoraproject.org/updates/FEDORA-2014-4351/check-mk-1.2.4-1.fc20
0 https://admin.fedoraproject.org/updates/FEDORA-2014-4340/file-5.14-20.fc20
The following Fedora 20 Critical Path updates have yet to be approved:
Age URL
133 https://admin.fedoraproject.org/updates/FEDORA-2013-21163/libproxy-0.4.11-8.fc20
10 https://admin.fedoraproject.org/updates/FEDORA-2014-3884/libosinfo-0.2.9-1.fc20
7 https://admin.fedoraproject.org/updates/FEDORA-2014-4019/lcms2-2.6-1.fc20
0 https://admin.fedoraproject.org/updates/FEDORA-2014-4340/file-5.14-20.fc20
0 https://admin.fedoraproject.org/updates/FEDORA-2014-4326/network-manager-applet-0.9.9.0-9.git20140123.fc20
0 https://admin.fedoraproject.org/updates/FEDORA-2014-4295/gtk3-3.10.7-1.fc20
0 https://admin.fedoraproject.org/updates/FEDORA-2014-4291/xorg-x11-drv-synaptics-1.7.4-3.fc20
The following builds have been pushed to Fedora 20 updates-testing
alt-ergo-0.95.2-3.fc20
check-mk-1.2.4-1.fc20
cmockery2-1.3.7-1.fc20
connman-1.21-1.fc20
diskimage-builder-0.1.9-1.fc20
dvblinkremote-0.2.0-0.1.beta.fc20
eclipse-4.3.2-3.fc20
eclipse-ecf-3.8.0-1.fc20
eclipse-emf-2.9.2-1.fc20
eclipse-license-1.0.0-2.fc20
fedmsg-0.7.7-1.fc20
fedora-gooey-karma-0.1-4.fc20
file-5.14-20.fc20
flocq-2.2.2-1.fc20
frama-c-1.10-2.fc20
gappalib-coq-1.0.0-6.fc20
herbstluftwm-0.6.1-1.fc20
homerun-1.2.2-1.fc20
kde-workspace-4.11.7-6.fc20
kernel-3.13.7-200.fc20
lbzip2-2.4-1.fc20
mingw-hidapi-0.7.0-3.a88c724.fc20
mingw-qt5-qttools-5.2.1-2.fc20
network-manager-applet-0.9.9.0-9.git20140123.fc20
nfs-utils-1.3.0-0.0.fc20
ocaml-ocamlgraph-1.8.4-1.fc20
ocaml-zarith-1.2.1-5.fc20
owfs-2.9p3-1.fc20
pari-galpol-20140218-1.fc20
perl-Data-Perl-0.002007-2.fc20
perl-Test-SharedFork-0.23-1.fc20
perl-Time-Duration-Parse-0.10-1.fc20
perl-Want-0.23-1.fc20
powertop-2.5-2.fc20
pycscope-1.2.1-1.fc20
python-argcomplete-0.7.0-1.fc20
python-fedmsg-meta-fedora-infrastructure-0.2.11-1.fc20
python-lxml-3.3.3-2.fc20
python-novaclient-2.16.0-2.fc20
python-pytest-flakes-0.2-2.fc20
python-scrapy-0.22.0-1.fc20
seamonkey-2.25-1.fc20
strongswan-5.1.2-4.fc20
t-prot-3.0-1.fc20
tcpreplay-4.0.4-1.fc20
why-2.34-2.fc20
why3-0.83-3.fc20
worker-3.3.3-1.fc20
xflr5-6.10.02-1.fc20
Details about builds:
================================================================================
alt-ergo-0.95.2-3.fc20 (FEDORA-2014-4336)
Automated theorem prover including linear arithmetic
--------------------------------------------------------------------------------
Update Information:
Changes in ocaml-zarith:
- Enable debuginfo
- Fix bytecode build
- Build and install ocamldoc documentation
- Fixes to the -devel subpackage
Changes in flocq 2.2.2:
- https://gforge.inria.fr/frs/shownotes.php?release_id=8454
Changes in ocamlgraph 1.8.4 + dev:
- http://ocamlgraph.lri.fr/download/CHANGES
gappalib-coq was merely rebuilt due to changed dependencies.
Changes in alt-ergo 0.95.2:
- Alt-Ergo is now maintained and distributed by OCamlPro, while academic research is conducted in partnership with the VALS/Toccata team (LRI).
- source code is reorganized into sub-directories
- quantifiers instantiation heuristics are simplified
- bug-fixes in matching, nums, records, sums
- improvement of the GUI when opening big files.
Changes in why3:
- Version 0.82: http://lists.gforge.inria.fr/pipermail/why3-club/2013-December/000866.html
- Version 0.83: http://lists.gforge.inria.fr/pipermail/why3-club/2014-March/001007.html
Changes in Frama-C Neon:
- http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2014-March/004362.html
Changes in why 2.34:
- http://why.lri.fr/download/CHANGES
--------------------------------------------------------------------------------
ChangeLog:
* Mon Mar 24 2014 Jerry James <loganjerry at gmail.com> - 0.95.2-3
- Add desktop icons
- Drop unnecessary gmp-devel BR (pulled in by ocaml-zarith-devel)
- Fix bytecode build
- Drop screenshot, now hosted externally
* Tue Mar 4 2014 Jerry James <loganjerry at gmail.com> - 0.95.2-2
- Add an AppData file and screenshot
- Adapt to ocamlgraph 1.8.4
* Fri Sep 20 2013 Jerry James <loganjerry at gmail.com> - 0.95.2-1
- Update to version 0.95.2
- Web pages and downloads now hosted by ocamlpro.com
- Add ocaml-findlib, ocaml-zarith, and gmp-devel BRs
- Drop prelink BR; execstack is no longer set
- Fix bogus changelog dates
* Sat Sep 14 2013 Richard W.M. Jones <rjones at redhat.com> - 0.95.1-4
- Rebuild for OCaml 4.01.0.
- Enable debuginfo.
- Change some define -> global.
- Remove Group lines not needed by modern RPM.
--------------------------------------------------------------------------------
================================================================================
check-mk-1.2.4-1.fc20 (FEDORA-2014-4351)
A new general purpose Nagios-plugin for retrieving data
--------------------------------------------------------------------------------
Update Information:
New upstream release, fixes CVEs:
- CVE-2014-2329
- CVE-2014-2330
- CVE-2014-2331
- CVE-2014-2332
--------------------------------------------------------------------------------
ChangeLog:
* Tue Mar 25 2014 Andrea Veri <averi at fedoraproject.org> - 1.2.4-1
- New upstream release. Fixes the following CVEs:
- CVE-2014-2329
- CVE-2014-2330
- CVE-2014-2331
- CVE-2014-2332
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1080303 - CVE-2014-2329 CVE-2014-2330 CVE-2014-2331 CVE-2014-2332 check-mk: multiple flaws fixed in versions 1.2.2p3 and 1.2.3i5
https://bugzilla.redhat.com/show_bug.cgi?id=1080303
--------------------------------------------------------------------------------
================================================================================
cmockery2-1.3.7-1.fc20 (FEDORA-2014-4312)
Lightweight C unit testing framework
--------------------------------------------------------------------------------
Update Information:
Fixed memory check functions
PPC fixes
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1079647 - Cmockery2 does not pass tests in el5-ppc arch
https://bugzilla.redhat.com/show_bug.cgi?id=1079647
[ 2 ] Bug #1076863 - Review Request: cmockery2 - Lightweight C unit testing framework.
https://bugzilla.redhat.com/show_bug.cgi?id=1076863
--------------------------------------------------------------------------------
================================================================================
connman-1.21-1.fc20 (FEDORA-2014-4329)
An alternative daemon for managing internet connections on Linux
--------------------------------------------------------------------------------
Update Information:
Update to current version of connman.
--------------------------------------------------------------------------------
ChangeLog:
* Mon Mar 17 2014 Pavel Šimerda <psimerda at redhat.com> - 1.21-1
- new package version 1.21
* Mon Feb 17 2014 Pavel Šimerda <psimerda at redhat.com> - 1.13-4
- rebuilt
* Mon Feb 17 2014 Pavel Šimerda <psimerda at redhat.com> - 1.13-3
- #955321 - hardened build
--------------------------------------------------------------------------------
================================================================================
diskimage-builder-0.1.9-1.fc20 (FEDORA-2014-4335)
Image building tools for OpenStack
--------------------------------------------------------------------------------
Update Information:
rebase to 0.1.9
--------------------------------------------------------------------------------
ChangeLog:
* Wed Mar 26 2014 Jeff Peeler <jpeeler at redhat.com> 0.1.9-1
- rebase to 0.1.9
--------------------------------------------------------------------------------
================================================================================
dvblinkremote-0.2.0-0.1.beta.fc20 (FEDORA-2014-4356)
Tool for interacting with a DVBLink Connect! Server
--------------------------------------------------------------------------------
Update Information:
Initial RPM release
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1079928 - Review Request: dvblinkremote - Tool for interacting with a DVBLink Connect! Server
https://bugzilla.redhat.com/show_bug.cgi?id=1079928
--------------------------------------------------------------------------------
================================================================================
eclipse-4.3.2-3.fc20 (FEDORA-2014-4194)
An open, extensible IDE
--------------------------------------------------------------------------------
Update Information:
Updates Eclipse to Kepler SR2.
--------------------------------------------------------------------------------
ChangeLog:
* Mon Mar 24 2014 Mat Booth <fedora at matbooth.co.uk> - 1:4.3.2-3
- Fix BR/R on eclipse-ecf-core.
* Thu Mar 20 2014 Mat Booth <fedora at matbooth.co.uk> - 1:4.3.2-2
- Rebuild p2 metadata.
* Wed Mar 12 2014 Mat Booth <fedora at matbooth.co.uk> - 1:4.3.2-1
- Update to 4.3.2
* Thu Jan 30 2014 Sami Wagiaalla <swagiaal at redhat.com> - 1:4.3.1-12
- Increase JVM stack size for Maven. Fixes bz 1059816.
--------------------------------------------------------------------------------
================================================================================
eclipse-ecf-3.8.0-1.fc20 (FEDORA-2014-4194)
Eclipse Communication Framework (ECF)
--------------------------------------------------------------------------------
Update Information:
Updates Eclipse to Kepler SR2.
--------------------------------------------------------------------------------
ChangeLog:
* Wed Mar 19 2014 Mat Booth <fedora at matbooth.co.uk> - 3.8.0-1
- Update to latest upstream.
- Now necessary to explicitly build more fine-grained features.
- Drop unneeded dep on jakarta-commons-httpclient.
- Fixed mixed use of tabs and spaces.
- Switch core package to R: java-headless, rhbz #1068037
--------------------------------------------------------------------------------
================================================================================
eclipse-emf-2.9.2-1.fc20 (FEDORA-2014-4194)
Eclipse Modeling Framework (EMF) Eclipse plugin
--------------------------------------------------------------------------------
Update Information:
Updates Eclipse to Kepler SR2.
--------------------------------------------------------------------------------
ChangeLog:
* Wed Mar 12 2014 Mat Booth <fedora at matbooth.co.uk> - 2.9.2-1
- Update to latest upstream, Kepler SR2
- Drop requires on java, rhbz #1068039
- Remove unused patch
- Update project URL
--------------------------------------------------------------------------------
================================================================================
eclipse-license-1.0.0-2.fc20 (FEDORA-2014-4194)
Shared license feature for Eclipse
--------------------------------------------------------------------------------
Update Information:
Updates Eclipse to Kepler SR2.
--------------------------------------------------------------------------------
================================================================================
fedmsg-0.7.7-1.fc20 (FEDORA-2014-4328)
Tools for Fedora Infrastructure real-time messaging
--------------------------------------------------------------------------------
Update Information:
Various enhancements and bugfixes.
--------------------------------------------------------------------------------
ChangeLog:
* Tue Mar 25 2014 Ralph Bean <rbean at redhat.com> - 0.7.7-1
- fedmsg-config and fedmsg-tail now share the --query option.
- Added a deployment doc.
- New fedmsg.crypto.validate_signed_by convenience function.
- Username is now automatically appended to the fedmsg-logger meta subtitle.
- A UserWarning is now issued if no fedmsg.meta plugins are found.
- Fixed the fedmsg.meta __name__ regex.
- Removed TCP_KEEPALIVE debug statements.
--------------------------------------------------------------------------------
================================================================================
fedora-gooey-karma-0.1-4.fc20 (FEDORA-2014-4313)
GUI tool for sending feedback about installed Test Update packages
--------------------------------------------------------------------------------
Update Information:
Fedora-gooey-karma helps you to easily and fast provide feedback for all testing updates that you have currently installed and browse the available ones. It is similar tool to fedora-easy-karma but with graphical front-end.
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1020839 - Review Request: fedora-gooey-karma - GUI tool for adding karma to Bodhi system
https://bugzilla.redhat.com/show_bug.cgi?id=1020839
--------------------------------------------------------------------------------
================================================================================
file-5.14-20.fc20 (FEDORA-2014-4340)
A utility for determining file types
--------------------------------------------------------------------------------
Update Information:
fix #1079847 - fix for CVE-2013-7345
fix #1079847 - fix for CVE-2013-7345
--------------------------------------------------------------------------------
ChangeLog:
* Tue Mar 25 2014 Jan Kaluza <jkaluza at redhat.com> - 5.14-20
- fix #1079847 - fix potential regression in Perl detection caused
by original patch for CVE-2013-7345
* Mon Mar 24 2014 Jan Kaluza <jkaluza at redhat.com> - 5.14-19
- fix redefinition of OFFSET_OOB in CVE-2014-2270 patch
* Mon Mar 24 2014 Jan Kaluza <jkaluza at redhat.com> - 5.14-18
- fix #1079847 - fix for CVE-2013-7345
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1079846 - CVE-2013-7345 file: extensive backtracking in awk rule regular expression
https://bugzilla.redhat.com/show_bug.cgi?id=1079846
--------------------------------------------------------------------------------
================================================================================
flocq-2.2.2-1.fc20 (FEDORA-2014-4336)
Formalization of floating point numbers for Coq
--------------------------------------------------------------------------------
Update Information:
Changes in ocaml-zarith:
- Enable debuginfo
- Fix bytecode build
- Build and install ocamldoc documentation
- Fixes to the -devel subpackage
Changes in flocq 2.2.2:
- https://gforge.inria.fr/frs/shownotes.php?release_id=8454
Changes in ocamlgraph 1.8.4 + dev:
- http://ocamlgraph.lri.fr/download/CHANGES
gappalib-coq was merely rebuilt due to changed dependencies.
Changes in alt-ergo 0.95.2:
- Alt-Ergo is now maintained and distributed by OCamlPro, while academic research is conducted in partnership with the VALS/Toccata team (LRI).
- source code is reorganized into sub-directories
- quantifiers instantiation heuristics are simplified
- bug-fixes in matching, nums, records, sums
- improvement of the GUI when opening big files.
Changes in why3:
- Version 0.82: http://lists.gforge.inria.fr/pipermail/why3-club/2013-December/000866.html
- Version 0.83: http://lists.gforge.inria.fr/pipermail/why3-club/2014-March/001007.html
Changes in Frama-C Neon:
- http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2014-March/004362.html
Changes in why 2.34:
- http://why.lri.fr/download/CHANGES
--------------------------------------------------------------------------------
ChangeLog:
* Mon Jan 27 2014 Jerry James <loganjerry at gmail.com> - 2.2.2-1
- New upstream release
--------------------------------------------------------------------------------
================================================================================
frama-c-1.10-2.fc20 (FEDORA-2014-4336)
Framework for source code analysis of C software
--------------------------------------------------------------------------------
Update Information:
Changes in ocaml-zarith:
- Enable debuginfo
- Fix bytecode build
- Build and install ocamldoc documentation
- Fixes to the -devel subpackage
Changes in flocq 2.2.2:
- https://gforge.inria.fr/frs/shownotes.php?release_id=8454
Changes in ocamlgraph 1.8.4 + dev:
- http://ocamlgraph.lri.fr/download/CHANGES
gappalib-coq was merely rebuilt due to changed dependencies.
Changes in alt-ergo 0.95.2:
- Alt-Ergo is now maintained and distributed by OCamlPro, while academic research is conducted in partnership with the VALS/Toccata team (LRI).
- source code is reorganized into sub-directories
- quantifiers instantiation heuristics are simplified
- bug-fixes in matching, nums, records, sums
- improvement of the GUI when opening big files.
Changes in why3:
- Version 0.82: http://lists.gforge.inria.fr/pipermail/why3-club/2013-December/000866.html
- Version 0.83: http://lists.gforge.inria.fr/pipermail/why3-club/2014-March/001007.html
Changes in Frama-C Neon:
- http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2014-March/004362.html
Changes in why 2.34:
- http://why.lri.fr/download/CHANGES
--------------------------------------------------------------------------------
ChangeLog:
* Mon Mar 24 2014 Jerry James <loganjerry at gmail.com> - 1.10-2
- Fix the icon name in the desktop file
- Install icons
- Drop unnecessary gmp-devel BR (pulled in by ocaml-zarith-devel)
- Fix permissions later, else they get reset to the bad values
* Mon Mar 17 2014 Jerry James <loganjerry at gmail.com> - 1.10-1
- Update to Neon version
- All patches have been upstreamed; drop them
- The manuals are no longer included in the source distribution; add as Sources
- BR ocaml-findlib instead of ocaml-findlib-devel
- BR why3 to get coq + why3 support in the wp plugin
* Wed Feb 26 2014 Jerry James <loganjerry at gmail.com> - 1.9-9
- Rebuild for ocaml-ocamlgraph 1.8.4; add -ocamlgraph patch to adapt.
- Add an Appdata file.
* Wed Oct 2 2013 Richard W.M. Jones <rjones at redhat.com> - 1.9-8
- Rebuild for ocaml-lablgtk 2.18.
* Mon Sep 16 2013 Jerry James <loganjerry at gmail.com> - 1.9-7
- Rebuild for OCaml 4.01.0
- Enable debuginfo
--------------------------------------------------------------------------------
================================================================================
gappalib-coq-1.0.0-6.fc20 (FEDORA-2014-4336)
Coq support library for gappa
--------------------------------------------------------------------------------
Update Information:
Changes in ocaml-zarith:
- Enable debuginfo
- Fix bytecode build
- Build and install ocamldoc documentation
- Fixes to the -devel subpackage
Changes in flocq 2.2.2:
- https://gforge.inria.fr/frs/shownotes.php?release_id=8454
Changes in ocamlgraph 1.8.4 + dev:
- http://ocamlgraph.lri.fr/download/CHANGES
gappalib-coq was merely rebuilt due to changed dependencies.
Changes in alt-ergo 0.95.2:
- Alt-Ergo is now maintained and distributed by OCamlPro, while academic research is conducted in partnership with the VALS/Toccata team (LRI).
- source code is reorganized into sub-directories
- quantifiers instantiation heuristics are simplified
- bug-fixes in matching, nums, records, sums
- improvement of the GUI when opening big files.
Changes in why3:
- Version 0.82: http://lists.gforge.inria.fr/pipermail/why3-club/2013-December/000866.html
- Version 0.83: http://lists.gforge.inria.fr/pipermail/why3-club/2014-March/001007.html
Changes in Frama-C Neon:
- http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2014-March/004362.html
Changes in why 2.34:
- http://why.lri.fr/download/CHANGES
--------------------------------------------------------------------------------
ChangeLog:
* Mon Mar 24 2014 Jerry James <loganjerry at gmail.com> - 1.0.0-6
- Rebuild for flocq 2.2.2
--------------------------------------------------------------------------------
================================================================================
herbstluftwm-0.6.1-1.fc20 (FEDORA-2014-4325)
A manual tiling window manager
--------------------------------------------------------------------------------
Update Information:
Release 0.6.1 on 2014-03-25
---------------------------
* directional shift of floating windows
* fix crash of directional focus
* document theme.minimal
Release 0.6.0 on 2014-03-19
---------------------------
* Add window decorations, configurable via the theme-object
* The tag attributes curframe_windex and curframe_wcount have been removed, they are replaced by the more general attributes frames.focus.windex frames.focus.wcount.
* new example script: scratchpad.sh
* if swap_monitors_to_get_tag is set to 0, then focus the other monitor if the desired tag is shown on another monitor instead of doing nothing
* new split mode: auto
* new attribute monitors.count indicating the number of monitors
* new settings object with an attribute for each setting.
* directional focus for floating clients, i.e. switch between floating windows via focus left|right|up|down. It also raises the freshly focused window.
* directional monitor focusing
* new detect_monitors flags: --list -l --no-disjoin while detect_monitors does disjoin_rects on the detected monitors per default.
* For each client a keymask can be given. A keymask is a regular expression, that is matched against the string representation of a keybinding. If it matches, the keybinding is enabled for this client, otherwise not. The default is an empty keymask ("") that matches all keybindings, so no bindings are masked out by default. A keymask is a client attribute, and can be set by a client rule.
* add completion to the mousebind command
* add mouse function call to call commands on mouse button press
* add setting update_dragged_clients
* new rule consequence: monitor
* new command: try
* new command: silent
--------------------------------------------------------------------------------
ChangeLog:
* Tue Mar 25 2014 Christopher Meng <rpm at cicku.me> - 0.6.1-1
- Update to 0.6.1
* Fri Mar 21 2014 Christopher Meng <rpm at cicku.me> - 0.6.0-1
- Update to 0.6.0
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1078711 - herbstluftwm-0.6.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1078711
--------------------------------------------------------------------------------
================================================================================
homerun-1.2.2-1.fc20 (FEDORA-2014-4353)
KDE Application Launcher
--------------------------------------------------------------------------------
Update Information:
Update to latest upstream version
--------------------------------------------------------------------------------
ChangeLog:
* Mon Mar 24 2014 Rex Dieter <rdieter at fedoraproject.org> 1.2.2-1
- 1.2.2
--------------------------------------------------------------------------------
================================================================================
kde-workspace-4.11.7-6.fc20 (FEDORA-2014-3978)
KDE Workspace
--------------------------------------------------------------------------------
Update Information:
This update:
* adds support for bookmarks from Debian Iceweasel to KRunner (using the same import code as for Firefox) (https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=646612),
* improves the placement of new Plasma panels (prefers edges that are not occupied yet, and starts from the bottom rather than the top),
* fixes keyboard brightness handling in PowerDevil on some systems (https://bugs.kde.org/show_bug.cgi?id=324257),
* fixes startkde to not prepend /usr/share to XDG_DATA_DIRS, so that the default applications from kde-settings are picked up in KDE Plasma sessions rather than the Fedora-wide/GNOME defaults (https://bugs.kde.org/show_bug.cgi?id=332107),
* fixes weather from BBC / UK Met no longer working in all weather widgets (plasmoids) using the weather data engine (in particular, the weather plasmoid from kdeplasma-addons and the kde-plasma-yawp plasmoid) (https://bugs.kde.org/show_bug.cgi?id=330773).
--------------------------------------------------------------------------------
ChangeLog:
* Tue Mar 25 2014 Kevin Kofler <Kevin at tigcc.ticalc.org> - 4.11.7-6
- bbcukmet: fix processing of weather conditions (regression in -5)
* Mon Mar 24 2014 Kevin Kofler <Kevin at tigcc.ticalc.org> - 4.11.7-5
- bbcukmet: fix typo in the condition->icon matching ("clar sky" -> "clear sky")
- bbcukmet: fix a crash (#1079296/kde#332392) and improve error handling
* Sat Mar 15 2014 Kevin Kofler <Kevin at tigcc.ticalc.org> - 4.11.7-4
- apply fixes for kde#330773 (BBC weather no longer working) from bugs.kde.org
* Thu Mar 13 2014 Kevin Kofler <Kevin at tigcc.ticalc.org> - 4.11.7-3
- do not mess with XDG_DATA_DIR in startkde, fixes default apps (kde#332107)
- change the startkde patch to a modified copy to prevent more such regressions
* Fri Mar 7 2014 Rex Dieter <rdieter at fedoraproject.org> - 4.11.7-2
- pull in some upstream fixes
- drop f18-related (systemd) hacks
--------------------------------------------------------------------------------
================================================================================
kernel-3.13.7-200.fc20 (FEDORA-2014-4317)
The Linux kernel
--------------------------------------------------------------------------------
Update Information:
The 3.13.7 stable update contains a number of important fixes across the tree.
--------------------------------------------------------------------------------
ChangeLog:
* Mon Mar 24 2014 Justin M. Forbes <jforbes at fedoraproject.org> - 3.13.7-200
- Linux v3.13.7
* Thu Mar 20 2014 Josh Boyer <jwboyer at fedoraproject.org>
- CVE-2014-0131: skbuff: use-after-free during segmentation with zerocopy (rhbz 1074589 1079006)
- Fix readahead semantics on pipes and sockets (rhbz 1078894)
* Mon Mar 17 2014 Josh Boyer <jwboyer at fedoraproject.org>
- CVE-2014-2523 netfilter: nf_conntrack_dccp: incorrect skb_header_pointer API usages (rhbz 1077343 1077350)
* Wed Mar 12 2014 Josh Boyer <jwboyer at fedoraproject.org>
- Fix locking issue in iwldvm (rhbz 1046495)
* Tue Mar 11 2014 Josh Boyer <jwboyer at fedoraproject.org>
- CVE-2014-2309 ipv6: crash due to router advertisment flooding (rhbz 1074471 1075064)
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1074589 - CVE-2014-0131 kernel: net: use-after-free during segmentation with zerocopy
https://bugzilla.redhat.com/show_bug.cgi?id=1074589
[ 2 ] Bug #1077343 - CVE-2014-2523 kernel: netfilter: nf_conntrack_dccp: incorrect skb_header_pointer API usages
https://bugzilla.redhat.com/show_bug.cgi?id=1077343
[ 3 ] Bug #1074471 - CVE-2014-2309 Kernel: net: IPv6: crash due to router advertisement flooding
https://bugzilla.redhat.com/show_bug.cgi?id=1074471
--------------------------------------------------------------------------------
================================================================================
lbzip2-2.4-1.fc20 (FEDORA-2014-4331)
Fast, multi-threaded bzip2 utility
--------------------------------------------------------------------------------
Update Information:
This update rebases to upstream version 2.4, which fixes several bugs and adds some improvements. Full release notes are available at upstream website: http://lbzip2.org/news This release is strictly backwards-compatible with all previous releases in 2.x line.
--------------------------------------------------------------------------------
ChangeLog:
* Mon Mar 24 2014 Mikolaj Izdebski <mizdebsk at redhat.com> - 2.4-1
- Update to upstream version 2.4
* Sun Dec 22 2013 Ville Skyttä <ville.skytta at iki.fi> - 2.3-3
- Drop INSTALL from docs.
- Fix bogus dates in %changelog.
- Use bzipped source tarball.
--------------------------------------------------------------------------------
================================================================================
mingw-hidapi-0.7.0-3.a88c724.fc20 (FEDORA-2014-4324)
Library for communicating with USB and Bluetooth HID devices
--------------------------------------------------------------------------------
Update Information:
Add patch for increasing the input report buffer size
--------------------------------------------------------------------------------
ChangeLog:
* Thu Mar 20 2014 Scott Talbert <swt at techie.net> - 0.7.0-3.a88c724
- Add patch for increasing the input report buffer size
--------------------------------------------------------------------------------
================================================================================
mingw-qt5-qttools-5.2.1-2.fc20 (FEDORA-2014-4327)
Qt5 for Windows - QtTools component
--------------------------------------------------------------------------------
Update Information:
Improved CMake support
--------------------------------------------------------------------------------
ChangeLog:
* Mon Mar 24 2014 Erik van Pienbroek <epienbro at fedoraproject.org> - 5.2.1-2
- Fix invalid reference to the tools in the CMake files (the native tools don't have the .exe extension)
--------------------------------------------------------------------------------
================================================================================
network-manager-applet-0.9.9.0-9.git20140123.fc20 (FEDORA-2014-4326)
A network control and status applet for NetworkManager
--------------------------------------------------------------------------------
Update Information:
Add ModemManager-glib-devel to BuildRequires, fixing nm-applet modem support
--------------------------------------------------------------------------------
ChangeLog:
* Mon Mar 24 2014 Dan Winship <danw at redhat.com> - 0.9.9.0-9.git20140123
- Add ModemManager-glib-devel to BuildRequires
--------------------------------------------------------------------------------
================================================================================
nfs-utils-1.3.0-0.0.fc20 (FEDORA-2014-4359)
NFS utilities and supporting clients and daemons for the kernel NFS server
--------------------------------------------------------------------------------
Update Information:
commit df8f2a8f523fcbcd8b280ec5debaffd143d5f99d
Author: Steve Dickson <steved at redhat.com>
Date: Tue Mar 25 12:59:41 2014 -0400
Updated to latest major release: nfs-utils-1-3-0
Signed-off-by: Steve Dickson <steved at redhat.com>
--------------------------------------------------------------------------------
ChangeLog:
* Tue Mar 25 2014 Steve Dickson <steved at redhat.com> 1.3.0-0.0
- Updated to latest major release: nfs-utils-1-3-0
--------------------------------------------------------------------------------
================================================================================
ocaml-ocamlgraph-1.8.4-1.fc20 (FEDORA-2014-4336)
OCaml library for arc and node graphs
--------------------------------------------------------------------------------
Update Information:
Changes in ocaml-zarith:
- Enable debuginfo
- Fix bytecode build
- Build and install ocamldoc documentation
- Fixes to the -devel subpackage
Changes in flocq 2.2.2:
- https://gforge.inria.fr/frs/shownotes.php?release_id=8454
Changes in ocamlgraph 1.8.4 + dev:
- http://ocamlgraph.lri.fr/download/CHANGES
gappalib-coq was merely rebuilt due to changed dependencies.
Changes in alt-ergo 0.95.2:
- Alt-Ergo is now maintained and distributed by OCamlPro, while academic research is conducted in partnership with the VALS/Toccata team (LRI).
- source code is reorganized into sub-directories
- quantifiers instantiation heuristics are simplified
- bug-fixes in matching, nums, records, sums
- improvement of the GUI when opening big files.
Changes in why3:
- Version 0.82: http://lists.gforge.inria.fr/pipermail/why3-club/2013-December/000866.html
- Version 0.83: http://lists.gforge.inria.fr/pipermail/why3-club/2014-March/001007.html
Changes in Frama-C Neon:
- http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2014-March/004362.html
Changes in why 2.34:
- http://why.lri.fr/download/CHANGES
--------------------------------------------------------------------------------
ChangeLog:
* Wed Feb 26 2014 Jerry James <loganjerry at gmail.com> - 1.8.4-1
- New upstream release, 1.8.4+dev, where the "+dev" refers to a bug fix
that was applied immediately after the 1.8.4 release
- Drop upstreamed patch
- Install graph.cmxs and enable the -debuginfo subpackage
- Update expected test results
- BR ocaml-findlib only, not ocaml-findlib-devel
- Install graph editing tools into -tools subpackage
- Fix the bytecode build
* Wed Oct 2 2013 Richard W.M. Jones <rjones at redhat.com> - 1.8.3-5
- Rebuild for ocaml-lablgtk 2.18.
* Sat Sep 14 2013 Richard W.M. Jones <rjones at redhat.com> - 1.8.3-4
- Rebuild for OCaml 4.01.0.
--------------------------------------------------------------------------------
================================================================================
ocaml-zarith-1.2.1-5.fc20 (FEDORA-2014-4336)
OCaml interface to GMP
--------------------------------------------------------------------------------
Update Information:
Changes in ocaml-zarith:
- Enable debuginfo
- Fix bytecode build
- Build and install ocamldoc documentation
- Fixes to the -devel subpackage
Changes in flocq 2.2.2:
- https://gforge.inria.fr/frs/shownotes.php?release_id=8454
Changes in ocamlgraph 1.8.4 + dev:
- http://ocamlgraph.lri.fr/download/CHANGES
gappalib-coq was merely rebuilt due to changed dependencies.
Changes in alt-ergo 0.95.2:
- Alt-Ergo is now maintained and distributed by OCamlPro, while academic research is conducted in partnership with the VALS/Toccata team (LRI).
- source code is reorganized into sub-directories
- quantifiers instantiation heuristics are simplified
- bug-fixes in matching, nums, records, sums
- improvement of the GUI when opening big files.
Changes in why3:
- Version 0.82: http://lists.gforge.inria.fr/pipermail/why3-club/2013-December/000866.html
- Version 0.83: http://lists.gforge.inria.fr/pipermail/why3-club/2014-March/001007.html
Changes in Frama-C Neon:
- http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2014-March/004362.html
Changes in why 2.34:
- http://why.lri.fr/download/CHANGES
--------------------------------------------------------------------------------
ChangeLog:
* Mon Mar 24 2014 Jerry James <loganjerry at gmail.com> - 1.2.1-5
- Fix bytecode build
- Build and install ocamldoc documentation
- BR ocaml-findlib instead of ocaml-findlib-devel
- The -devel subpackage needs gmp-devel for _libdir/libgmp.so
- Move zarith.h to the -devel subpackage
* Thu Sep 19 2013 Richard W.M. Jones <rjones at redhat.com> - 1.2.1-4
- Typo in changelog which confused my autorebuild scripts.
* Mon Sep 16 2013 Jerry James <loganjerry at gmail.com> - 1.2.1-3
- Rebuild for OCaml 4.01.0.
- Enable debuginfo
--------------------------------------------------------------------------------
================================================================================
owfs-2.9p3-1.fc20 (FEDORA-2014-4346)
1-Wire Virtual File System
--------------------------------------------------------------------------------
Update Information:
New features
1. Support for using other channels during temperature conversion
Only selected bus masters, specifically not DS2482-800
2. Add "Safe" owcapi init functions (for Sven Geggus)
Allows multiple init calls without restarting library
Only first call has device parameters analyzed.
OW_init -> OW_safe_init
OW_init_args -> OW_safe_init_args
3. Add --trim option (for Michael Markstaller)
Numeric values are trimmed of whitespace
owget, owcapi, owfs, owftpd, owhttpd, owperl, OWNET.pm
4. Support for Dirk Opfer's unannounced bus master
Fixes
1. httpd json error reporting (bad url) fixed.
2. httpd text error reporting fixed
3. json formatting fixes
4. json trailing comma in directory lists removed
5. Endian errors in DS2413 etc fixed
Thanks to Robin Gilks!
--------------------------------------------------------------------------------
ChangeLog:
* Tue Mar 25 2014 Tomasz Torcz <ttorcz at fedoraproject.org> - 2.9p3-1
- new upstream release
--------------------------------------------------------------------------------
================================================================================
pari-galpol-20140218-1.fc20 (FEDORA-2014-4363)
PARI/GP Computer Algebra System Galois polynomials
--------------------------------------------------------------------------------
Update Information:
This is the first Fedora release of the galpol add-on data package for pari.
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1080062 - Review Request: pari-galpol - PARI/GP Computer Algebra System Galois polynomials
https://bugzilla.redhat.com/show_bug.cgi?id=1080062
--------------------------------------------------------------------------------
================================================================================
perl-Data-Perl-0.002007-2.fc20 (FEDORA-2014-4349)
Base classes wrapping fundamental Perl data types
--------------------------------------------------------------------------------
Update Information:
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1079613 - Review Request: perl-Data-Perl - Base classes wrapping fundamental Perl data types
https://bugzilla.redhat.com/show_bug.cgi?id=1079613
--------------------------------------------------------------------------------
================================================================================
perl-Test-SharedFork-0.23-1.fc20 (FEDORA-2014-4350)
Fork test
--------------------------------------------------------------------------------
Update Information:
--------------------------------------------------------------------------------
ChangeLog:
* Tue Mar 25 2014 Ralf Corsépius <corsepiu at fedoraproject.org> - 0.23-1
- Upstream update.
- Extend BR:s.
--------------------------------------------------------------------------------
================================================================================
perl-Time-Duration-Parse-0.10-1.fc20 (FEDORA-2014-4362)
Parse string that represents time duration
--------------------------------------------------------------------------------
Update Information:
--------------------------------------------------------------------------------
ChangeLog:
* Tue Mar 25 2014 Ralf Corsépius <corsepiu at fedoraproject.org> - 0.10-1
- Upstream update.
- Modernize spec.
- Reflect upstream Source0: having changed.
--------------------------------------------------------------------------------
================================================================================
perl-Want-0.23-1.fc20 (FEDORA-2014-4319)
Perl module implementing a generalisation of wantarray
--------------------------------------------------------------------------------
Update Information:
--------------------------------------------------------------------------------
ChangeLog:
* Tue Mar 25 2014 Ralf Corsépius <corsepiu at fedoraproject.org> - 0.23-1
- Upstream update.
- Minor spec modernisations.
--------------------------------------------------------------------------------
================================================================================
powertop-2.5-2.fc20 (FEDORA-2014-4315)
Power consumption monitor
--------------------------------------------------------------------------------
Update Information:
This is an update that fixes buffer overflow in cpufreq tunables on systems with many CPUs (i.e. systems with more than 55 CPUs or so).
--------------------------------------------------------------------------------
ChangeLog:
* Tue Mar 25 2014 Jaroslav Škarvada <jskarvad at redhat.com> - 2.5-2
- Fixed buffer overflow in cpufreq tunables on systems with many CPUs
(by tunable-overflow-fix patch)
--------------------------------------------------------------------------------
================================================================================
pycscope-1.2.1-1.fc20 (FEDORA-2014-4311)
Generates a cscope index of Python source trees
--------------------------------------------------------------------------------
Update Information:
Updated to latest upstream release, 1.2.1:
========== ========= ====== ====================================================
Date Release Trac Changes
========== ========= ====== ====================================================
2013/03/16 1.2.1 N/A Fix strings-as-symbols support (really).
---------- --------- ------ ----------------------------------------------------
2013/03/16 1.2 N/A Fix strings-as-symbols support; fix end of function
marking; add the ability to only run the indexer;
remove the threading support that was broken.
---------- --------- ------ ----------------------------------------------------
2012/10/01 1.1 N/A Fix Python3 support; enhance unit tests to run using
nose, generating coverage by default; fix broken
unit tests that were not properly run before the
switch to nose; add contrib area containing the
pyxcscope integration for (X)Emacs.
---------- --------- ------ ----------------------------------------------------
2012/09/20 1.0 N/A Call it 1.0; update to use setuptools; drop .py from
installed script name; transition authorship from
Dean Hall to Peter Portante.
--------------------------------------------------------------------------------
ChangeLog:
* Tue Mar 25 2014 Ankur Sinha <ankursinha AT fedoraproject DOT org> 1.2.1-1
- Update to latest upstream release
- Add py3 support
- Tests dont seem to work. Will look into these later.
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1077938 - [RFE] Upgrade to pycscope 1.2.1
https://bugzilla.redhat.com/show_bug.cgi?id=1077938
--------------------------------------------------------------------------------
================================================================================
python-argcomplete-0.7.0-1.fc20 (FEDORA-2014-4348)
Bash tab completion for argparse
--------------------------------------------------------------------------------
Update Information:
Updating package to 0.7.0
--------------------------------------------------------------------------------
ChangeLog:
* Mon Mar 24 2014 - Dale Macartney <dbmacartney at fedoraproject.org> 0.7.0-1
- Updating package to 0.7.0
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1055302 - python-argcomplete-0.7.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1055302
--------------------------------------------------------------------------------
================================================================================
python-fedmsg-meta-fedora-infrastructure-0.2.11-1.fc20 (FEDORA-2014-4352)
Metadata providers for Fedora Infrastructure's fedmsg deployment
--------------------------------------------------------------------------------
Update Information:
New processors for ftpsync and github2fedmsg.
--------------------------------------------------------------------------------
ChangeLog:
* Tue Mar 25 2014 Ralph Bean <rbean at redhat.com> - 0.2.11-1
- New github processor.
- New ftpsync processor.
- Require latest fedmsg to manage conflict between git and github procs.
--------------------------------------------------------------------------------
================================================================================
python-lxml-3.3.3-2.fc20 (FEDORA-2014-4339)
ElementTree-like Python bindings for libxml2 and libxslt
--------------------------------------------------------------------------------
Update Information:
Add python3-cssselect as a requirement, and add both python-cssselect and python3-cssselect as buildrequirements so that more tests are enabled.
--------------------------------------------------------------------------------
ChangeLog:
* Mon Mar 24 2014 Jeffrey Ollie <jeff at ocjtech.us> - 3.3.3-2
- BZ#1075070 add requires and buildrequires for cssselect
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1075070 - [ PATCH ] - Enable tests in %check
https://bugzilla.redhat.com/show_bug.cgi?id=1075070
--------------------------------------------------------------------------------
================================================================================
python-novaclient-2.16.0-2.fc20 (FEDORA-2014-4314)
Python API and CLI for OpenStack Nova
--------------------------------------------------------------------------------
Update Information:
Update to upstream 2.16.0
--------------------------------------------------------------------------------
ChangeLog:
* Wed Feb 26 2014 Jakub Ruzicka <jruzicka at redhat.com> 2.16.0-2
- Update to upstream 2.16.0
--------------------------------------------------------------------------------
================================================================================
python-pytest-flakes-0.2-2.fc20 (FEDORA-2014-4332)
Pytest plugin to check source code with pyflakes
--------------------------------------------------------------------------------
Update Information:
Py.test plugin for efficiently checking python source with pyflakes.
--------------------------------------------------------------------------------
================================================================================
python-scrapy-0.22.0-1.fc20 (FEDORA-2014-4309)
A high-level Python Screen Scraping framework
--------------------------------------------------------------------------------
Update Information:
First import bug #1055246
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1055246 - Review Request: python-scrapy - A high-level Python Screen Scraping framework
https://bugzilla.redhat.com/show_bug.cgi?id=1055246
--------------------------------------------------------------------------------
================================================================================
seamonkey-2.25-1.fc20 (FEDORA-2014-4338)
Web browser, e-mail, news, IRC client, HTML editor
--------------------------------------------------------------------------------
Update Information:
Update to 2.25
Fixes various security issues, see http://www.mozilla.org/security/known-vulnerabilities/seamonkey.html for more info.
--------------------------------------------------------------------------------
ChangeLog:
* Mon Mar 24 2014 Dmitry Butskoy <Dmitry at Butskoy.name> 2.25-1
- update to 2.25
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1078794 - seamonkey-2.25 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1078794
--------------------------------------------------------------------------------
================================================================================
strongswan-5.1.2-4.fc20 (FEDORA-2014-3924)
An OpenSource IPsec-based VPN Solution
--------------------------------------------------------------------------------
Update Information:
New version of strongswan fixing a couple of issues.
--------------------------------------------------------------------------------
ChangeLog:
* Mon Mar 24 2014 Pavel Šimerda <psimerda at redhat.com> - 5.1.2-4
- #1069928 - updated libexec patch.
* Tue Mar 18 2014 Pavel Šimerda <psimerda at redhat.com> - 5.1.2-3
- fixed el6 initscript
- fixed pki directory location
* Fri Mar 14 2014 Pavel Šimerda <psimerda at redhat.com> - 5.1.2-2
- clean up the specfile a bit
- replace the initscript patch with an individual initscript
- patch to build for epel6
* Mon Mar 3 2014 Pavel Šimerda <psimerda at redhat.com> - 5.1.2-1
- #1071353 - bump to 5.1.2
- #1071338 - strongswan is compiled without xauth-pam plugin
- remove obsolete patches
- sent all patches upstream
- added comments to all patches
- don't touch the config with sed
* Thu Feb 20 2014 Avesh Agarwal <avagarwa at redhat.com> - 5.1.1-6
- Fixed full hardening for strongswan (full relro and PIE).
The previous macros had a typo and did not work
(see bz#1067119).
- Fixed tnc package description to reflect the current state of
the package.
- Fixed pki binary and moved it to /usr/libexece/strongswan as
others binaries are there too.
* Wed Feb 19 2014 Pavel Šimerda <psimerda at redhat.com> - 5.1.1-5
- #903638 - SELinux is preventing /usr/sbin/xtables-multi from 'read' accesses on the chr_file /dev/random
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #903638 - SELinux is preventing /usr/sbin/xtables-multi from 'read' accesses on the chr_file /dev/random.
https://bugzilla.redhat.com/show_bug.cgi?id=903638
--------------------------------------------------------------------------------
================================================================================
t-prot-3.0-1.fc20 (FEDORA-2014-4321)
A filter which improves the readability of email messages and Usenet posts
--------------------------------------------------------------------------------
Update Information:
t-prot (TOFU Protection) is a filter which improves the readability of email messages and Usenet posts by hiding some of their annoying parts. The annoyances it handles include mailing list footers, signatures, TOFU, sequences of blank lines, and repeated punctuation.
--------------------------------------------------------------------------------
================================================================================
tcpreplay-4.0.4-1.fc20 (FEDORA-2014-4354)
Replay captured network traffic
--------------------------------------------------------------------------------
Update Information:
Fixes include:
- Number of packets inaccurate when using --netmap method (#76)
- Unexpected packet counts with --loop and --cachefile enabled (#75)
- Improved error messages when interface is a file (#74)
- Missing interfaces with --listnics option (#67)
- Compile issue with netmap v10 and debugging (#66)
- Bad values with --stats and -t options (#65)
--------------------------------------------------------------------------------
ChangeLog:
* Tue Mar 25 2014 Bojan Smojver <bojan at rexursive com> - 4.0.4-1
- bump up to 4.0.4
--------------------------------------------------------------------------------
================================================================================
why-2.34-2.fc20 (FEDORA-2014-4336)
Software verification platform
--------------------------------------------------------------------------------
Update Information:
Changes in ocaml-zarith:
- Enable debuginfo
- Fix bytecode build
- Build and install ocamldoc documentation
- Fixes to the -devel subpackage
Changes in flocq 2.2.2:
- https://gforge.inria.fr/frs/shownotes.php?release_id=8454
Changes in ocamlgraph 1.8.4 + dev:
- http://ocamlgraph.lri.fr/download/CHANGES
gappalib-coq was merely rebuilt due to changed dependencies.
Changes in alt-ergo 0.95.2:
- Alt-Ergo is now maintained and distributed by OCamlPro, while academic research is conducted in partnership with the VALS/Toccata team (LRI).
- source code is reorganized into sub-directories
- quantifiers instantiation heuristics are simplified
- bug-fixes in matching, nums, records, sums
- improvement of the GUI when opening big files.
Changes in why3:
- Version 0.82: http://lists.gforge.inria.fr/pipermail/why3-club/2013-December/000866.html
- Version 0.83: http://lists.gforge.inria.fr/pipermail/why3-club/2014-March/001007.html
Changes in Frama-C Neon:
- http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2014-March/004362.html
Changes in why 2.34:
- http://why.lri.fr/download/CHANGES
--------------------------------------------------------------------------------
ChangeLog:
* Mon Mar 24 2014 Jerry James <loganjerry at gmail.com> - 2.34-2
- Remove dropped patches
- Add icons
- Fix the desktop icon entries
* Tue Mar 18 2014 Jerry James <loganjerry at gmail.com> - 2.34-1
- New upstream release
- Drop upstreamed -hashtbl, -flocq, and -or patches
- Add ocaml-findlib BR
* Wed Feb 26 2014 Jerry James <loganjerry at gmail.com> - 2.33-6
- Rebuild for ocamlgraph 1.8.4
- Update desktop files
- Add AppData files for gwhy and jessie
* Tue Sep 17 2013 Jerry James <loganjerry at gmail.com> - 2.33-5
- Rebuild for OCaml 4.01.0
- Enable debuginfo
- Add -or patch to fix warnings, since warnings are errors
--------------------------------------------------------------------------------
================================================================================
why3-0.83-3.fc20 (FEDORA-2014-4336)
Software verification platform
--------------------------------------------------------------------------------
Update Information:
Changes in ocaml-zarith:
- Enable debuginfo
- Fix bytecode build
- Build and install ocamldoc documentation
- Fixes to the -devel subpackage
Changes in flocq 2.2.2:
- https://gforge.inria.fr/frs/shownotes.php?release_id=8454
Changes in ocamlgraph 1.8.4 + dev:
- http://ocamlgraph.lri.fr/download/CHANGES
gappalib-coq was merely rebuilt due to changed dependencies.
Changes in alt-ergo 0.95.2:
- Alt-Ergo is now maintained and distributed by OCamlPro, while academic research is conducted in partnership with the VALS/Toccata team (LRI).
- source code is reorganized into sub-directories
- quantifiers instantiation heuristics are simplified
- bug-fixes in matching, nums, records, sums
- improvement of the GUI when opening big files.
Changes in why3:
- Version 0.82: http://lists.gforge.inria.fr/pipermail/why3-club/2013-December/000866.html
- Version 0.83: http://lists.gforge.inria.fr/pipermail/why3-club/2014-March/001007.html
Changes in Frama-C Neon:
- http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2014-March/004362.html
Changes in why 2.34:
- http://why.lri.fr/download/CHANGES
--------------------------------------------------------------------------------
ChangeLog:
* Mon Mar 24 2014 Jerry James <loganjerry at gmail.com> - 0.83-3
- Apply upstream fix for building with ocaml-zarith
- Fix file encodings
- Fix permission bits
* Tue Mar 18 2014 Jerry James <loganjerry at gmail.com> - 0.83-2
- Back out the post-release fix to the Coq printer, which breaks Frama-C
* Fri Mar 14 2014 Jerry James <loganjerry at gmail.com> - 0.83-1
- New upstream release
- Use cvc4 instead of cvc3
* Wed Feb 26 2014 Jerry James <loganjerry at gmail.com> - 0.82-2
- Rebuild for ocamlgraph 1.8.4
- BR ocaml-findlib instead of ocaml-findlib-devel
* Fri Dec 13 2013 Jerry James <loganjerry at gmail.com> - 0.82-1
- New upstream release
- Drop upstreamed patches
- Add -examples subpackage
- Install LaTeX style
- Turn off frama-c support at upstream's request
* Mon Sep 30 2013 Jerry James <loganjerry at gmail.com> - 0.81-6
- Apply upstream fix for change in the alt-ergo timelimit option
* Tue Sep 17 2013 Jerry James <loganjerry at gmail.com> - 0.81-5
- Rebuild for OCaml 4.01.0
- Enable debuginfo for the ocaml sources
--------------------------------------------------------------------------------
================================================================================
worker-3.3.3-1.fc20 (FEDORA-2014-4357)
File Manager for the X11
--------------------------------------------------------------------------------
Update Information:
Updated to latest upstream version
--------------------------------------------------------------------------------
ChangeLog:
* Mon Mar 24 2014 Nathan Owe <ndowens at fedoraproject.org>
- Updated to latest upstream version
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #853020 - worker-3.3.3 is available
https://bugzilla.redhat.com/show_bug.cgi?id=853020
--------------------------------------------------------------------------------
================================================================================
xflr5-6.10.02-1.fc20 (FEDORA-2014-4355)
Analysis tool for airfoils, wings and planes
--------------------------------------------------------------------------------
Update Information:
Update to 6.10.02, see http://sourceforge.net/projects/xflr5/files/v6.10.02/ReleaseNotes.txt for details.
--------------------------------------------------------------------------------
ChangeLog:
* Mon Mar 24 2014 Sandro Mani <manisandro at gmail.com> - 6.10.02-1
- Update to 6.10.02
--------------------------------------------------------------------------------
More information about the test
mailing list