The following Fedora 25 Security updates need testing: Age URL 141 https://bodhi.fedoraproject.org/updates/FEDORA-2016-9b3ed5f170 chicken-4.11.0-3.fc25 24 https://bodhi.fedoraproject.org/updates/FEDORA-2016-c614315d29 squid-4.0.17-1.fc25 18 https://bodhi.fedoraproject.org/updates/FEDORA-2016-d79ba708cb exim-4.87.1-1.fc25 13 https://bodhi.fedoraproject.org/updates/FEDORA-2016-87dc28b1a0 w3m-0.5.3-27.git20161120.fc25 7 https://bodhi.fedoraproject.org/updates/FEDORA-2017-6a2709f065 SimGear-2016.3.1-3.fc25 4 https://bodhi.fedoraproject.org/updates/FEDORA-2017-3d7734a8b2 icoutils-0.31.1-1.fc25 4 https://bodhi.fedoraproject.org/updates/FEDORA-2017-21edf966b0 mingw-libgsf-1.14.41-1.fc25 3 https://bodhi.fedoraproject.org/updates/FEDORA-2017-77ab791c90 ark-16.08.3-2.fc25 1 https://bodhi.fedoraproject.org/updates/FEDORA-2017-fcd02e2c2d docker-latest-1.12.6-2.git51ef5a8.fc25 1 https://bodhi.fedoraproject.org/updates/FEDORA-2017-0200646669 runc-1.0.0-3.rc2.gitc91b5be.fc25 0 https://bodhi.fedoraproject.org/updates/FEDORA-2017-c756d37779 ikiwiki-3.20170111-1.fc25 0 https://bodhi.fedoraproject.org/updates/FEDORA-2017-e02ec160d8 wordpress-4.7.1-1.fc25 0 https://bodhi.fedoraproject.org/updates/FEDORA-2017-fff6e1af37 fedmsg-0.18.2-1.fc25
The following Fedora 25 Critical Path updates have yet to be approved: Age URL 48 https://bodhi.fedoraproject.org/updates/FEDORA-2016-940ecb5c59 wpa_supplicant-2.6-1.fc25 35 https://bodhi.fedoraproject.org/updates/FEDORA-2016-9c25320b71 pungi-4.1.11-3.fc25 4 https://bodhi.fedoraproject.org/updates/FEDORA-2017-a42cba00c1 python-lxml-3.7.2-1.fc25 3 https://bodhi.fedoraproject.org/updates/FEDORA-2017-70547b9af8 python-productmd-1.4-1.fc25 1 https://bodhi.fedoraproject.org/updates/FEDORA-2017-1e88986ac9 llvm-3.8.1-2.fc25 0 https://bodhi.fedoraproject.org/updates/FEDORA-2017-963ae4c9ca audit-2.7.1-1.fc25 0 https://bodhi.fedoraproject.org/updates/FEDORA-2017-8f5f72739e kernel-4.9.3-200.fc25 0 https://bodhi.fedoraproject.org/updates/FEDORA-2017-8de07e8699 iproute-4.6.0-6.fc25 0 https://bodhi.fedoraproject.org/updates/FEDORA-2017-dcb7e7cd0f vim-8.0.176-1.fc25 0 https://bodhi.fedoraproject.org/updates/FEDORA-2017-78dbca9c0a python-2.7.13-1.fc25 python-docs-2.7.13-1.fc25 0 https://bodhi.fedoraproject.org/updates/FEDORA-2017-17090fb0ed libinput-1.5.901-1.fc25
The following builds have been pushed to Fedora 25 updates-testing
airtsp-1.01.3-1.fc25 audit-2.7.1-1.fc25 coq-8.6-1.fc25 docker-1.12.6-4.gitf499e8b.fc25 doxygen-1.8.13-1.fc25 etcd-3.0.15-2.fc25 fedfind-3.2.5-1.fc25 fedmsg-0.18.2-1.fc25 flocq-2.5.2-4.fc25 frama-c-1.13-7.fc25 gappalib-coq-1.3.2-2.fc25 golang-github-davecgh-go-spew-0-0.10.git3e6e67c.fc25 golang-github-hashicorp-hcl-0-0.10.gitef8133d.fc25 golang-github-magiconair-properties-1.5.3-5.fc25 golang-github-mitchellh-mapstructure-0-0.13.gitca63d7c.fc25 golang-github-spf13-pflag-0-0.16.gitc7e63cf.fc25 golang-googlecode-go-crypto-0-0.13.git81372b2.fc25 golang-googlecode-text-0-0.16.git04b8648.fc25 gscan2pdf-1.7.1-1.fc25 hplip-3.16.11-5.fc25 ibus-typing-booster-1.5.17-1.fc25 iproute-4.6.0-6.fc25 kernel-4.9.3-200.fc25 libinput-1.5.901-1.fc25 manuale-1.1.0-1.fc25 perl-Git-CPAN-Patch-2.3.1-1.fc25 php-zendframework-zend-expressive-zendviewrenderer-1.2.1-1.fc25 python-2.7.13-1.fc25 python-docs-2.7.13-1.fc25 qt5-qtcharts-5.7.1-1.fc25 rsyslog-8.24.0-1.fc25 rubygem-sequel-4.42.1-2.fc25 uwsgi-2.0.14-6.fc25 vdr-epg-daemon-1.1.75-1.fc25 vim-8.0.176-1.fc25 why-2.36-1.fc25 why3-0.87.3-1.fc25 zenon-0.8.2-5.fc25
Details about builds:
================================================================================ airtsp-1.01.3-1.fc25 (FEDORA-2017-fe52b0d6bb) C++ Simulated Airline Travel Solution Provider Library -------------------------------------------------------------------------------- Update Information:
Fixes FTBS, also affecting build on F25: BZ #1307310 -------------------------------------------------------------------------------- References:
[ 1 ] Bug #1307310 - airtsp: FTBFS in rawhide https://bugzilla.redhat.com/show_bug.cgi?id=1307310 --------------------------------------------------------------------------------
================================================================================ audit-2.7.1-1.fc25 (FEDORA-2017-963ae4c9ca) User space tools for 2.6 kernel auditing -------------------------------------------------------------------------------- Update Information:
This is a bugfix update that should be mostly unnoticeable to end users. It does fix SIGHUP and SIGTERM handling with audispd and its children and introduce a new --reset-lost command for auditctl. This new command requires kernel support to work. --------------------------------------------------------------------------------
================================================================================ coq-8.6-1.fc25 (FEDORA-2017-033c8000df) Proof management system -------------------------------------------------------------------------------- Update Information:
Changes in coq 8.6: - See https://coq.inria.fr/distrib/V8.6/CHANGES Changes in why3 0.87.3: - fixed OCaml extraction with respect to ghost parameters - assorted bug fixes - support for Alt-Ergo 1.30 (released Nov 21, 2016) - support for Coq 8.6 (released Dec 8, 2016) - support for Gappa 1.3 (released Jul 20, 2016) - discarded support for Isabelle 2015 - support for Isabelle 2016-1 (released Dec 2016) - support for Z3 4.5.0 (released Nov 8, 2016) Changes in why 2.36: - [Frama-C plugin] Compatible with release Magnesium of Frama-C - compatibility with Why3 0.86.1 and above - new options to directly give the Why3 command to execute on the generated intermediate Why3 code: - [Krakatoa] option -why3 - [Jessie] option -why3cmd - [Frama-C plugin] option -jessie-why3 - [Frama-C plugin] options -jessie-timelimit, -jessie-atp discarded All other packages are rebuilds due to the new version of coq. -------------------------------------------------------------------------------- References:
[ 1 ] Bug #1330098 - FTBFS: segmentation fault during build https://bugzilla.redhat.com/show_bug.cgi?id=1330098 --------------------------------------------------------------------------------
================================================================================ docker-1.12.6-4.gitf499e8b.fc25 (FEDORA-2017-4909cf95eb) Automates deployment of containerized applications -------------------------------------------------------------------------------- Update Information:
Fix BZ#1387831 - Cannot start existing containers after upgrade from docker-1.10.3 -------------------------------------------------------------------------------- References:
[ 1 ] Bug #1387831 - Cannot start existing containers https://bugzilla.redhat.com/show_bug.cgi?id=1387831 --------------------------------------------------------------------------------
================================================================================ doxygen-1.8.13-1.fc25 (FEDORA-2017-f6ee685db0) A documentation system for C/C++ -------------------------------------------------------------------------------- Update Information:
update to 1.8.13. For more info please take a look at the changelog http://www.stack.nl/~dimitri/doxygen/manual/changelog.html -------------------------------------------------------------------------------- References:
[ 1 ] Bug #1394456 - doxygen-1.8.12-1.fc25.x86_64 doesn't contain doxygen HTML documentation https://bugzilla.redhat.com/show_bug.cgi?id=1394456 --------------------------------------------------------------------------------
================================================================================ etcd-3.0.15-2.fc25 (FEDORA-2017-3c9fcdb866) A highly-available key value store for shared configuration -------------------------------------------------------------------------------- Update Information:
Remove ppc64le architecture restriction -------------------------------------------------------------------------------- References:
[ 1 ] Bug #1396463 - Fedora - etcd fails to start on ppc64le platform https://bugzilla.redhat.com/show_bug.cgi?id=1396463 --------------------------------------------------------------------------------
================================================================================ fedfind-3.2.5-1.fc25 (FEDORA-2017-73ea7115df) Fedora Finder finds Fedora -------------------------------------------------------------------------------- Update Information:
This update provides a new version of fedfind with support for the new stable nightly Docker composes (they contain only Docker base images for a couple of arches). --------------------------------------------------------------------------------
================================================================================ fedmsg-0.18.2-1.fc25 (FEDORA-2017-fff6e1af37) Tools for Fedora Infrastructure real-time messaging -------------------------------------------------------------------------------- Update Information:
Fix validation logic in the base consumer The base consumer is intended to only derive its validation switch from the on-disk configuration if the child class doesn't override the validate_signatures switch. There was a bug here where the default value provided in the base class made it appear as if *all* child consumers had turned *off* validation, which is incorrect. This fix turns on signature validation by default while preserving the ability of child consumers to override the on-disk configuration in special cases. - Fixes: CVE-2017-1000001 - Reviewed-by: Patrick Uiterwijk --------------------------------------------------------------------------------
================================================================================ flocq-2.5.2-4.fc25 (FEDORA-2017-033c8000df) Formalization of floating point numbers for Coq -------------------------------------------------------------------------------- Update Information:
Changes in coq 8.6: - See https://coq.inria.fr/distrib/V8.6/CHANGES Changes in why3 0.87.3: - fixed OCaml extraction with respect to ghost parameters - assorted bug fixes - support for Alt-Ergo 1.30 (released Nov 21, 2016) - support for Coq 8.6 (released Dec 8, 2016) - support for Gappa 1.3 (released Jul 20, 2016) - discarded support for Isabelle 2015 - support for Isabelle 2016-1 (released Dec 2016) - support for Z3 4.5.0 (released Nov 8, 2016) Changes in why 2.36: - [Frama-C plugin] Compatible with release Magnesium of Frama-C - compatibility with Why3 0.86.1 and above - new options to directly give the Why3 command to execute on the generated intermediate Why3 code: - [Krakatoa] option -why3 - [Jessie] option -why3cmd - [Frama-C plugin] option -jessie-why3 - [Frama-C plugin] options -jessie-timelimit, -jessie-atp discarded All other packages are rebuilds due to the new version of coq. -------------------------------------------------------------------------------- References:
[ 1 ] Bug #1330098 - FTBFS: segmentation fault during build https://bugzilla.redhat.com/show_bug.cgi?id=1330098 --------------------------------------------------------------------------------
================================================================================ frama-c-1.13-7.fc25 (FEDORA-2017-033c8000df) Framework for source code analysis of C software -------------------------------------------------------------------------------- Update Information:
Changes in coq 8.6: - See https://coq.inria.fr/distrib/V8.6/CHANGES Changes in why3 0.87.3: - fixed OCaml extraction with respect to ghost parameters - assorted bug fixes - support for Alt-Ergo 1.30 (released Nov 21, 2016) - support for Coq 8.6 (released Dec 8, 2016) - support for Gappa 1.3 (released Jul 20, 2016) - discarded support for Isabelle 2015 - support for Isabelle 2016-1 (released Dec 2016) - support for Z3 4.5.0 (released Nov 8, 2016) Changes in why 2.36: - [Frama-C plugin] Compatible with release Magnesium of Frama-C - compatibility with Why3 0.86.1 and above - new options to directly give the Why3 command to execute on the generated intermediate Why3 code: - [Krakatoa] option -why3 - [Jessie] option -why3cmd - [Frama-C plugin] option -jessie-why3 - [Frama-C plugin] options -jessie-timelimit, -jessie-atp discarded All other packages are rebuilds due to the new version of coq. -------------------------------------------------------------------------------- References:
[ 1 ] Bug #1330098 - FTBFS: segmentation fault during build https://bugzilla.redhat.com/show_bug.cgi?id=1330098 --------------------------------------------------------------------------------
================================================================================ gappalib-coq-1.3.2-2.fc25 (FEDORA-2017-033c8000df) Coq support library for gappa -------------------------------------------------------------------------------- Update Information:
Changes in coq 8.6: - See https://coq.inria.fr/distrib/V8.6/CHANGES Changes in why3 0.87.3: - fixed OCaml extraction with respect to ghost parameters - assorted bug fixes - support for Alt-Ergo 1.30 (released Nov 21, 2016) - support for Coq 8.6 (released Dec 8, 2016) - support for Gappa 1.3 (released Jul 20, 2016) - discarded support for Isabelle 2015 - support for Isabelle 2016-1 (released Dec 2016) - support for Z3 4.5.0 (released Nov 8, 2016) Changes in why 2.36: - [Frama-C plugin] Compatible with release Magnesium of Frama-C - compatibility with Why3 0.86.1 and above - new options to directly give the Why3 command to execute on the generated intermediate Why3 code: - [Krakatoa] option -why3 - [Jessie] option -why3cmd - [Frama-C plugin] option -jessie-why3 - [Frama-C plugin] options -jessie-timelimit, -jessie-atp discarded All other packages are rebuilds due to the new version of coq. -------------------------------------------------------------------------------- References:
[ 1 ] Bug #1330098 - FTBFS: segmentation fault during build https://bugzilla.redhat.com/show_bug.cgi?id=1330098 --------------------------------------------------------------------------------
================================================================================ golang-github-davecgh-go-spew-0-0.10.git3e6e67c.fc25 (FEDORA-2017-0b7e66f489) Deep pretty printer for Go data structures to aid in debug -------------------------------------------------------------------------------- Update Information:
Polish the spec file -------------------------------------------------------------------------------- References:
[ 1 ] Bug #1248791 - Tracker for golang-github-davecgh-go-spew https://bugzilla.redhat.com/show_bug.cgi?id=1248791 --------------------------------------------------------------------------------
================================================================================ golang-github-hashicorp-hcl-0-0.10.gitef8133d.fc25 (FEDORA-2017-db8f124068) HCL is a configuration language -------------------------------------------------------------------------------- Update Information:
Bump to upstream ef8133da8cda503718a74741312bf50821e6de79 -------------------------------------------------------------------------------- References:
[ 1 ] Bug #1250468 - Tracker for golang-github-hashicorp-hcl https://bugzilla.redhat.com/show_bug.cgi?id=1250468 --------------------------------------------------------------------------------
================================================================================ golang-github-magiconair-properties-1.5.3-5.fc25 (FEDORA-2017-5099b1034d) Java properties scanner for Go -------------------------------------------------------------------------------- Update Information:
Polish the spec file -------------------------------------------------------------------------------- References:
[ 1 ] Bug #1413067 - Tracker for golang-github-magiconair-properties https://bugzilla.redhat.com/show_bug.cgi?id=1413067 --------------------------------------------------------------------------------
================================================================================ golang-github-mitchellh-mapstructure-0-0.13.gitca63d7c.fc25 (FEDORA-2017-b063d481dc) Go library for decoding generic map values into native Go structures -------------------------------------------------------------------------------- Update Information:
Bump to upstream ca63d7c062ee3c9f34db231e352b60012b4fd0c1 -------------------------------------------------------------------------------- References:
[ 1 ] Bug #1243892 - Tracker for golang-github-mitchellh-mapstructure https://bugzilla.redhat.com/show_bug.cgi?id=1243892 --------------------------------------------------------------------------------
================================================================================ golang-github-spf13-pflag-0-0.16.gitc7e63cf.fc25 (FEDORA-2017-1aa22096ed) Replacement for Go's flag package -------------------------------------------------------------------------------- Update Information:
Bump to upstream c7e63cf4530bcd3ba943729cee0efeff2ebea63f -------------------------------------------------------------------------------- References:
[ 1 ] Bug #1214731 - Tracker for golang-github-spf13-pflag https://bugzilla.redhat.com/show_bug.cgi?id=1214731 --------------------------------------------------------------------------------
================================================================================ golang-googlecode-go-crypto-0-0.13.git81372b2.fc25 (FEDORA-2017-8aaebdd704) Supplementary Go cryptography libraries -------------------------------------------------------------------------------- Update Information:
Bump to upstream 81372b2fc2f10bef2a7f338da115c315a56b2726 ---- Polish the spec file -------------------------------------------------------------------------------- References:
[ 1 ] Bug #1231618 - Tracker for golang-googlecode-go-crypto https://bugzilla.redhat.com/show_bug.cgi?id=1231618 --------------------------------------------------------------------------------
================================================================================ golang-googlecode-text-0-0.16.git04b8648.fc25 (FEDORA-2017-2119744716) Supplementary Go text libraries -------------------------------------------------------------------------------- Update Information:
Bump to upstream 04b8648d973c126ae60143b3e1473bc1576c7597 ---- Polish the spec file -------------------------------------------------------------------------------- References:
[ 1 ] Bug #1254601 - Tracker for golang-googlecode-text https://bugzilla.redhat.com/show_bug.cgi?id=1254601 --------------------------------------------------------------------------------
================================================================================ gscan2pdf-1.7.1-1.fc25 (FEDORA-2017-67cee62e4a) GUI for producing a multipage PDF from a scan -------------------------------------------------------------------------------- Update Information:
This release fixes document metadata date handling, prepending and appending a PDF in combination with time stamps, saving TIFF with compression, preference setting, and attaching a PDF to an e-mail. It also implements a post-save hook, preference to force all pages when chosing ADF input, and --import command-line option. -------------------------------------------------------------------------------- References:
[ 1 ] Bug #1410274 - gscan2pdf-1.7.1 is available https://bugzilla.redhat.com/show_bug.cgi?id=1410274 --------------------------------------------------------------------------------
================================================================================ hplip-3.16.11-5.fc25 (FEDORA-2017-46beb8b1f5) HP Linux Imaging and Printing Project -------------------------------------------------------------------------------- Update Information:
Reverting previous commit --------------------------------------------------------------------------------
================================================================================ ibus-typing-booster-1.5.17-1.fc25 (FEDORA-2017-366cad9537) A completion input method -------------------------------------------------------------------------------- Update Information:
update to 1.5.17 -------------------------------------------------------------------------------- References:
[ 1 ] Bug #1413082 - When emoji mode is off *and* the option ���Enable suggestions by Tab key��� is off *and* one types very fast, ibus-typing-booster sometimes crashes https://bugzilla.redhat.com/show_bug.cgi?id=1413082 --------------------------------------------------------------------------------
================================================================================ iproute-4.6.0-6.fc25 (FEDORA-2017-8de07e8699) Advanced IP routing and network device configuration tools -------------------------------------------------------------------------------- Update Information:
Fix segfault in xt action -------------------------------------------------------------------------------- References:
[ 1 ] Bug #1411127 - Segfault /usr/sbin/tc https://bugzilla.redhat.com/show_bug.cgi?id=1411127 --------------------------------------------------------------------------------
================================================================================ kernel-4.9.3-200.fc25 (FEDORA-2017-8f5f72739e) The Linux kernel -------------------------------------------------------------------------------- Update Information:
The 4.9.3 update contains a number of important fixes across the tree ---- This is a rebase of the 4.9.2 kernel. The 4.9.2 update contains a number of important fixes across the tree --------------------------------------------------------------------------------
================================================================================ libinput-1.5.901-1.fc25 (FEDORA-2017-17090fb0ed) Input device library -------------------------------------------------------------------------------- Update Information:
libinput 1.6rc1, with the new touchpad accel code --------------------------------------------------------------------------------
================================================================================ manuale-1.1.0-1.fc25 (FEDORA-2017-1a724dd29c) A fully manual Let's Encrypt/ACME client -------------------------------------------------------------------------------- Update Information:
Update to 1.1.0 --------------------------------------------------------------------------------
================================================================================ perl-Git-CPAN-Patch-2.3.1-1.fc25 (FEDORA-2017-a43f894e73) Patch CPAN modules using Git -------------------------------------------------------------------------------- Update Information:
Updated to the latest version -------------------------------------------------------------------------------- References:
[ 1 ] Bug #1413015 - perl-Git-CPAN-Patch-2.3.1 is available https://bugzilla.redhat.com/show_bug.cgi?id=1413015 --------------------------------------------------------------------------------
================================================================================ php-zendframework-zend-expressive-zendviewrenderer-1.2.1-1.fc25 (FEDORA-2017-c0b65a42ff) zend-view PhpRenderer integration for Expressive -------------------------------------------------------------------------------- Update Information:
**Version 1.2.1** - 2017-01-12 - [#33](https://github.com/zendframework/zend- expressive-zendviewrenderer/pull/33) fixes the signature of the `UrlHelper` to make the default value of `$fragmentIdentifer` a `null` instead of `''`; this fixes an issue whereby missing fragments led to exceptions thrown by zend- expressive-helpers. ---- **Version 1.2.0** - 2017-01-11 - [#30](https://github.com/zendframework/zend-expressive-zendviewrenderer/pull/30) adds support for zend-expressive-router 2.0. - [#30](https://github.com/zendframework/zend-expressive-zendviewrenderer/pull/30) adds support for zend-expressive-helpers 2.2 and 3.0. - [#30](https://github.com/zendframework/zend-expressive-zendviewrenderer/pull/30) adds new arguments to the `url()` helper. If using zend-expressive-router versions prior to 2.0 and/or zend-expressive-helpers versions prior to 3.0, arguments after `$routeParams` will be ignored. - [#26](https://github.com/zendframework/zend-expressive-zendviewrenderer/pull/26) updated the zend-view dependency to 2.8.1+. - [#26](https://github.com/zendframework/zend-expressive-zendviewrenderer/pull/26) removes the dependencies for the zend-i18n and zend-filter packages, as they are no longer required by the minimum version of zend-view supported. If you depended on features of these, you may need to re-add them to your application. - This release removes support for PHP 5.5. --------------------------------------------------------------------------------
================================================================================ python-2.7.13-1.fc25 (FEDORA-2017-78dbca9c0a) An interpreted, interactive, object-oriented programming language -------------------------------------------------------------------------------- Update Information:
Update to 2.7.13 I would like to have the update at least 7 days in updates- testing so it can be tested thoroughly. --------------------------------------------------------------------------------
================================================================================ python-docs-2.7.13-1.fc25 (FEDORA-2017-78dbca9c0a) Documentation for the Python programming language -------------------------------------------------------------------------------- Update Information:
Update to 2.7.13 I would like to have the update at least 7 days in updates- testing so it can be tested thoroughly. --------------------------------------------------------------------------------
================================================================================ qt5-qtcharts-5.7.1-1.fc25 (FEDORA-2017-ed3192faf4) Qt5 - Charts component -------------------------------------------------------------------------------- Update Information:
Missing update --------------------------------------------------------------------------------
================================================================================ rsyslog-8.24.0-1.fc25 (FEDORA-2017-f1200343ac) Enhanced system logging and kernel message trapping daemon -------------------------------------------------------------------------------- Update Information:
rsyslog rebase to 8.24 -------------------------------------------------------------------------------- References:
[ 1 ] Bug #1269244 - let rsyslog & syslog-ng play nice together: sync /etc/logrotate.d/syslog https://bugzilla.redhat.com/show_bug.cgi?id=1269244 [ 2 ] Bug #1343132 - Dangling symlink /etc/systemd/system/syslog.service https://bugzilla.redhat.com/show_bug.cgi?id=1343132 [ 3 ] Bug #1286707 - recover_qi.pl script is undocumented https://bugzilla.redhat.com/show_bug.cgi?id=1286707 [ 4 ] Bug #1412853 - rsyslog-8.24.0 is available https://bugzilla.redhat.com/show_bug.cgi?id=1412853 --------------------------------------------------------------------------------
================================================================================ rubygem-sequel-4.42.1-2.fc25 (FEDORA-2017-00ae606e42) The Database Toolkit for Ruby -------------------------------------------------------------------------------- Update Information:
Update to add bug fixes to 4.42.0 -------------------------------------------------------------------------------- References:
[ 1 ] Bug #1412861 - rubygem-sequel-4.42.1 is available https://bugzilla.redhat.com/show_bug.cgi?id=1412861 --------------------------------------------------------------------------------
================================================================================ uwsgi-2.0.14-6.fc25 (FEDORA-2017-7c8abcd2a6) Fast, self-healing, application container server -------------------------------------------------------------------------------- Update Information:
Adding the cheaper_busyness plugin (Jorge Gallegos) --------------------------------------------------------------------------------
================================================================================ vdr-epg-daemon-1.1.75-1.fc25 (FEDORA-2017-e499bec283) A daemon to download EPG data from internet and manage it in a mysql database -------------------------------------------------------------------------------- Update Information:
Update to 1.1.75 --------------------------------------------------------------------------------
================================================================================ vim-8.0.176-1.fc25 (FEDORA-2017-dcb7e7cd0f) The VIM editor -------------------------------------------------------------------------------- Update Information:
New upstream commit - solving #1412954 -------------------------------------------------------------------------------- References:
[ 1 ] Bug #1412954 - regression: editing in command window broken https://bugzilla.redhat.com/show_bug.cgi?id=1412954 --------------------------------------------------------------------------------
================================================================================ why-2.36-1.fc25 (FEDORA-2017-033c8000df) Software verification platform -------------------------------------------------------------------------------- Update Information:
Changes in coq 8.6: - See https://coq.inria.fr/distrib/V8.6/CHANGES Changes in why3 0.87.3: - fixed OCaml extraction with respect to ghost parameters - assorted bug fixes - support for Alt-Ergo 1.30 (released Nov 21, 2016) - support for Coq 8.6 (released Dec 8, 2016) - support for Gappa 1.3 (released Jul 20, 2016) - discarded support for Isabelle 2015 - support for Isabelle 2016-1 (released Dec 2016) - support for Z3 4.5.0 (released Nov 8, 2016) Changes in why 2.36: - [Frama-C plugin] Compatible with release Magnesium of Frama-C - compatibility with Why3 0.86.1 and above - new options to directly give the Why3 command to execute on the generated intermediate Why3 code: - [Krakatoa] option -why3 - [Jessie] option -why3cmd - [Frama-C plugin] option -jessie-why3 - [Frama-C plugin] options -jessie-timelimit, -jessie-atp discarded All other packages are rebuilds due to the new version of coq. -------------------------------------------------------------------------------- References:
[ 1 ] Bug #1330098 - FTBFS: segmentation fault during build https://bugzilla.redhat.com/show_bug.cgi?id=1330098 --------------------------------------------------------------------------------
================================================================================ why3-0.87.3-1.fc25 (FEDORA-2017-033c8000df) Software verification platform -------------------------------------------------------------------------------- Update Information:
Changes in coq 8.6: - See https://coq.inria.fr/distrib/V8.6/CHANGES Changes in why3 0.87.3: - fixed OCaml extraction with respect to ghost parameters - assorted bug fixes - support for Alt-Ergo 1.30 (released Nov 21, 2016) - support for Coq 8.6 (released Dec 8, 2016) - support for Gappa 1.3 (released Jul 20, 2016) - discarded support for Isabelle 2015 - support for Isabelle 2016-1 (released Dec 2016) - support for Z3 4.5.0 (released Nov 8, 2016) Changes in why 2.36: - [Frama-C plugin] Compatible with release Magnesium of Frama-C - compatibility with Why3 0.86.1 and above - new options to directly give the Why3 command to execute on the generated intermediate Why3 code: - [Krakatoa] option -why3 - [Jessie] option -why3cmd - [Frama-C plugin] option -jessie-why3 - [Frama-C plugin] options -jessie-timelimit, -jessie-atp discarded All other packages are rebuilds due to the new version of coq. -------------------------------------------------------------------------------- References:
[ 1 ] Bug #1330098 - FTBFS: segmentation fault during build https://bugzilla.redhat.com/show_bug.cgi?id=1330098 --------------------------------------------------------------------------------
================================================================================ zenon-0.8.2-5.fc25 (FEDORA-2017-033c8000df) Automated theorem prover for first-order classical logic -------------------------------------------------------------------------------- Update Information:
Changes in coq 8.6: - See https://coq.inria.fr/distrib/V8.6/CHANGES Changes in why3 0.87.3: - fixed OCaml extraction with respect to ghost parameters - assorted bug fixes - support for Alt-Ergo 1.30 (released Nov 21, 2016) - support for Coq 8.6 (released Dec 8, 2016) - support for Gappa 1.3 (released Jul 20, 2016) - discarded support for Isabelle 2015 - support for Isabelle 2016-1 (released Dec 2016) - support for Z3 4.5.0 (released Nov 8, 2016) Changes in why 2.36: - [Frama-C plugin] Compatible with release Magnesium of Frama-C - compatibility with Why3 0.86.1 and above - new options to directly give the Why3 command to execute on the generated intermediate Why3 code: - [Krakatoa] option -why3 - [Jessie] option -why3cmd - [Frama-C plugin] option -jessie-why3 - [Frama-C plugin] options -jessie-timelimit, -jessie-atp discarded All other packages are rebuilds due to the new version of coq. -------------------------------------------------------------------------------- References:
[ 1 ] Bug #1330098 - FTBFS: segmentation fault during build https://bugzilla.redhat.com/show_bug.cgi?id=1330098 --------------------------------------------------------------------------------