The following Fedora 26 Security updates need testing: Age URL 10 https://bodhi.fedoraproject.org/updates/FEDORA-2017-8e4c14eeec php-onelogin-php-saml-2.10.5-1.fc26 4 https://bodhi.fedoraproject.org/updates/FEDORA-2017-dfaf0ca892 webkitgtk4-2.16.0-1.fc26 3 https://bodhi.fedoraproject.org/updates/FEDORA-2017-8840ec0204 empathy-3.12.13-2.fc26 3 https://bodhi.fedoraproject.org/updates/FEDORA-2017-b68534e41f sscg-2.0.4-1.fc26 3 https://bodhi.fedoraproject.org/updates/FEDORA-2017-cbed8f4169 erlang-19.3-2.fc26 2 https://bodhi.fedoraproject.org/updates/FEDORA-2017-b5899f809e links-2.14-1.fc26 1 https://bodhi.fedoraproject.org/updates/FEDORA-2017-1be1218e7f sane-backends-1.0.25-7.fc26 1 https://bodhi.fedoraproject.org/updates/FEDORA-2017-20d54b2782 ntp-4.2.8p10-1.fc26 1 https://bodhi.fedoraproject.org/updates/FEDORA-2017-487051ac16 mupdf-1.10a-4.fc26 1 https://bodhi.fedoraproject.org/updates/FEDORA-2017-8306577cc7 tcpreplay-4.2.1-1.fc26 0 https://bodhi.fedoraproject.org/updates/FEDORA-2017-a8add6c46c texlive-2016-33.20160520.fc26 0 https://bodhi.fedoraproject.org/updates/FEDORA-2017-68bd2a916e python-sleekxmpp-1.3.2-1.fc26 The following Fedora 26 Critical Path updates have yet to be approved: Age URL 15 https://bodhi.fedoraproject.org/updates/FEDORA-2017-39782730a2 livecd-tools-24.2-1.fc26 11 https://bodhi.fedoraproject.org/updates/FEDORA-2017-06f21e4e28 mesa-demos-8.3.0-6.fc26 10 https://bodhi.fedoraproject.org/updates/FEDORA-2017-6c3edd8af5 python-wrapt-1.10.10-1.fc26 10 https://bodhi.fedoraproject.org/updates/FEDORA-2017-3c4cf51148 flatpak-0.9.1-1.fc26 10 https://bodhi.fedoraproject.org/updates/FEDORA-2017-86ffc76a09 ibus-1.5.15-4.fc26 8 https://bodhi.fedoraproject.org/updates/FEDORA-2017-8cabee1dba newt-0.52.20-1.fc26 8 https://bodhi.fedoraproject.org/updates/FEDORA-2017-c6bd96be17 kexec-tools-2.0.14-4.fc26.1 8 https://bodhi.fedoraproject.org/updates/FEDORA-2017-d0ec676fb5 perl-Pod-Perldoc-3.28-1.fc26 8 https://bodhi.fedoraproject.org/updates/FEDORA-2017-29681e3f98 keyutils-1.5.10-1.fc26 6 https://bodhi.fedoraproject.org/updates/FEDORA-2017-d0d830d7d2 iproute-4.10.0-2.fc26 4 https://bodhi.fedoraproject.org/updates/FEDORA-2017-dfaf0ca892 webkitgtk4-2.16.0-1.fc26 3 https://bodhi.fedoraproject.org/updates/FEDORA-2017-5390540eb7 pcre2-10.23-4.fc26 3 https://bodhi.fedoraproject.org/updates/FEDORA-2017-1d70efd57a python-blivet-2.1.7-8.fc26 3 https://bodhi.fedoraproject.org/updates/FEDORA-2017-0217cf92bb python-pip-9.0.1-9.fc26 3 https://bodhi.fedoraproject.org/updates/FEDORA-2017-f56311f5dd dnf-plugins-core-1.1.0-1.fc26 2 https://bodhi.fedoraproject.org/updates/FEDORA-2017-90bcb067bf fedora-release-26-0.6 2 https://bodhi.fedoraproject.org/updates/FEDORA-2017-b90d9b442e krb5-1.15.1-3.fc26 2 https://bodhi.fedoraproject.org/updates/FEDORA-2017-b44c00c230 vim-8.0.502-1.fc26 2 https://bodhi.fedoraproject.org/updates/FEDORA-2017-938554ca21 nss-3.29.3-1.1.fc26 nss-softokn-3.29.3-1.0.fc26 nss-util-3.29.3-2.2.fc26 1 https://bodhi.fedoraproject.org/updates/FEDORA-2017-85c26cdb44 xorg-x11-drv-libinput-0.25.0-1.fc26 1 https://bodhi.fedoraproject.org/updates/FEDORA-2017-4799e0a487 libinput-1.7.0-1.fc26 1 https://bodhi.fedoraproject.org/updates/FEDORA-2017-a19e0da955 NetworkManager-1.8.0-0.1.fc26 1 https://bodhi.fedoraproject.org/updates/FEDORA-2017-dbcc0c3d5e fwupd-0.8.1-2.fc26 1 https://bodhi.fedoraproject.org/updates/FEDORA-2017-94b78ece1b augeas-1.8.0-1.fc26 1 https://bodhi.fedoraproject.org/updates/FEDORA-2017-ff342c515a xorg-x11-server-1.19.3-2.fc26 1 https://bodhi.fedoraproject.org/updates/FEDORA-2017-5ca197cf30 openssh-7.5p1-2.fc26 0 https://bodhi.fedoraproject.org/updates/FEDORA-2017-83c2088f64 bluez-5.44-1.fc26 0 https://bodhi.fedoraproject.org/updates/FEDORA-2017-ca9825d5a2 gdm-3.24.0-2.fc26 0 https://bodhi.fedoraproject.org/updates/FEDORA-2017-ac20bc2d40 geoclue2-2.4.5-4.fc26 0 https://bodhi.fedoraproject.org/updates/FEDORA-2017-57b797483f cryptsetup-1.7.4-1.fc26 The following builds have been pushed to Fedora 26 updates-testing GMT-5.3.3-1.fc26 LuxRender-1.6-13.fc26 amsynth-1.7.1-1.fc26 apron-0.9.11-6.1097.svn20160801.fc26 bluez-5.44-1.fc26 cross-gcc-7.0.1-0.4.fc26 cryptsetup-1.7.4-1.fc26 embree-2.15.0-1.fc26 f26-backgrounds-26.0.1-1.fc26 flocq-2.5.2-6.fc26 frama-c-1.14-1.fc26 gappalib-coq-1.3.2-4.fc26 gdm-3.24.0-2.fc26 geoclue2-2.4.5-4.fc26 gsi-openssh-7.5p1-1.fc26 ispc-1.9.1-11.fc26 libguestfs-1.36.3-1.fc26 llvm3.9-3.9.1-6.fc26 lollypop-0.9.230-3.fc26 mate-applet-softupd-0.4.5-1.fc26 mate-menu-16.10.1-5.fc26 mintmenu-5.6.5-7.fc26 nfoview-1.22-1.fc26 nomacs-3.6.1-1.fc26 ocaml-mlgmpidl-1.2.1-0.21.20150921.fc26 perl-Devel-CheckLib-1.09-1.fc26 php-pecl-dio-0.1.0-1.fc26 php-pecl-redis-3.1.2-1.fc26 pysnmp-4.3.4-1.fc26 python-aiohttp-2.0.3-1.fc26 python-sleekxmpp-1.3.2-1.fc26 python-sphinxcontrib-programoutput-0.8-10.fc26 rcssserver3d-0.7.0-1.fc26 simspark-0.3.0-1.fc26 texlive-2016-33.20160520.fc26 why-2.38-1.fc26 why3-0.87.3-3.fc26 Details about builds: ================================================================================ GMT-5.3.3-1.fc26 (FEDORA-2017-9c84616f0d) Generic Mapping Tools -------------------------------------------------------------------------------- Update Information: Update to 5.3.3 -------------------------------------------------------------------------------- ================================================================================ LuxRender-1.6-13.fc26 (FEDORA-2017-a10331aece) Lux Renderer, an unbiased rendering system -------------------------------------------------------------------------------- Update Information: embree is updated to 2.15. ispc is rebuilt against new llvm. LuxRender is rebuilt against new embree. -------------------------------------------------------------------------------- References: [ 1 ] Bug #1423080 - LuxRender: FTBFS in rawhide https://bugzilla.redhat.com/show_bug.cgi?id=1423080 -------------------------------------------------------------------------------- ================================================================================ amsynth-1.7.1-1.fc26 (FEDORA-2017-68b4f9f42b) A classic synthesizer with dual oscillators -------------------------------------------------------------------------------- Update Information: Update to new upstream -------------------------------------------------------------------------------- ================================================================================ apron-0.9.11-6.1097.svn20160801.fc26 (FEDORA-2017-7be55a4bd6) Numerical abstract domain library -------------------------------------------------------------------------------- Update Information: Changes to ocaml-mlgmpidl: - Update to latest subversion snapshot for miscellaneous bug fixes - Fix documentation installation and make the -doc subpackage be noarch - Build a shared ocaml library (cmxs) in addition to the static (cmxa) library Changes in frama-c Silicon: - See http://blog.frama-c.com/ for information on changes in this version Changes in why 2.37: - Compatible with release Aluminium (a.k.a. 20160502) of Frama-C - compatibility with Why3 from 0.86.1 to 0.87.3 Changes in why 2.38: - Compatible with release Silicon (a.k.a. 20161101) of Frama-C All other packages are simple rebuilds due to the other changes, and due to previously undetected coq dependency issues resulting from the Fedora 26 mass rebuild. -------------------------------------------------------------------------------- References: [ 1 ] Bug #1424923 - None https://bugzilla.redhat.com/show_bug.cgi?id=1424923 [ 2 ] Bug #1001268 - None https://bugzilla.redhat.com/show_bug.cgi?id=1001268 -------------------------------------------------------------------------------- ================================================================================ bluez-5.44-1.fc26 (FEDORA-2017-83c2088f64) Bluetooth utilities -------------------------------------------------------------------------------- Update Information: Update to 5.44 -------------------------------------------------------------------------------- ================================================================================ cross-gcc-7.0.1-0.4.fc26 (FEDORA-2017-e67e4ba217) Cross C compiler -------------------------------------------------------------------------------- Update Information: This fixes the dependency on libisl for 32-bit builds. ---- Sync with gcc-7.0.1-0.12. -------------------------------------------------------------------------------- ================================================================================ cryptsetup-1.7.4-1.fc26 (FEDORA-2017-57b797483f) A utility for setting up encrypted disks -------------------------------------------------------------------------------- Update Information: Update to version 1.7.4. See [Release Notes](https://www.kernel.org/pub/linux/u tils/cryptsetup/v1.7/v1.7.4-ReleaseNotes) for more info. -------------------------------------------------------------------------------- ================================================================================ embree-2.15.0-1.fc26 (FEDORA-2017-a10331aece) Collection of high-performance ray tracing kernels developed at Intel -------------------------------------------------------------------------------- Update Information: embree is updated to 2.15. ispc is rebuilt against new llvm. LuxRender is rebuilt against new embree. -------------------------------------------------------------------------------- References: [ 1 ] Bug #1423080 - LuxRender: FTBFS in rawhide https://bugzilla.redhat.com/show_bug.cgi?id=1423080 -------------------------------------------------------------------------------- ================================================================================ f26-backgrounds-26.0.1-1.fc26 (FEDORA-2017-99b07aede4) Fedora 26 default desktop background -------------------------------------------------------------------------------- Update Information: This update addresses a wrong version for Gnome desktop -------------------------------------------------------------------------------- ================================================================================ flocq-2.5.2-6.fc26 (FEDORA-2017-7be55a4bd6) Formalization of floating point numbers for Coq -------------------------------------------------------------------------------- Update Information: Changes to ocaml-mlgmpidl: - Update to latest subversion snapshot for miscellaneous bug fixes - Fix documentation installation and make the -doc subpackage be noarch - Build a shared ocaml library (cmxs) in addition to the static (cmxa) library Changes in frama-c Silicon: - See http://blog.frama-c.com/ for information on changes in this version Changes in why 2.37: - Compatible with release Aluminium (a.k.a. 20160502) of Frama-C - compatibility with Why3 from 0.86.1 to 0.87.3 Changes in why 2.38: - Compatible with release Silicon (a.k.a. 20161101) of Frama-C All other packages are simple rebuilds due to the other changes, and due to previously undetected coq dependency issues resulting from the Fedora 26 mass rebuild. -------------------------------------------------------------------------------- References: [ 1 ] Bug #1424923 - None https://bugzilla.redhat.com/show_bug.cgi?id=1424923 [ 2 ] Bug #1001268 - None https://bugzilla.redhat.com/show_bug.cgi?id=1001268 -------------------------------------------------------------------------------- ================================================================================ frama-c-1.14-1.fc26 (FEDORA-2017-7be55a4bd6) Framework for source code analysis of C software -------------------------------------------------------------------------------- Update Information: Changes to ocaml-mlgmpidl: - Update to latest subversion snapshot for miscellaneous bug fixes - Fix documentation installation and make the -doc subpackage be noarch - Build a shared ocaml library (cmxs) in addition to the static (cmxa) library Changes in frama-c Silicon: - See http://blog.frama-c.com/ for information on changes in this version Changes in why 2.37: - Compatible with release Aluminium (a.k.a. 20160502) of Frama-C - compatibility with Why3 from 0.86.1 to 0.87.3 Changes in why 2.38: - Compatible with release Silicon (a.k.a. 20161101) of Frama-C All other packages are simple rebuilds due to the other changes, and due to previously undetected coq dependency issues resulting from the Fedora 26 mass rebuild. -------------------------------------------------------------------------------- References: [ 1 ] Bug #1424923 - None https://bugzilla.redhat.com/show_bug.cgi?id=1424923 [ 2 ] Bug #1001268 - None https://bugzilla.redhat.com/show_bug.cgi?id=1001268 -------------------------------------------------------------------------------- ================================================================================ gappalib-coq-1.3.2-4.fc26 (FEDORA-2017-7be55a4bd6) Coq support library for gappa -------------------------------------------------------------------------------- Update Information: Changes to ocaml-mlgmpidl: - Update to latest subversion snapshot for miscellaneous bug fixes - Fix documentation installation and make the -doc subpackage be noarch - Build a shared ocaml library (cmxs) in addition to the static (cmxa) library Changes in frama-c Silicon: - See http://blog.frama-c.com/ for information on changes in this version Changes in why 2.37: - Compatible with release Aluminium (a.k.a. 20160502) of Frama-C - compatibility with Why3 from 0.86.1 to 0.87.3 Changes in why 2.38: - Compatible with release Silicon (a.k.a. 20161101) of Frama-C All other packages are simple rebuilds due to the other changes, and due to previously undetected coq dependency issues resulting from the Fedora 26 mass rebuild. -------------------------------------------------------------------------------- References: [ 1 ] Bug #1424923 - None https://bugzilla.redhat.com/show_bug.cgi?id=1424923 [ 2 ] Bug #1001268 - None https://bugzilla.redhat.com/show_bug.cgi?id=1001268 -------------------------------------------------------------------------------- ================================================================================ gdm-3.24.0-2.fc26 (FEDORA-2017-ca9825d5a2) The GNOME Display Manager -------------------------------------------------------------------------------- Update Information: Fix fallback to X logic -------------------------------------------------------------------------------- References: [ 1 ] Bug #1435010 - GNOME fails to start without modesetting (Fedora 'basic graphics') mode https://bugzilla.redhat.com/show_bug.cgi?id=1435010 -------------------------------------------------------------------------------- ================================================================================ geoclue2-2.4.5-4.fc26 (FEDORA-2017-ac20bc2d40) Geolocation service -------------------------------------------------------------------------------- Update Information: This update whitelists GNOME Shell's weather integration for geolocation, which should prevent Shell from frequently prompting for location access immediately after login. This is causing problems in [openQA](https://openqa.fedoraproject.org) tests. -------------------------------------------------------------------------------- References: [ 1 ] Bug #1435820 - Whitelist gnome-shell weather integration in geoclue https://bugzilla.redhat.com/show_bug.cgi?id=1435820 -------------------------------------------------------------------------------- ================================================================================ gsi-openssh-7.5p1-1.fc26 (FEDORA-2017-a6c296e124) An implementation of the SSH protocol with GSI authentication -------------------------------------------------------------------------------- Update Information: Sync with openssl package. -------------------------------------------------------------------------------- ================================================================================ ispc-1.9.1-11.fc26 (FEDORA-2017-a10331aece) C-based SPMD programming language compiler -------------------------------------------------------------------------------- Update Information: embree is updated to 2.15. ispc is rebuilt against new llvm. LuxRender is rebuilt against new embree. -------------------------------------------------------------------------------- References: [ 1 ] Bug #1423080 - LuxRender: FTBFS in rawhide https://bugzilla.redhat.com/show_bug.cgi?id=1423080 -------------------------------------------------------------------------------- ================================================================================ libguestfs-1.36.3-1.fc26 (FEDORA-2017-e827441dc4) Access and modify virtual machine disk images -------------------------------------------------------------------------------- Update Information: New upstream version 1.36.3. This contains a workaround for a change in the 'setfiles' program which broke SELinux relabelling of guests. ---- New stable branch version 1.36.2. -------------------------------------------------------------------------------- ================================================================================ llvm3.9-3.9.1-6.fc26 (FEDORA-2017-4ebad5703b) The Low Level Virtual Machine Version 3.9 -------------------------------------------------------------------------------- Update Information: Add bug fixes needed for building Rust. -------------------------------------------------------------------------------- ================================================================================ lollypop-0.9.230-3.fc26 (FEDORA-2017-1c62ff42d1) Music player for GNOME -------------------------------------------------------------------------------- Update Information: Add RR totem-pl-parser - (bz#1435866) Add %%{name}_fix_handle_locked_DB.patch - (bz#1431320) ---- Add %%{name}_fix_handle_locked_DB.patch - (bz#1431320) -------------------------------------------------------------------------------- References: [ 1 ] Bug #1431320 - None https://bugzilla.redhat.com/show_bug.cgi?id=1431320 [ 2 ] Bug #1435866 - None https://bugzilla.redhat.com/show_bug.cgi?id=1435866 -------------------------------------------------------------------------------- ================================================================================ mate-applet-softupd-0.4.5-1.fc26 (FEDORA-2017-fca5d40a7e) MATE Software Update Applet -------------------------------------------------------------------------------- Update Information: * Replace Yumex-DNF with dnfdragora -------------------------------------------------------------------------------- References: [ 1 ] Bug #1435826 - Needs adaption to replace Yumex-DNF with dnfdragora https://bugzilla.redhat.com/show_bug.cgi?id=1435826 -------------------------------------------------------------------------------- ================================================================================ mate-menu-16.10.1-5.fc26 (FEDORA-2017-fca5d40a7e) Advanced Menu for the MATE Desktop -------------------------------------------------------------------------------- Update Information: * Replace Yumex-DNF with dnfdragora -------------------------------------------------------------------------------- References: [ 1 ] Bug #1435826 - Needs adaption to replace Yumex-DNF with dnfdragora https://bugzilla.redhat.com/show_bug.cgi?id=1435826 -------------------------------------------------------------------------------- ================================================================================ mintmenu-5.6.5-7.fc26 (FEDORA-2017-fca5d40a7e) Advanced Menu for the MATE Desktop -------------------------------------------------------------------------------- Update Information: * Replace Yumex-DNF with dnfdragora -------------------------------------------------------------------------------- References: [ 1 ] Bug #1435826 - Needs adaption to replace Yumex-DNF with dnfdragora https://bugzilla.redhat.com/show_bug.cgi?id=1435826 -------------------------------------------------------------------------------- ================================================================================ nfoview-1.22-1.fc26 (FEDORA-2017-9ac5ad62b3) A viewer for NFO files -------------------------------------------------------------------------------- Update Information: Update to new upstream version 1.22 (rhbz#1433547) -------------------------------------------------------------------------------- References: [ 1 ] Bug #1433547 - None https://bugzilla.redhat.com/show_bug.cgi?id=1433547 -------------------------------------------------------------------------------- ================================================================================ nomacs-3.6.1-1.fc26 (FEDORA-2017-678230c723) Lightweight image viewer -------------------------------------------------------------------------------- Update Information: Version bump -------------------------------------------------------------------------------- ================================================================================ ocaml-mlgmpidl-1.2.1-0.21.20150921.fc26 (FEDORA-2017-7be55a4bd6) OCaml interface to GMP and MPFR libraries -------------------------------------------------------------------------------- Update Information: Changes to ocaml-mlgmpidl: - Update to latest subversion snapshot for miscellaneous bug fixes - Fix documentation installation and make the -doc subpackage be noarch - Build a shared ocaml library (cmxs) in addition to the static (cmxa) library Changes in frama-c Silicon: - See http://blog.frama-c.com/ for information on changes in this version Changes in why 2.37: - Compatible with release Aluminium (a.k.a. 20160502) of Frama-C - compatibility with Why3 from 0.86.1 to 0.87.3 Changes in why 2.38: - Compatible with release Silicon (a.k.a. 20161101) of Frama-C All other packages are simple rebuilds due to the other changes, and due to previously undetected coq dependency issues resulting from the Fedora 26 mass rebuild. -------------------------------------------------------------------------------- References: [ 1 ] Bug #1424923 - None https://bugzilla.redhat.com/show_bug.cgi?id=1424923 [ 2 ] Bug #1001268 - None https://bugzilla.redhat.com/show_bug.cgi?id=1001268 -------------------------------------------------------------------------------- ================================================================================ perl-Devel-CheckLib-1.09-1.fc26 (FEDORA-2017-abae8d4b61) Check that a library is available -------------------------------------------------------------------------------- Update Information: Update to 1.09 (bug #1435192). -------------------------------------------------------------------------------- References: [ 1 ] Bug #1435192 - None https://bugzilla.redhat.com/show_bug.cgi?id=1435192 -------------------------------------------------------------------------------- ================================================================================ php-pecl-dio-0.1.0-1.fc26 (FEDORA-2017-8d78068d22) Direct I/O functions -------------------------------------------------------------------------------- Update Information: **Version 0.1.0** - Fixed memory leak in dio_read (Dawid Zamirski) - Fixed Bug php#74209 dio_stat - appended nulls (Remi) -------------------------------------------------------------------------------- ================================================================================ php-pecl-redis-3.1.2-1.fc26 (FEDORA-2017-22cba00fb3) Extension for communicating with the Redis key-value store -------------------------------------------------------------------------------- Update Information: **phpredis 3.1.2** * RedisArray segfault fix [564ce3] (Pavlo Yatsukhnenko) * Small memory leak fix [645888b] (Mike Grunder) * Segfault fix when recreating RedisCluster objects [abf7d4] (Michael Grunder) * Fix for RedisCluster bulk response parsing [4121c4] (Alberto Fernandez) * Re allow single array for sInterStore [6ef0c2, d01966] (Michael Grunder) * Better TravisCI integration [4fd2f6] (Pavlo Yatsukhnenko) -------------------------------------------------------------------------------- ================================================================================ pysnmp-4.3.4-1.fc26 (FEDORA-2017-73791f5f82) An SNMP engine written in Python -------------------------------------------------------------------------------- Update Information: Updated to new upstream version 4.3.4 -------------------------------------------------------------------------------- ================================================================================ python-aiohttp-2.0.3-1.fc26 (FEDORA-2017-8e8f629834) Python HTTP client/server for asyncio -------------------------------------------------------------------------------- Update Information: Update to new upstream version 2.0.3 (rhbz#1435844) ---- Update to new upstream version 2.0.2 (rhbz#1432690) -------------------------------------------------------------------------------- References: [ 1 ] Bug #1435844 - None https://bugzilla.redhat.com/show_bug.cgi?id=1435844 [ 2 ] Bug #1432690 - python-aiohttp-2.0.2 is available https://bugzilla.redhat.com/show_bug.cgi?id=1432690 -------------------------------------------------------------------------------- ================================================================================ python-sleekxmpp-1.3.2-1.fc26 (FEDORA-2017-68bd2a916e) Flexible XMPP client/component/server library for Python -------------------------------------------------------------------------------- Update Information: Update to latest upstream release 1.3.2 to fix CVE-2017-5591 (rhbz#1421077) -------------------------------------------------------------------------------- References: [ 1 ] Bug #1421077 - CVE-2017-5591 python-sleekxmpp: User impersonation vulnerability [fedora-all] https://bugzilla.redhat.com/show_bug.cgi?id=1421077 -------------------------------------------------------------------------------- ================================================================================ python-sphinxcontrib-programoutput-0.8-10.fc26 (FEDORA-2017-36b1164279) Extension to insert output of commands into documents -------------------------------------------------------------------------------- Update Information: Fix namespace imports under Python 3. -------------------------------------------------------------------------------- References: [ 1 ] Bug #1408973 - None https://bugzilla.redhat.com/show_bug.cgi?id=1408973 -------------------------------------------------------------------------------- ================================================================================ rcssserver3d-0.7.0-1.fc26 (FEDORA-2017-789e9f825e) Robocup 3D Soccer Simulation Server -------------------------------------------------------------------------------- Update Information: Latest upstream version, providing new GUI for simulation control and some new rules enforced -------------------------------------------------------------------------------- ================================================================================ simspark-0.3.0-1.fc26 (FEDORA-2017-789e9f825e) Spark physical simulation system -------------------------------------------------------------------------------- Update Information: Latest upstream version, providing new GUI for simulation control and some new rules enforced -------------------------------------------------------------------------------- ================================================================================ texlive-2016-33.20160520.fc26 (FEDORA-2017-a8add6c46c) TeX formatting system -------------------------------------------------------------------------------- Update Information: Security fix for CVE-2016-10243 -------------------------------------------------------------------------------- References: [ 1 ] Bug #1429452 - CVE-2016-10243 texlive: mpost allows to run non-whitelisted external programs https://bugzilla.redhat.com/show_bug.cgi?id=1429452 -------------------------------------------------------------------------------- ================================================================================ why-2.38-1.fc26 (FEDORA-2017-7be55a4bd6) Software verification platform -------------------------------------------------------------------------------- Update Information: Changes to ocaml-mlgmpidl: - Update to latest subversion snapshot for miscellaneous bug fixes - Fix documentation installation and make the -doc subpackage be noarch - Build a shared ocaml library (cmxs) in addition to the static (cmxa) library Changes in frama-c Silicon: - See http://blog.frama-c.com/ for information on changes in this version Changes in why 2.37: - Compatible with release Aluminium (a.k.a. 20160502) of Frama-C - compatibility with Why3 from 0.86.1 to 0.87.3 Changes in why 2.38: - Compatible with release Silicon (a.k.a. 20161101) of Frama-C All other packages are simple rebuilds due to the other changes, and due to previously undetected coq dependency issues resulting from the Fedora 26 mass rebuild. -------------------------------------------------------------------------------- References: [ 1 ] Bug #1424923 - None https://bugzilla.redhat.com/show_bug.cgi?id=1424923 [ 2 ] Bug #1001268 - None https://bugzilla.redhat.com/show_bug.cgi?id=1001268 -------------------------------------------------------------------------------- ================================================================================ why3-0.87.3-3.fc26 (FEDORA-2017-7be55a4bd6) Software verification platform -------------------------------------------------------------------------------- Update Information: Changes to ocaml-mlgmpidl: - Update to latest subversion snapshot for miscellaneous bug fixes - Fix documentation installation and make the -doc subpackage be noarch - Build a shared ocaml library (cmxs) in addition to the static (cmxa) library Changes in frama-c Silicon: - See http://blog.frama-c.com/ for information on changes in this version Changes in why 2.37: - Compatible with release Aluminium (a.k.a. 20160502) of Frama-C - compatibility with Why3 from 0.86.1 to 0.87.3 Changes in why 2.38: - Compatible with release Silicon (a.k.a. 20161101) of Frama-C All other packages are simple rebuilds due to the other changes, and due to previously undetected coq dependency issues resulting from the Fedora 26 mass rebuild. -------------------------------------------------------------------------------- References: [ 1 ] Bug #1424923 - None https://bugzilla.redhat.com/show_bug.cgi?id=1424923 [ 2 ] Bug #1001268 - None https://bugzilla.redhat.com/show_bug.cgi?id=1001268 -------------------------------------------------------------------------------- _______________________________________________ test mailing list -- test@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to test-leave@xxxxxxxxxxxxxxxxxxxxxxx
