[SECURITY] Fedora 24 Update: php-doctrine-common-2.5.3-1.fc24
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2016-fa7e683c6e
2016-08-01 13:09:38.111586
--------------------------------------------------------------------------------
Name : php-doctrine-common
Product : Fedora 24
Version : 2.5.3
Release : 1.fc24
URL : https://github.com/doctrine/common
Summary : Common library for Doctrine projects
Description :
The Doctrine Common project is a library that provides extensions to core PHP
functionality.
Autoloader: /usr/share/php/Doctrine/Common/autoload.php
--------------------------------------------------------------------------------
Update Information:
### v2.5.3 #### Bug-fixes - \#367: Fix how namespace matching happens in
SymfonyFileLocator ### v2.5.2 #### Bug-fixes - DCOM-299 #383 Silence chmod()
warnings - DCOM-301 #384 Fixed bug with getAllClassNames() in subdirectories -
DCOM-303 #387 Fixed fatal error in AbstractManagerRegistry #### Improvement -
DCOM-289 #373 composer: bump to PHPUnit 4.7 ### v2.5.1 -
[CVE-2015-5723](http://www.doctrine-project.org/2015/08/31/security_miscon...
tion_vulnerability_in_various_doctrine_projects.html)
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1347924 - CVE-2015-5723 php-doctrine-common filesystem permission issues
https://bugzilla.redhat.com/show_bug.cgi?id=1347924
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update php-doctrine-common' at the command line.
For more information, refer to "Managing Software with yum",
available at https://docs.fedoraproject.org/yum/.
All packages are signed with the Fedora Project GPG key. More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------
7 years, 9 months
Fedora 24 Update: gap-pkg-float-0.7.4-1.fc24
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2016-49d0bb5c71
2016-08-01 13:09:38.111459
--------------------------------------------------------------------------------
Name : gap-pkg-float
Product : Fedora 24
Version : 0.7.4
Release : 1.fc24
URL : http://gap-packages.github.io/float/
Summary : GAP access to mpfr, mpfi, mpc, fplll and cxsc
Description :
This package implements floating-point numbers within GAP, with
arbitrary precision, based on the C libraries FPLLL, MPFR, MPFI, MPC
and CXSC.
--------------------------------------------------------------------------------
Update Information:
This package implements floating-point numbers within GAP, with arbitrary
precision, based on the C libraries FPLLL, MPFR, MPFI, MPC and CXSC.
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1352175 - Review Request: gap-pkg-float - GAP access to mpfr, mpfi, mpc, fplll and cxsc
https://bugzilla.redhat.com/show_bug.cgi?id=1352175
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update gap-pkg-float' at the command line.
For more information, refer to "Managing Software with yum",
available at https://docs.fedoraproject.org/yum/.
All packages are signed with the Fedora Project GPG key. More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------
7 years, 9 months
Fedora 24 Update: apron-0.9.11-1.1096.svn20160531.fc24
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2016-1b796d3800
2016-08-01 13:09:38.111401
--------------------------------------------------------------------------------
Name : apron
Product : Fedora 24
Version : 0.9.11
Release : 1.1096.svn20160531.fc24
URL : http://apron.cri.ensmp.fr/library/
Summary : Numerical abstract domain library
Description :
The APRON library is dedicated to the static analysis of the numerical
variables of a program by Abstract Interpretation. The aim of such an
analysis is to infer invariants about these variables, like 1<=x+y<=z,
which holds during any execution of the program.
The APRON library is intended to be a common interface to various
underlying libraries/abstract domains and to provide additional services
that can be implemented independently from the underlying
library/abstract domain.
--------------------------------------------------------------------------------
Update Information:
Changes in apron: - fixed missing exception reporting in level 1 meet and join
array when array elements have incompatible environments - new Var interface:
any Java class implementing Var can now be used as variable name; the String
interface is maintained for compatibility; added StringVar, a Var implementation
contaning a simple String - made the Var interface public in JApron See
http://gappa.gforge.inria.fr/doc/apd.html for changes in gappa and gappalib-coq.
Why was merely rebuilt for the new apron and gappalib-coq builds, and should
function unchanged.
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update apron' at the command line.
For more information, refer to "Managing Software with yum",
available at https://docs.fedoraproject.org/yum/.
All packages are signed with the Fedora Project GPG key. More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------
7 years, 9 months
Fedora 24 Update: gappa-1.3.0-1.fc24
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2016-1b796d3800
2016-08-01 13:09:38.111401
--------------------------------------------------------------------------------
Name : gappa
Product : Fedora 24
Version : 1.3.0
Release : 1.fc24
URL : http://gappa.gforge.inria.fr/
Summary : Prove programs with floating-point or fixed-point arithmetic
Description :
Gappa is a tool intended to help verifying and formally prove
properties on numerical programs and circuits handling floating-point
or fixed-point arithmetic. This tool manipulates logical formulas
stating the enclosures of expressions in some intervals. Through the
use of rounding operators as part of the expressions, Gappa is specially
designed to deal with formulas that could appear when certifying numerical
codes. In particular, Gappa makes it simple to bound computational errors
due to floating-point arithmetic. The tool and its documentation were
written by Guillaume Melquiond.
--------------------------------------------------------------------------------
Update Information:
Changes in apron: - fixed missing exception reporting in level 1 meet and join
array when array elements have incompatible environments - new Var interface:
any Java class implementing Var can now be used as variable name; the String
interface is maintained for compatibility; added StringVar, a Var implementation
contaning a simple String - made the Var interface public in JApron See
http://gappa.gforge.inria.fr/doc/apd.html for changes in gappa and gappalib-coq.
Why was merely rebuilt for the new apron and gappalib-coq builds, and should
function unchanged.
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update gappa' at the command line.
For more information, refer to "Managing Software with yum",
available at https://docs.fedoraproject.org/yum/.
All packages are signed with the Fedora Project GPG key. More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------
7 years, 9 months
Fedora 24 Update: gappalib-coq-1.3.0-1.fc24
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2016-1b796d3800
2016-08-01 13:09:38.111401
--------------------------------------------------------------------------------
Name : gappalib-coq
Product : Fedora 24
Version : 1.3.0
Release : 1.fc24
URL : http://gappa.gforge.inria.fr/
Summary : Coq support library for gappa
Description :
This support library provides vernacular files so that the certificates
Gappa generates can be imported by the Coq proof assistant. It also
provides a "gappa" tactic that calls Gappa on the current Coq goal.
Gappa (G��n��ration Automatique de Preuves de Propri��t��s Arithm��tiques --
automatic proof generation of arithmetic properties) is a tool intended
to help verifying and formally proving properties on numerical programs
dealing with floating-point or fixed-point arithmetic.
--------------------------------------------------------------------------------
Update Information:
Changes in apron: - fixed missing exception reporting in level 1 meet and join
array when array elements have incompatible environments - new Var interface:
any Java class implementing Var can now be used as variable name; the String
interface is maintained for compatibility; added StringVar, a Var implementation
contaning a simple String - made the Var interface public in JApron See
http://gappa.gforge.inria.fr/doc/apd.html for changes in gappa and gappalib-coq.
Why was merely rebuilt for the new apron and gappalib-coq builds, and should
function unchanged.
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update gappalib-coq' at the command line.
For more information, refer to "Managing Software with yum",
available at https://docs.fedoraproject.org/yum/.
All packages are signed with the Fedora Project GPG key. More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------
7 years, 9 months
Fedora 24 Update: why-2.35-17.fc24
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2016-1b796d3800
2016-08-01 13:09:38.111401
--------------------------------------------------------------------------------
Name : why
Product : Fedora 24
Version : 2.35
Release : 17.fc24
URL : http://why.lri.fr/
Summary : Software verification platform
Description :
Why is a software verification platform that applies formal proving
tools to annotated programs. It is currently capable of analysis of C
(through "Frama-C"), Java (through the included tool "Krakatoa"), and
potentially ML programs with some modification into Why's own ML-like
language. Furthermore, Why is capable of analysis of any program that
is mapped onto its own internal language. It uses a weakest
precondition involving calculus to generate potential theorems necessary
for the proof of a program's correctness. It translates these theorems
into formats that can be used by external proof assistants (without any
extra work Coq, PVS, HOL Light, and Mizar are supported - having one is
recommended and both Coq and PVS are packaged for Fedora) and automated
theorem provers (without any extra work Simplify, Alt-Ergo, Yices, Z3,
CVC3, and Zenon are supported and Alt-Ergo, Z3, and Zenon are packaged
for Fedora) so that these results can be externally proven, resulting in
a proof of program correctness.
Note: Each user account must be set up by running "why-config" at the
command line (to set up a configuration file).
--------------------------------------------------------------------------------
Update Information:
Changes in apron: - fixed missing exception reporting in level 1 meet and join
array when array elements have incompatible environments - new Var interface:
any Java class implementing Var can now be used as variable name; the String
interface is maintained for compatibility; added StringVar, a Var implementation
contaning a simple String - made the Var interface public in JApron See
http://gappa.gforge.inria.fr/doc/apd.html for changes in gappa and gappalib-coq.
Why was merely rebuilt for the new apron and gappalib-coq builds, and should
function unchanged.
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update why' at the command line.
For more information, refer to "Managing Software with yum",
available at https://docs.fedoraproject.org/yum/.
All packages are signed with the Fedora Project GPG key. More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------
7 years, 9 months
Fedora 24 Update: owncloud-9.0.4-1.fc24
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2016-e4c47e681e
2016-08-01 13:09:38.111327
--------------------------------------------------------------------------------
Name : owncloud
Product : Fedora 24
Version : 9.0.4
Release : 1.fc24
URL : http://owncloud.org
Summary : Private file sync and share server
Description :
ownCloud gives you universal access to your files through a web interface or
WebDAV. It also provides a platform to easily view & sync your contacts,
calendars and bookmarks across all your devices and enables basic editing right
on the web. ownCloud is extendable via a simple but powerful API for
applications and plugins.
--------------------------------------------------------------------------------
Update Information:
Update to 9.0.4
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update owncloud' at the command line.
For more information, refer to "Managing Software with yum",
available at https://docs.fedoraproject.org/yum/.
All packages are signed with the Fedora Project GPG key. More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------
7 years, 9 months
Fedora 24 Update: perl-Specio-0.24-2.fc24
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2016-81706dac20
2016-08-01 13:09:38.111268
--------------------------------------------------------------------------------
Name : perl-Specio
Product : Fedora 24
Version : 0.24
Release : 2.fc24
URL : http://search.cpan.org/dist/Specio/
Summary : Type constraints and coercions for Perl
Description :
The Specio distribution provides classes for representing type constraints
and coercion, along with syntax sugar for declaring them.
Note that this is not a proper type system for Perl. Nothing in this
distribution will magically make the Perl interpreter start checking a value's
type on assignment to a variable. In fact, there's no built-in way to apply a
type to a variable at all.
Instead, you can explicitly check a value against a type, and optionally coerce
values to that type.
--------------------------------------------------------------------------------
Update Information:
This is the first Fedora release of perl-Specio.
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1352042 - Review Request: perl-Specio - Type constraints and coercions for Perl
https://bugzilla.redhat.com/show_bug.cgi?id=1352042
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update perl-Specio' at the command line.
For more information, refer to "Managing Software with yum",
available at https://docs.fedoraproject.org/yum/.
All packages are signed with the Fedora Project GPG key. More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------
7 years, 9 months
Fedora 24 Update: php-aws-sdk-2.8.30-1.fc24
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2016-999bb1ed3f
2016-08-01 13:09:38.111202
--------------------------------------------------------------------------------
Name : php-aws-sdk
Product : Fedora 24
Version : 2.8.30
Release : 1.fc24
URL : http://aws.amazon.com/sdk-for-php/
Summary : Amazon Web Services framework for PHP
Description :
Amazon Web Services SDK for PHP enables developers to build solutions for
Amazon Simple Storage Service (Amazon S3), Amazon Elastic Compute Cloud
(Amazon EC2), Amazon SimpleDB, and more.
Autoloader: /usr/share/php/Aws/autoload.php
--------------------------------------------------------------------------------
Update Information:
## 2.8.30 - 2016-05-03 * `Aws\Lambda` - Fixed bug in `UpdateFunctionCode`. ##
2.8.29 - 2016-04-11 * `Aws\Lambda` - Fixed bug in `UpdateFunctionCode`. ##
2.8.28 - 2016-04-05 * `Aws\Common` - Fixed a race condition caused by
credentials expiring and being refreshed after a request signature had been
partially calculated.
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1359344 - php-aws-sdk-2.8.30 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1359344
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update php-aws-sdk' at the command line.
For more information, refer to "Managing Software with yum",
available at https://docs.fedoraproject.org/yum/.
All packages are signed with the Fedora Project GPG key. More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------
7 years, 9 months