Fedora 23 Update: php-patchwork-utf8-1.2.5-1.fc23
by updates＠fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2015-ba1f8ac390
2015-11-01 01:51:21.173624
--------------------------------------------------------------------------------
Name : php-patchwork-utf8
Product : Fedora 23
Version : 1.2.5
Release : 1.fc23
URL : https://github.com/tchwork/utf8
Summary : Portable and performant UTF-8, Unicode and Grapheme Clusters for PHP
Description :
Portable and performant UTF-8, Unicode and Grapheme Clusters for PHP.
--------------------------------------------------------------------------------
Update Information:
### v1.2.5 (2015-10-14) - handle the third argument of mb_convert_encoding()
being an array - add license files ### v1.2.4 (2015-06-29) - trigger silenced
deprecation notices when shims are in use - fix mb_strrpos() shim registration -
fix .gitattributes
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1271631 - php-patchwork-utf8-v1.2.5 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1271631
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update php-patchwork-utf8' 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
--------------------------------------------------------------------------------
8 years, 8 months
Fedora 23 Update: fusioninventory-agent-2.3.17-1.fc23
by updates＠fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2015-b0b766bbf8
2015-11-01 01:51:21.173537
--------------------------------------------------------------------------------
Name : fusioninventory-agent
Product : Fedora 23
Version : 2.3.17
Release : 1.fc23
URL : http://fusioninventory.org/
Summary : FusionInventory agent
Description :
FusionInventory Agent is an application designed to help a network
or system administrator to keep track of the hardware and software
configurations of computers that are installed on the network.
This agent can send information about the computer to a OCS Inventory NG
or GLPI server with the FusionInventory for GLPI plugin.
You can add additional packages for optional tasks:
* fusioninventory-agent-task-network
Network Discovery and Inventory support
* fusioninventory-agent-inventory
Local inventory support for FusionInventory
* fusioninventory-agent-task-deploy
Software deployment support
* fusioninventory-agent-task-esx
vCenter/ESX/ESXi remote inventory
* perl-FusionInventory-WakeOnLan
not included due to a licensing issue for perl-Net-Write
Edit the /etc/sysconfig/fusioninventory-agent file for service configuration.
--------------------------------------------------------------------------------
Update Information:
New version
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update fusioninventory-agent' 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
--------------------------------------------------------------------------------
8 years, 8 months
Fedora 23 Update: qt-creator-3.5.1-1.fc23
by updates＠fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2015-723d5a641c
2015-11-01 01:51:21.173454
--------------------------------------------------------------------------------
Name : qt-creator
Product : Fedora 23
Version : 3.5.1
Release : 1.fc23
URL : http://qt-project.org/wiki/Category:Tools::QtCreator
Summary : Cross-platform IDE for Qt
Description :
Qt Creator is a cross-platform IDE (integrated development environment)
tailored to the needs of Qt developers.
--------------------------------------------------------------------------------
Update Information:
Update to version 3.5.1, see https://code.qt.io/cgit/qt-creator/qt-
creator.git/tree/dist/changes-3.5.1.md?h=3.5 for details.
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update qt-creator' 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
--------------------------------------------------------------------------------
8 years, 8 months
Fedora 23 Update: subscription-manager-1.16.4-1.fc23
by updates＠fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2015-735fb78142
2015-11-01 01:51:21.173387
--------------------------------------------------------------------------------
Name : subscription-manager
Product : Fedora 23
Version : 1.16.4
Release : 1.fc23
URL : http://www.candlepinproject.org/
Summary : Tools and libraries for subscription and repository management
Description :
The Subscription Manager package provides programs and libraries to allow users
to manage subscriptions and yum repositories from the Red Hat entitlement
platform.
--------------------------------------------------------------------------------
Update Information:
Bug fix release: - 1264964: Ignore uuid=None on package sync - Set register-
status in RegisterInfo init. - Add glade for selectsla combobox for rhel6 -
1254460: Fixed the credits button in the about dialog in subman GUI - 1192120:
Fixed remaining instances of "reregister" in the man pages - 1270204: Crash
report no longer sent when widget is none - Cancel button is now labelled
"Close" - 1268088: Changes the rhsm spoke display message to end with
"registered" - Use class methods instead of redundant ad-hoc methods. -
1251853: Fix errors if "manage_repos = " in cfg - 1268102: Stop main window from
opening duplicate dialogs. - 1268095: Replace SLA radio buttons w/ combobox -
1268060: Add 'cancel' back to s-m-gui register. - 1268028: Fix skipped auto
attach in registergui - 1266929: Fix bug with exception reporting in register
dialog. - 1266480: Refresh TreeView selection after subscriptions are removed. -
Allow 'back' to go back multiple times. - 1267034: Handle 401 with cert based
auth - 1262075,1267179: Fix back/cancel nav - 1267287: Fix allsubs tab ui
regression - 1266994: Use our icon for initial-setup spoke icon - 1261006:
Handle multiple nav button clicks - 1242998, 1254550: Fix "already reg'ed" in
initial-setup - 1265347, 1265371: Added translation updates and corrections from
1.15.X
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update subscription-manager' 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
--------------------------------------------------------------------------------
8 years, 8 months
Fedora 23 Update: libqb-0.17.2-1.fc23
by updates＠fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2015-29705f6757
2015-11-01 01:51:21.173320
--------------------------------------------------------------------------------
Name : libqb
Product : Fedora 23
Version : 0.17.2
Release : 1.fc23
URL : https://github.com/ClusterLabs/libqb
Summary : An IPC library for high performance servers
Description :
libqb provides high-performance, reusable features for client-server
architecture, such as logging, tracing, inter-process communication (IPC),
and polling.
--------------------------------------------------------------------------------
Update Information:
libqb-0.17.2-1.fc21 - Update to libqb-0.17.2 + fix check_ipc tests, for list
of changes see: https://github.com/ClusterLabs/libqb/releases/tag/v0.17.2
libqb-0.17.2-1.fc22 - Update to libqb-0.17.2 + fix check_ipc tests, for list of
changes see: https://github.com/ClusterLabs/libqb/releases/tag/v0.17.2
libqb-0.17.2-1.fc23 - Update to libqb-0.17.2 + fix check_ipc tests, for list of
changes see: https://github.com/ClusterLabs/libqb/releases/tag/v0.17.2
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update libqb' 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
--------------------------------------------------------------------------------
8 years, 8 months
Fedora 23 Update: flocq-2.5.0-1.fc23
by updates＠fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2015-538a90ded0
2015-11-01 01:51:21.173258
--------------------------------------------------------------------------------
Name : flocq
Product : Fedora 23
Version : 2.5.0
Release : 1.fc23
URL : http://flocq.gforge.inria.fr/
Summary : Formalization of floating point numbers for Coq
Description :
Flocq (Floats for Coq) is a floating-point formalization for the Coq
system. It provides a comprehensive library of theorems on a
multi-radix multi-precision arithmetic. It also supports efficient
numerical computations inside Coq.
--------------------------------------------------------------------------------
Update Information:
flocq-2.5.0-1.fc23 - ensured compatibility with both Coq 8.4 and 8.5 (Flocq
now provides its own version of iter_pos) - redefined ulp, so that ulp(0) is
meaningful - renamed, generalized, and added lemmas in Fcore_ulp - extended
predecessor and successor to nonpositive values (the previous definition of pred
has been renamed pred_pos) - removed some hypotheses on lemmas of Fprop_relative
- added more examples - Average: proof on Sterbenz's average and correctly-
rounded average - Cody_Waite: Cody & Waite's approximation of exponential
- Compute: effective FP computations with an example of sqrt(sqr(x)) in radix 5
and precision 3 - Division_u16: integer division using floating-point FMA
- Triangle: Kahan's algorithm for the area of a triangle gappalib-
coq-1.2.0-1.fc23 - fact database - improved handling of powers of two in
mul_flt - fixed incorrect computation of the order-3 term of the relative
error for division - added rewriting rules for emulating reverse propagation
- proof graph - improved proof simplification - proof paths - improved
performances by avoiding some absolute values - improved detection of
approximate/exact pairs of expressions why3-0.86.2-1.fc23 - Minor bugfix
release - Compatibility with flocq 2.5.0 - Do not ship the nonfree boomy icons
why-2.35-9.fc23 - Rebuild for flocq 2.5.0, gappalib-coq 1.2.0, and why3 0.86.2
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update flocq' 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
--------------------------------------------------------------------------------
8 years, 8 months
Fedora 23 Update: why-2.35-9.fc23
by updates＠fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2015-538a90ded0
2015-11-01 01:51:21.173258
--------------------------------------------------------------------------------
Name : why
Product : Fedora 23
Version : 2.35
Release : 9.fc23
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, CVC3, 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:
flocq-2.5.0-1.fc23 - ensured compatibility with both Coq 8.4 and 8.5 (Flocq
now provides its own version of iter_pos) - redefined ulp, so that ulp(0) is
meaningful - renamed, generalized, and added lemmas in Fcore_ulp - extended
predecessor and successor to nonpositive values (the previous definition of pred
has been renamed pred_pos) - removed some hypotheses on lemmas of Fprop_relative
- added more examples - Average: proof on Sterbenz's average and correctly-
rounded average - Cody_Waite: Cody & Waite's approximation of exponential
- Compute: effective FP computations with an example of sqrt(sqr(x)) in radix 5
and precision 3 - Division_u16: integer division using floating-point FMA
- Triangle: Kahan's algorithm for the area of a triangle gappalib-
coq-1.2.0-1.fc23 - fact database - improved handling of powers of two in
mul_flt - fixed incorrect computation of the order-3 term of the relative
error for division - added rewriting rules for emulating reverse propagation
- proof graph - improved proof simplification - proof paths - improved
performances by avoiding some absolute values - improved detection of
approximate/exact pairs of expressions why3-0.86.2-1.fc23 - Minor bugfix
release - Compatibility with flocq 2.5.0 - Do not ship the nonfree boomy icons
why-2.35-9.fc23 - Rebuild for flocq 2.5.0, gappalib-coq 1.2.0, and why3 0.86.2
--------------------------------------------------------------------------------
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
--------------------------------------------------------------------------------
8 years, 8 months
Fedora 23 Update: why3-0.86.2-1.fc23
by updates＠fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2015-538a90ded0
2015-11-01 01:51:21.173258
--------------------------------------------------------------------------------
Name : why3
Product : Fedora 23
Version : 0.86.2
Release : 1.fc23
URL : http://why3.lri.fr/
Summary : Software verification platform
Description :
Why3 is the next generation of the Why software verification platform.
Why3 clearly separates the purely logical specification part from
generation of verification conditions for programs. It features a rich
library of proof task transformations that can be chained to produce a
suitable input for a large set of theorem provers, including SMT
solvers, TPTP provers, as well as interactive proof assistants.
--------------------------------------------------------------------------------
Update Information:
flocq-2.5.0-1.fc23 - ensured compatibility with both Coq 8.4 and 8.5 (Flocq
now provides its own version of iter_pos) - redefined ulp, so that ulp(0) is
meaningful - renamed, generalized, and added lemmas in Fcore_ulp - extended
predecessor and successor to nonpositive values (the previous definition of pred
has been renamed pred_pos) - removed some hypotheses on lemmas of Fprop_relative
- added more examples - Average: proof on Sterbenz's average and correctly-
rounded average - Cody_Waite: Cody & Waite's approximation of exponential
- Compute: effective FP computations with an example of sqrt(sqr(x)) in radix 5
and precision 3 - Division_u16: integer division using floating-point FMA
- Triangle: Kahan's algorithm for the area of a triangle gappalib-
coq-1.2.0-1.fc23 - fact database - improved handling of powers of two in
mul_flt - fixed incorrect computation of the order-3 term of the relative
error for division - added rewriting rules for emulating reverse propagation
- proof graph - improved proof simplification - proof paths - improved
performances by avoiding some absolute values - improved detection of
approximate/exact pairs of expressions why3-0.86.2-1.fc23 - Minor bugfix
release - Compatibility with flocq 2.5.0 - Do not ship the nonfree boomy icons
why-2.35-9.fc23 - Rebuild for flocq 2.5.0, gappalib-coq 1.2.0, and why3 0.86.2
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update why3' 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
--------------------------------------------------------------------------------
8 years, 8 months
Fedora 23 Update: gappalib-coq-1.2.0-1.fc23
by updates＠fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2015-538a90ded0
2015-11-01 01:51:21.173258
--------------------------------------------------------------------------------
Name : gappalib-coq
Product : Fedora 23
Version : 1.2.0
Release : 1.fc23
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:
flocq-2.5.0-1.fc23 - ensured compatibility with both Coq 8.4 and 8.5 (Flocq
now provides its own version of iter_pos) - redefined ulp, so that ulp(0) is
meaningful - renamed, generalized, and added lemmas in Fcore_ulp - extended
predecessor and successor to nonpositive values (the previous definition of pred
has been renamed pred_pos) - removed some hypotheses on lemmas of Fprop_relative
- added more examples - Average: proof on Sterbenz's average and correctly-
rounded average - Cody_Waite: Cody & Waite's approximation of exponential
- Compute: effective FP computations with an example of sqrt(sqr(x)) in radix 5
and precision 3 - Division_u16: integer division using floating-point FMA
- Triangle: Kahan's algorithm for the area of a triangle gappalib-
coq-1.2.0-1.fc23 - fact database - improved handling of powers of two in
mul_flt - fixed incorrect computation of the order-3 term of the relative
error for division - added rewriting rules for emulating reverse propagation
- proof graph - improved proof simplification - proof paths - improved
performances by avoiding some absolute values - improved detection of
approximate/exact pairs of expressions why3-0.86.2-1.fc23 - Minor bugfix
release - Compatibility with flocq 2.5.0 - Do not ship the nonfree boomy icons
why-2.35-9.fc23 - Rebuild for flocq 2.5.0, gappalib-coq 1.2.0, and why3 0.86.2
--------------------------------------------------------------------------------
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
--------------------------------------------------------------------------------
8 years, 8 months
Fedora 23 Update: TOPCOM-0.17.6-1.fc23
by updates＠fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2015-816d8097aa
2015-11-01 01:51:21.173188
--------------------------------------------------------------------------------
Name : TOPCOM
Product : Fedora 23
Version : 0.17.6
Release : 1.fc23
URL : http://www.rambau.wm.uni-bayreuth.de/TOPCOM/
Summary : Triangulations Of Point Configurations and Oriented Matroids
Description :
TOPCOM is a package for computing Triangulations Of Point Configurations
and Oriented Matroids. It was very much inspired by the maple program
PUNTOS, which was written by Jesus de Loera. TOPCOM is entirely written
in C++, so there is a significant speed up compared to PUNTOS.
--------------------------------------------------------------------------------
Update Information:
TOPCOM-0.17.6-1.fc23 - New upstream release - added a command line option
that allows only balanced flips
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update TOPCOM' 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
--------------------------------------------------------------------------------
8 years, 8 months