Fedora 32 Update: legendary-0.0.19-1.fc32
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2020-749d1c9d97
2020-06-29 01:59:39.772643
--------------------------------------------------------------------------------
Name : legendary
Product : Fedora 32
Version : 0.0.19
Release : 1.fc32
URL : https://github.com/derrod/legendary
Summary : Free and open-source replacement for the Epic Games Launcher
Description :
Legendary is an open-source game launcher that can download and install games
from the Epic Games Store on Linux and Windows. It's name as a tongue-in-cheek
play on tiers of item rarity in many MMORPGs.
--------------------------------------------------------------------------------
Update Information:
Update to latest version
--------------------------------------------------------------------------------
ChangeLog:
* Sun Jun 14 2020 Artem Polishchuk <ego.cordatus(a)gmail.com> - 0.0.19-1
- Update to 0.0.19
--------------------------------------------------------------------------------
This update can be installed with the "dnf" update program. Use
su -c 'dnf upgrade --advisory FEDORA-2020-749d1c9d97' 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
--------------------------------------------------------------------------------
3 years, 9 months
Fedora 32 Update: alt-ergo-2.2.0-1.fc32
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2020-f3fbdd3aa9
2020-06-29 01:59:39.772623
--------------------------------------------------------------------------------
Name : alt-ergo
Product : Fedora 32
Version : 2.2.0
Release : 1.fc32
URL : https://alt-ergo.ocamlpro.com/
Summary : Automated theorem prover including linear arithmetic
Description :
Alt-Ergo is an automated theorem prover implemented in OCaml. It is
based on CC(X) - a congruence closure algorithm parameterized by an
equational theory X. This algorithm is reminiscent of the Shostak
algorithm. Currently CC(X) is instantiated by the theory of linear
arithmetics. Alt-Ergo also contains a home made SAT-solver and an
instantiation mechanism by which it fully supports quantifiers.
--------------------------------------------------------------------------------
Update Information:
Version 2.1.0 of alt-ergo changed the default SAT engine to the CDCL solver.
Version 2.2.0 of alt-ergo added experimental support for (a polymorphic
extension of) SMT-LIB 2.
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jun 19 2020 Jerry James <loganjerry(a)gmail.com> - 2.2.0-1
- Version 2.2.0
- Drop upstreamed -newline patch
--------------------------------------------------------------------------------
This update can be installed with the "dnf" update program. Use
su -c 'dnf upgrade --advisory FEDORA-2020-f3fbdd3aa9' 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
--------------------------------------------------------------------------------
3 years, 9 months
Fedora 32 Update: vim-trailing-whitespace-1.0-1.20191209git6b7cdec.fc32
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2020-15a43e14ca
2020-06-29 01:59:39.772614
--------------------------------------------------------------------------------
Name : vim-trailing-whitespace
Product : Fedora 32
Version : 1.0
Release : 1.20191209git6b7cdec.fc32
URL : https://github.com/bronson/vim-trailing-whitespace
Summary : Highlights trailing whitespace in red and provides :FixWhitespace to fix it
Description :
This plugin causes all trailing whitespace to be highlighted in red.
To fix the whitespace errors, just call :FixWhitespace. By default it operates
on the entire file. Pass a range (or use V to select some lines) to restrict
the portion of the file that gets fixed.
--------------------------------------------------------------------------------
Update Information:
Initial package
--------------------------------------------------------------------------------
ChangeLog:
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1762755 - Review Request: vim-trailing-whitespace - Highlights trailing whitespace in red and provides :FixWhitespace to fix it
https://bugzilla.redhat.com/show_bug.cgi?id=1762755
--------------------------------------------------------------------------------
This update can be installed with the "dnf" update program. Use
su -c 'dnf upgrade --advisory FEDORA-2020-15a43e14ca' 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
--------------------------------------------------------------------------------
3 years, 9 months
Fedora 32 Update: googler-4.1-1.fc32
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2020-9d357312c6
2020-06-29 01:59:39.772603
--------------------------------------------------------------------------------
Name : googler
Product : Fedora 32
Version : 4.1
Release : 1.fc32
URL : https://github.com/jarun/googler
Summary : Access google search, google site search, google news from the terminal
Description :
googler is a power tool to access Google (Web & News) websites and Google Site
Search website from the command-line. It shows the title, URL and abstract
for each result, which can be directly opened in a browser from the terminal.
Results are fetched in pages (with page navigation). Supports sequential
searches in a single googler instance.
googler was initially written to cater to headless servers without X. You can
integrate it with a text-based browser. However, it has grown into a very handy
and flexible utility that delivers much more. For example, fetch any number of
results or start anywhere, limit search by any duration, define aliases to
google search any number of websites, switch domains easily... all of this
in a very clean interface without ads or stray URLs. The shell completion
scripts make sure you don't need to remember any options.
googler isn't affiliated to Google in any way.
--------------------------------------------------------------------------------
Update Information:
Release 4.1 (#1830152)
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jun 19 2020 Robert-Andr�� Mauchin <zebob.m(a)gmail.com> - 4.1-1
- Release 4.1 (#1830152)
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1830152 - googler-4.1 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1830152
--------------------------------------------------------------------------------
This update can be installed with the "dnf" update program. Use
su -c 'dnf upgrade --advisory FEDORA-2020-9d357312c6' 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
--------------------------------------------------------------------------------
3 years, 9 months
Fedora 32 Update: rssguard-3.6.3-1.fc32
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2020-9f0a27e5c2
2020-06-29 01:59:39.772594
--------------------------------------------------------------------------------
Name : rssguard
Product : Fedora 32
Version : 3.6.3
Release : 1.fc32
URL : https://github.com/martinrotter/rssguard
Summary : Simple yet powerful feed reader
Description :
RSS Guard is simple, light and easy-to-use RSS/ATOM feed aggregator developed
using Qt framework which supports online feed synchronization.
--------------------------------------------------------------------------------
Update Information:
Update to 3.6.3
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jun 19 2020 Robert-Andr�� Mauchin <zebob.m(a)gmail.com> - 3.6.3-1
- Update to 3.6.3
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1830063 - rssguard-3.6.3 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1830063
--------------------------------------------------------------------------------
This update can be installed with the "dnf" update program. Use
su -c 'dnf upgrade --advisory FEDORA-2020-9f0a27e5c2' 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
--------------------------------------------------------------------------------
3 years, 9 months
Fedora 32 Update: antimicroX-3.0-2.20200617gitc6d79.fc32
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2020-7f022a8b41
2020-06-29 01:59:39.772584
--------------------------------------------------------------------------------
Name : antimicroX
Product : Fedora 32
Version : 3.0
Release : 2.20200617gitc6d79.fc32
URL : https://github.com/juliagoda/antimicroX
Summary : Graphical program used to map keyboard buttons and mouse controls to a gamepad
Description :
antimicroX is a graphical program used to map keyboard keys and mouse controls
to a gamepad. This program is useful for playing PC games using a gamepad that
do not have any form of built-in gamepad support. antimicroX is a fork of
AntiMicro which was inspired by QJoyPad but has additional features.
--------------------------------------------------------------------------------
Update Information:
First package build
--------------------------------------------------------------------------------
ChangeLog:
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1844850 - Review request: antimicroX - Graphical program used to map keyboard buttons and mouse controls to a gamepad
https://bugzilla.redhat.com/show_bug.cgi?id=1844850
--------------------------------------------------------------------------------
This update can be installed with the "dnf" update program. Use
su -c 'dnf upgrade --advisory FEDORA-2020-7f022a8b41' 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
--------------------------------------------------------------------------------
3 years, 9 months
Fedora 32 Update: ocaml-psmt2-frontend-0.1-1.fc32
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2020-9725835ab9
2020-06-29 01:59:39.772574
--------------------------------------------------------------------------------
Name : ocaml-psmt2-frontend
Product : Fedora 32
Version : 0.1
Release : 1.fc32
URL : https://github.com/OCamlPro-Coquera/psmt2-frontend
Summary : Parser and typechecker for an extension of SMT-LIB 2
Description :
This package contains a library to parse and typecheck a conservative
extension of the SMT-LIB 2 standard with prenex polymorphism.
--------------------------------------------------------------------------------
Update Information:
This package contains a library to parse and typecheck a conservative extension
of the SMT-LIB 2 standard with prenex polymorphism.
--------------------------------------------------------------------------------
ChangeLog:
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1847772 - Review Request: ocaml-psmt2-frontend - Parser and typechecker for an extension of SMT-LIB 2
https://bugzilla.redhat.com/show_bug.cgi?id=1847772
--------------------------------------------------------------------------------
This update can be installed with the "dnf" update program. Use
su -c 'dnf upgrade --advisory FEDORA-2020-9725835ab9' 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
--------------------------------------------------------------------------------
3 years, 9 months
Fedora 32 Update: powerline-go-1.17.0-1.fc32
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2020-f70fa390a1
2020-06-29 01:59:39.772565
--------------------------------------------------------------------------------
Name : powerline-go
Product : Fedora 32
Version : 1.17.0
Release : 1.fc32
URL : https://github.com/justjanne/powerline-go
Summary : A beautiful and useful low-latency prompt for your shell, written in go
Description :
A Powerline like prompt for Bash, ZSH and Fish.
- Shows some important details about the git/hg branch
- Changes color if the last command exited with a failure code
- If you're too deep into a directory tree, shortens the displayed
path with an ellipsis
- Shows the current Python virtualenv environment
- It's easy to customize and extend.
--------------------------------------------------------------------------------
Update Information:
Update to 1.17.0 (#1827401)
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jun 19 2020 Robert-Andr�� Mauchin <zebob.m(a)gmail.com> - 1.17.0-1
- Update to 1.17.0 (#1827401)
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1827401 - powerline-go-1.17.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1827401
--------------------------------------------------------------------------------
This update can be installed with the "dnf" update program. Use
su -c 'dnf upgrade --advisory FEDORA-2020-f70fa390a1' 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
--------------------------------------------------------------------------------
3 years, 9 months
Fedora 32 Update: reposurgeon-3.47-3.fc32
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2020-4d509ff0d2
2020-06-29 01:59:39.772555
--------------------------------------------------------------------------------
Name : reposurgeon
Product : Fedora 32
Version : 3.47
Release : 3.fc32
URL : http://www.catb.org/~esr/reposurgeon/
Summary : SCM Repository Manipulation Tool
Description :
Reposurgeon enables risky operations that version-control systems don't want
to let you do, such as editing past comments and metadata and removing
commits. It works with any version control system that can export and import
git fast-import streams, including git, hg, fossil, bzr, CVS and RCS. It can
also read Subversion dump files directly and can thus be used to script
production of very high-quality conversions from Subversion to any supported
DVCS.
--------------------------------------------------------------------------------
Update Information:
Fix Python formatting issues (RHBZ#1780701)
--------------------------------------------------------------------------------
ChangeLog:
* Mon May 25 2020 Maya Rashish <mrashish(a)redhat.com> - 3.47-3
- Fix tab/space inconsistency
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1780701 - Reposurgeon fails during certain operations with Python errors due to formatting
https://bugzilla.redhat.com/show_bug.cgi?id=1780701
--------------------------------------------------------------------------------
This update can be installed with the "dnf" update program. Use
su -c 'dnf upgrade --advisory FEDORA-2020-4d509ff0d2' 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
--------------------------------------------------------------------------------
3 years, 9 months
Fedora 32 Update: rpm-ostree-2020.3-1.fc32
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2020-5aace064f0
2020-06-29 01:59:39.772546
--------------------------------------------------------------------------------
Name : rpm-ostree
Product : Fedora 32
Version : 2020.3
Release : 1.fc32
URL : https://github.com/projectatomic/rpm-ostree
Summary : Hybrid image/package system
Description :
rpm-ostree is a hybrid image/package system. It supports
"composing" packages on a build server into an OSTree repository,
which can then be replicated by client systems with atomic upgrades.
Additionally, unlike many "pure" image systems, with rpm-ostree
each client system can layer on additional packages, providing
a "best of both worlds" approach.
--------------------------------------------------------------------------------
Update Information:
New upstream release: https://github.com/coreos/rpm-ostree/releases/tag/v2020.3
--------------------------------------------------------------------------------
ChangeLog:
--------------------------------------------------------------------------------
This update can be installed with the "dnf" update program. Use
su -c 'dnf upgrade --advisory FEDORA-2020-5aace064f0' 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
--------------------------------------------------------------------------------
3 years, 9 months