Fedora 31 Update: R-AsioHeaders-1.12.1.1-1.fc31
by updates＠fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2019-b24336e9c0
2019-10-02 00:45:37.415667
--------------------------------------------------------------------------------
Name : R-AsioHeaders
Product : Fedora 31
Version : 1.12.1.1
Release : 1.fc31
URL : https://CRAN.R-project.org/package=AsioHeaders
Summary : Asio C++ Header Files
Description :
'Asio' is a cross-platform C++ library for network and low-level I/O
programming that provides developers with a consistent asynchronous model using
a modern C++ approach. It is also included in Boost but requires linking when
used with Boost. Standalone it can be used header-only (provided a recent
compiler). 'Asio' is written and maintained by Christopher M. Kohlhoff, and
released under the 'Boost Software License', Version 1.0.
--------------------------------------------------------------------------------
Update Information:
Initial package of AsioHeaders for R
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1751434 - Review Request: R-AsioHeaders - Asio C++ Header Files
https://bugzilla.redhat.com/show_bug.cgi?id=1751434
--------------------------------------------------------------------------------
This update can be installed with the "dnf" update program. Use
su -c 'dnf upgrade --advisory FEDORA-2019-b24336e9c0' at the command
line. For more information, refer to the dnf documentation available at
http://dnf.readthedocs.io/en/latest/command_ref.html#upgrade-command-label
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
--------------------------------------------------------------------------------
4 years, 8 months
Fedora 31 Update: libdivide-2.0-1.fc31
by updates＠fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2019-92a36829c9
2019-10-02 00:45:37.415653
--------------------------------------------------------------------------------
Name : libdivide
Product : Fedora 31
Version : 2.0
Release : 1.fc31
URL : http://libdivide.com/
Summary : Optimized integer division
Description :
This package contains a header-only C/C++ library for optimizing integer
division. Integer division is one of the slowest instructions on most
CPUs, e.g. on current x64 CPUs a 64-bit integer division has a latency
of up to 90 clock cycles whereas a multiplication has a latency of only
3 clock cycles. libdivide allows you to replace expensive integer
division instructions by a sequence of shift, add and multiply
instructions that will calculate the integer division much faster.
On current CPUs you can get a speedup of up to 10x for 64-bit integer
division and a speedup of up to to 5x for 32-bit integer division when
using libdivide. libdivide also supports SSE2, AVX2 and AVX512 vector
division which provides an even larger speedup.
--------------------------------------------------------------------------------
Update Information:
This package contains a header-only C/C++ library for optimizing integer
division. Integer division is one of the slowest instructions on most CPUs,
e.g. on current x64 CPUs a 64-bit integer division has a latency of up to 90
clock cycles whereas a multiplication has a latency of only 3 clock cycles.
libdivide allows you to replace expensive integer division instructions by a
sequence of shift, add and multiply instructions that will calculate the integer
division much faster. On current CPUs you can get a speedup of up to 10x for
64-bit integer division and a speedup of up to to 5x for 32-bit integer division
when using libdivide. libdivide also supports SSE2, AVX2 and AVX512 vector
division which provides an even larger speedup.
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1753084 - Review Request: libdivide - Optimized integer division
https://bugzilla.redhat.com/show_bug.cgi?id=1753084
--------------------------------------------------------------------------------
This update can be installed with the "dnf" update program. Use
su -c 'dnf upgrade --advisory FEDORA-2019-92a36829c9' at the command
line. For more information, refer to the dnf documentation available at
http://dnf.readthedocs.io/en/latest/command_ref.html#upgrade-command-label
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
--------------------------------------------------------------------------------
4 years, 8 months
Fedora 31 Update: golang-github-gdamore-tcell-1.3.0-1.fc31
by updates＠fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2019-e7643eac77
2019-10-02 00:45:37.415638
--------------------------------------------------------------------------------
Name : golang-github-gdamore-tcell
Product : Fedora 31
Version : 1.3.0
Release : 1.fc31
URL : https://github.com/gdamore/tcell
Summary : Alternate terminal package
Description :
Tcell is a Go package that provides a cell based view for text terminals, like
xterm. It was inspired by termbox, but includes many additional improvements.
--------------------------------------------------------------------------------
Update Information:
Update to latest version
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1754331 - golang-github-gdamore-tcell-1.3.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1754331
--------------------------------------------------------------------------------
This update can be installed with the "dnf" update program. Use
su -c 'dnf upgrade --advisory FEDORA-2019-e7643eac77' at the command
line. For more information, refer to the dnf documentation available at
http://dnf.readthedocs.io/en/latest/command_ref.html#upgrade-command-label
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
--------------------------------------------------------------------------------
4 years, 8 months
Fedora 31 Update: golang-github-google-cmdtest-0.1.0-1.fc31
by updates＠fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2019-c410b7de4a
2019-10-02 00:45:37.415625
--------------------------------------------------------------------------------
Name : golang-github-google-cmdtest
Product : Fedora 31
Version : 0.1.0
Release : 1.fc31
URL : https://github.com/google/go-cmdtest
Summary : Simplify testing of command-line interfaces
Description :
The cmdtest package simplifies testing of command-line interfaces. It provides a
simple, cross-platform, shell-like language to express command execution. It can
compare actual output with the expected output, and can also update a file with
new "golden" output that is deemed correct.
--------------------------------------------------------------------------------
Update Information:
Initial package
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1754302 - Review Request: golang-github-google-cmdtest - Simplify testing of command-line interfaces
https://bugzilla.redhat.com/show_bug.cgi?id=1754302
--------------------------------------------------------------------------------
This update can be installed with the "dnf" update program. Use
su -c 'dnf upgrade --advisory FEDORA-2019-c410b7de4a' at the command
line. For more information, refer to the dnf documentation available at
http://dnf.readthedocs.io/en/latest/command_ref.html#upgrade-command-label
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
--------------------------------------------------------------------------------
4 years, 8 months
Fedora 31 Update: btrbk-0.28.3-1.fc31
by updates＠fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2019-789e008b5a
2019-10-02 00:45:37.415610
--------------------------------------------------------------------------------
Name : btrbk
Product : Fedora 31
Version : 0.28.3
Release : 1.fc31
URL : https://digint.ch/btrbk/
Summary : Tool for creating snapshots and remote backups of btrfs sub-volumes
Description :
Backup tool for btrfs sub-volumes, using a configuration file, allows
creation of backups from multiple sources to multiple destinations,
with ssh and flexible retention policy support (hourly, daily,
weekly, monthly)
--------------------------------------------------------------------------------
Update Information:
Update to 0.28.3 (#1692924) - Update build deps to include `rubygem-asciidoctor`
- Update rumtime deps to include `mbuffer` replacing `pv` MIGRATION: - See:
https://github.com/digint/btrbk/blob/master/ChangeLog since v0.27.0
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1692924 - btrbk-0.28.3 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1692924
--------------------------------------------------------------------------------
This update can be installed with the "dnf" update program. Use
su -c 'dnf upgrade --advisory FEDORA-2019-789e008b5a' at the command
line. For more information, refer to the dnf documentation available at
http://dnf.readthedocs.io/en/latest/command_ref.html#upgrade-command-label
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
--------------------------------------------------------------------------------
4 years, 8 months
Fedora 31 Update: ibm-plex-fonts-2.0.0-1.fc31
by updates＠fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2019-a77a997301
2019-10-02 00:45:37.415597
--------------------------------------------------------------------------------
Name : ibm-plex-fonts
Product : Fedora 31
Version : 2.0.0
Release : 1.fc31
URL : https://github.com/IBM/plex
Summary : IBM's Plex fonts
Description :
Plex is an open-source project (OFL) and free to download and use. The Plex
family comes in a Sans, Serif, Mono and Sans Condensed, all with roman and
true italics. The fonts have been designed to work well in user interface
(UI) environments as well as other mediums.
--------------------------------------------------------------------------------
Update Information:
Initial package
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1750159 - Review Request: ibm-plex-fonts - IBM's Plex fonts
https://bugzilla.redhat.com/show_bug.cgi?id=1750159
--------------------------------------------------------------------------------
This update can be installed with the "dnf" update program. Use
su -c 'dnf upgrade --advisory FEDORA-2019-a77a997301' at the command
line. For more information, refer to the dnf documentation available at
http://dnf.readthedocs.io/en/latest/command_ref.html#upgrade-command-label
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
--------------------------------------------------------------------------------
4 years, 8 months
Fedora 31 Update: python-pykwalify-1.7.0-5.fc31
by updates＠fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2019-975c297759
2019-10-02 00:45:37.415583
--------------------------------------------------------------------------------
Name : python-pykwalify
Product : Fedora 31
Version : 1.7.0
Release : 5.fc31
URL : https://github.com/grokzen/pykwalify
Summary : Python lib/cli for JSON/YAML schema validation
Description :
It is a YAML/JSON validation library.
This framework is a port with a lot added functionality
of the java version of the framework kwalify that can be
found at: http://www.kuwata-lab.com/kwalify/
--------------------------------------------------------------------------------
Update Information:
Don't build python2 package for Fedora 31+
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1741000 - python-pykwalify depends on Python 2
https://bugzilla.redhat.com/show_bug.cgi?id=1741000
--------------------------------------------------------------------------------
This update can be installed with the "dnf" update program. Use
su -c 'dnf upgrade --advisory FEDORA-2019-975c297759' at the command
line. For more information, refer to the dnf documentation available at
http://dnf.readthedocs.io/en/latest/command_ref.html#upgrade-command-label
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
--------------------------------------------------------------------------------
4 years, 8 months
Fedora 31 Update: et-6.0.3-1.fc31
by updates＠fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2019-140e4edb4e
2019-10-02 00:45:37.415569
--------------------------------------------------------------------------------
Name : et
Product : Fedora 31
Version : 6.0.3
Release : 1.fc31
URL : https://mistertea.github.io/EternalTerminal/
Summary : Remote shell that survives IP roaming and disconnect
Description :
Eternal Terminal (ET) is a remote shell that automatically reconnects without
interrupting the session.
--------------------------------------------------------------------------------
Update Information:
- Overall refactor of networking protocol - ssh agent forwarding - Support for
more terminals (e.g. fish)
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1754093 - et-6.0.3 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1754093
--------------------------------------------------------------------------------
This update can be installed with the "dnf" update program. Use
su -c 'dnf upgrade --advisory FEDORA-2019-140e4edb4e' at the command
line. For more information, refer to the dnf documentation available at
http://dnf.readthedocs.io/en/latest/command_ref.html#upgrade-command-label
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
--------------------------------------------------------------------------------
4 years, 8 months
Fedora 31 Update: why-2.41-6.fc31
by updates＠fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2019-ee575ff7d4
2019-10-02 00:45:37.415556
--------------------------------------------------------------------------------
Name : why
Product : Fedora 31
Version : 2.41
Release : 6.fc31
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:
The frama-c 19.1 release fixes several minor bugs. The why build is a simple
rebuild due to the frama-c update.
--------------------------------------------------------------------------------
This update can be installed with the "dnf" update program. Use
su -c 'dnf upgrade --advisory FEDORA-2019-ee575ff7d4' at the command
line. For more information, refer to the dnf documentation available at
http://dnf.readthedocs.io/en/latest/command_ref.html#upgrade-command-label
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
--------------------------------------------------------------------------------
4 years, 8 months
Fedora 31 Update: frama-c-19.1-1.fc31
by updates＠fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2019-ee575ff7d4
2019-10-02 00:45:37.415556
--------------------------------------------------------------------------------
Name : frama-c
Product : Fedora 31
Version : 19.1
Release : 1.fc31
URL : http://frama-c.com/
Summary : Framework for source code analysis of C software
Description :
Frama-C is a suite of tools dedicated to the analysis of the source
code of software written in C.
Frama-C gathers several static analysis techniques in a single
collaborative framework. The collaborative approach of Frama-C allows
static analyzers to build upon the results already computed by other
analyzers in the framework. Thanks to this approach, Frama-C provides
sophisticated tools, such as a slicer and dependency analysis.
--------------------------------------------------------------------------------
Update Information:
The frama-c 19.1 release fixes several minor bugs. The why build is a simple
rebuild due to the frama-c update.
--------------------------------------------------------------------------------
This update can be installed with the "dnf" update program. Use
su -c 'dnf upgrade --advisory FEDORA-2019-ee575ff7d4' at the command
line. For more information, refer to the dnf documentation available at
http://dnf.readthedocs.io/en/latest/command_ref.html#upgrade-command-label
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
--------------------------------------------------------------------------------
4 years, 8 months