The following Fedora 32 Security updates need testing:
Age URL
19
https://bodhi.fedoraproject.org/updates/FEDORA-2020-d242130019
weechat-2.7.1-1.fc32
14
https://bodhi.fedoraproject.org/updates/FEDORA-2020-0e42878ba7
tomcat-9.0.31-2.fc32
14
https://bodhi.fedoraproject.org/updates/FEDORA-2020-07624ddb99
java-11-openjdk-11.0.6.10-0.fc32
8
https://bodhi.fedoraproject.org/updates/FEDORA-2020-e9741a6a15
PyYAML-5.3.1-1.fc32
8
https://bodhi.fedoraproject.org/updates/FEDORA-2020-51d591d035
cyrus-sasl-2.1.27-4.fc32
6
https://bodhi.fedoraproject.org/updates/FEDORA-2020-acab8520f6 light-1.2.2-1.fc32
6
https://bodhi.fedoraproject.org/updates/FEDORA-2020-1b5b3b465d
libmodsecurity-3.0.3-6.fc32
5
https://bodhi.fedoraproject.org/updates/FEDORA-2020-dcde488e68
okular-19.12.3-2.fc32
4
https://bodhi.fedoraproject.org/updates/FEDORA-2020-e62856911b
drupal8-8.8.4-1.fc32
4
https://bodhi.fedoraproject.org/updates/FEDORA-2020-6efa0fc869
coturn-4.5.1.1-3.fc32
3
https://bodhi.fedoraproject.org/updates/FEDORA-2020-e60ce63865
phpMyAdmin-5.0.2-2.fc32
3
https://bodhi.fedoraproject.org/updates/FEDORA-2020-e795f92d79 gd-2.3.0-1.fc32
2
https://bodhi.fedoraproject.org/updates/FEDORA-2020-444c372453 glibc-2.31-2.fc32
0
https://bodhi.fedoraproject.org/updates/FEDORA-2020-4426cc4c6f
mediawiki-1.33.3-1.fc32
0
https://bodhi.fedoraproject.org/updates/FEDORA-2020-11ea78ff8e
telnet-0.17-79.fc32
The following Fedora 32 Critical Path updates have yet to be approved:
Age URL
15
https://bodhi.fedoraproject.org/updates/FEDORA-2020-ce9cd3ba08
libguestfs-1.42.0-2.fc32
15
https://bodhi.fedoraproject.org/updates/FEDORA-2020-bf6c2a3932
libevdev-1.9.0-1.fc32
14
https://bodhi.fedoraproject.org/updates/FEDORA-2020-d0986e01cd pam-1.3.1-24.fc32
selinux-policy-3.14.5-30.fc32
13
https://bodhi.fedoraproject.org/updates/FEDORA-2020-f215552cfc dtc-1.6.0-1.fc32
12
https://bodhi.fedoraproject.org/updates/FEDORA-2020-94d54c93b7 pungi-4.2.1-2.fc32
11
https://bodhi.fedoraproject.org/updates/FEDORA-2020-32a1318d79
thunderbird-68.6.0-1.fc32
11
https://bodhi.fedoraproject.org/updates/FEDORA-2020-f46dea837d pcre2-10.34-8.fc32
11
https://bodhi.fedoraproject.org/updates/FEDORA-2020-d708f52a27
perl-Pod-Usage-1.70-1.fc32
11
https://bodhi.fedoraproject.org/updates/FEDORA-2020-3d60e57f97
ostree-2020.3-2.fc32
10
https://bodhi.fedoraproject.org/updates/FEDORA-2020-323258e6d3
libslirp-4.2.0-1.fc32
10
https://bodhi.fedoraproject.org/updates/FEDORA-2020-9f8d3d996d
authselect-1.2-1.fc32
8
https://bodhi.fedoraproject.org/updates/FEDORA-2020-51d591d035
cyrus-sasl-2.1.27-4.fc32
8
https://bodhi.fedoraproject.org/updates/FEDORA-2020-4e7f86bb96
coreutils-8.32-3.fc32.1
7
https://bodhi.fedoraproject.org/updates/FEDORA-2020-e5f4059044 lorax-32.8-1.fc32
7
https://bodhi.fedoraproject.org/updates/FEDORA-2020-dc1166c81b fuse3-3.9.1-1.fc32
7
https://bodhi.fedoraproject.org/updates/FEDORA-2020-5bd57c239b
gnome-remote-desktop-0.1.8-1.fc32
6
https://bodhi.fedoraproject.org/updates/FEDORA-2020-d984f61022
vte291-0.60.0-2.fc32
5
https://bodhi.fedoraproject.org/updates/FEDORA-2020-b41760de92
pcmanfm-1.3.1-3.D20190224gitc52cc4b2.fc32
5
https://bodhi.fedoraproject.org/updates/FEDORA-2020-b19cfcde49 gdisk-1.0.5-1.fc32
5
https://bodhi.fedoraproject.org/updates/FEDORA-2020-eca7201a3b
lxsession-0.5.5-1.fc32
4
https://bodhi.fedoraproject.org/updates/FEDORA-2020-7f77d0f63a
qt5-qtbase-5.13.2-4.fc32
4
https://bodhi.fedoraproject.org/updates/FEDORA-2020-d73f5db86c
kexec-tools-2.0.20-11.fc32
4
https://bodhi.fedoraproject.org/updates/FEDORA-2020-d85dcb2efc
dnsmasq-2.80-14.fc32
4
https://bodhi.fedoraproject.org/updates/FEDORA-2020-29908b16d2
iio-sensor-proxy-3.0-1.fc32
3
https://bodhi.fedoraproject.org/updates/FEDORA-2020-b7f42704cc
webkit2gtk3-2.28.0-8.fc32
3
https://bodhi.fedoraproject.org/updates/FEDORA-2020-31618d3948
ModemManager-1.12.8-1.fc32 libqmi-1.24.8-1.fc32 usb_modeswitch-2.6.0-1.fc32
3
https://bodhi.fedoraproject.org/updates/FEDORA-2020-de8ceffbd3 ndctl-68-1.fc32
3
https://bodhi.fedoraproject.org/updates/FEDORA-2020-14d9238469
util-linux-2.35.1-7.fc32
2
https://bodhi.fedoraproject.org/updates/FEDORA-2020-b6915f5935
libwacom-1.3-1.fc32
2
https://bodhi.fedoraproject.org/updates/FEDORA-2020-444c372453 glibc-2.31-2.fc32
2
https://bodhi.fedoraproject.org/updates/FEDORA-2020-97271c74d7 which-2.21-19.fc32
2
https://bodhi.fedoraproject.org/updates/FEDORA-2020-02a294e457
mtools-4.0.24-1.fc32
2
https://bodhi.fedoraproject.org/updates/FEDORA-2020-d740facd14 git-2.26.0-1.fc32
0
https://bodhi.fedoraproject.org/updates/FEDORA-2020-31b18adbb1
lvm2-2.03.09-1.fc32
0
https://bodhi.fedoraproject.org/updates/FEDORA-2020-32711482f7
selinux-policy-3.14.5-32.fc32
0
https://bodhi.fedoraproject.org/updates/FEDORA-2020-4ece7634c3
shadow-utils-4.8.1-2.fc32
0
https://bodhi.fedoraproject.org/updates/FEDORA-2020-da3665b861
libusbx-1.0.23-1.fc32
0
https://bodhi.fedoraproject.org/updates/FEDORA-2020-49131317ba
pipewire-0.3.2-1.fc32
0
https://bodhi.fedoraproject.org/updates/FEDORA-2020-5e5f6af77e
plymouth-0.9.4-14.20200325gite31c81f.fc32
The following builds have been pushed to Fedora 32 updates-testing
PySolFC-2.8.0-1.fc32
adb-enhanced-2.5.2-1.fc32
alt-ergo-2.0.0-10.fc32
argbash-2.8.1-4.fc32
buildah-1.14.5-1.fc32
coccinelle-1.0.9-0.2.111d328fee1303f14a5b9def835301d849e41331.fc32
container-selinux-2.127.0-1.fc32
coq-8.11.0-1.fc32
dillo-3.0.5-8.fc32
fedora-developer-portal-1.0.0-0.7.git7fc490c.fc32
ffuf-1.0.2-1.fc32
flat-remix-icon-theme-0.0.20200116-1.fc32
flocq-3.2.0-6.fc32
frama-c-20.0-1.fc32
freeipa-4.8.6-1.fc32
gnome-shell-extension-activities-configurator-80-1.fc32
gnutls-3.6.12-2.fc32
gobuster-3.0.1-1.fc32
hevea-2.34-1.fc32
hexchat-2.14.3-3.fc32
latte-dock-0.9.10-1.fc32
libssh2-1.9.0-5.fc32
lollypop-1.2.31-1.fc32
mate-control-center-1.24.0-3.fc32
mate-terminal-1.24.0-2.fc32
materia-gtk-theme-0.0.20200320-1.fc32
metacity-3.36.1-1.fc32
minder-1.7.2-1.fc32
mirrorlist-server-2.2.0-1.fc32
mkdocs-1.1-4.fc32
ocaml-menhir-20200211-1.fc32
ocaml-merlin-3.3.4-0.1.preview1.fc32
pdfbox-2.0.19-1.fc32
perl-App-cpm-0.990-1.fc32
perl-Encode-3.05-444.fc32
php-doctrine-reflection-1.2.1-1.fc32
php-symfony-polyfill-1.15.0-1.fc32
php-symfony4-4.4.6-1.fc32
protonvpn-cli-2.2.2-7.fc32
python-adb-shell-0.1.3-1.fc32
python-aiopg-1.0.0-2.fc32
python-aiostream-0.4.1-2.fc32
python-boxsdk-2.7.1-1.fc32
python-cloudant-2.12.0-2.fc32
python-cocotb-1.3.1-1.fc32
python-fsspec-0.7.0-1.fc32~bootstrap
python-itanium_demangler-1.0-1.fc32
python-json5-0.9.4-1.fc32
python-mulpyplexer-0.08-1.fc32
python-nessus-file-reader-0.2.0-1.fc32
python-persistent-4.6.4-1.fc32
python-pybtex-0.22.2-9.20200126.e1336fb33c92.fc32
python-xpath-expressions-1.0.2-1.fc32
python3-docs-3.8.2-1.fc32
qgis-3.12.1-1.fc32
quisk-4.1.53-1.fc32
rsyslog-8.2002.0-1.fc32
rust-afterburn-4.3.2-1.fc32
rust-dua-cli-2.3.9-1.fc32
sudo-1.9.0-0.1.b4.fc32
why3-1.3.1-1.fc32
xastir-2.1.4-6.fc32
zenon-0.8.4-9.fc32
Details about builds:
================================================================================
PySolFC-2.8.0-1.fc32 (FEDORA-2020-cf4aaebe0d)
A collection of solitare card games
--------------------------------------------------------------------------------
Update Information:
Bug fix with update to 2.8.0
--------------------------------------------------------------------------------
ChangeLog:
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1816428 - does not launch: mfxutil.py:146 module 'time' has no
attribute 'clock'
https://bugzilla.redhat.com/show_bug.cgi?id=1816428
--------------------------------------------------------------------------------
================================================================================
adb-enhanced-2.5.2-1.fc32 (FEDORA-2020-be952abbbe)
Swiss-army knife for Android testing and development
--------------------------------------------------------------------------------
Update Information:
Initial package for Fedora
--------------------------------------------------------------------------------
ChangeLog:
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1814795 - Review Request: adb-enhanced - Swiss-army knife for Android testing
and development
https://bugzilla.redhat.com/show_bug.cgi?id=1814795
--------------------------------------------------------------------------------
================================================================================
alt-ergo-2.0.0-10.fc32 (FEDORA-2020-bc649d3429)
Automated theorem prover including linear arithmetic
--------------------------------------------------------------------------------
Update Information:
Changes in coq 8.11.0: - See
https://coq.github.io/doc/v8.11/refman/changes.html#version-8-11 Changes in
frama-c 20.0: - Eva [2019/11/25] In the summary, fixes the number of
alarms by category when the RTE plugin is used, and do not count
logical properties in dead code as proven. - Kernel
[2019/10/31] More stringent verifications on the use of ghost
variable in non ghost-code. Fixes #2421 - MdR [2019/10/31] New plug-in
Markdown-Report (MdR) for markdown and SARIF outputs - Eva
[2019/10/23] In the summary, fixes the total number of functions
(and thus the computed analysis coverage). - Eva [2019/10/23] New option
-eva-auto-loop-unroll N to unroll all loops whose number of
iterations can be easily bounded by <N>. - Eva [2019/10/21] New octagon
domain inferring relations of the form l ��� ��X��Y ��� e between pairs
of integer variables X and Y. Enabled with option -eva-octagon-
domain. Only infers relations between pairs of scalar variables
occuring in a same instruction. Intra-procedural by default;
octagons can be propagated through function calls with option
-eva-octagon-through-calls. - ACSL [2019/10/04] Support for ghost
parameters - Eva [2019/10/04] Evaluates ACSL predicates
\is_plus_infinity and \is_minus_infinity. - Kernel
[2019/10/04] Supports macro INFINITY and NAN. - Config [2019/09/27] ocp-
indent 1.7.0 is now used for indentation - Eva [2019/09/16] Dynamic
registration of abstract values and domains: developers of new
domains no longer need to modify Eva's engine. - Kernel [2019/09/13] Fixes
Hptmap on keys with id greater than 2^28. - Makefile [2019/09/12] Fixes #2378
- bytecode only compilation (patch contributed by madroach) and
use -thread where needed. - Eva [2019/08/21] Fixes the reduction by the
negation of \initialized and \dangling predicates on imprecise
lvalues. - Kernel [2019/08/20] Fixes a rare but critical bug which occured
when Frama-C internally switched the current project in presence
of >2 projects and destroyed the old current project at about the
same time: the Frama-C internal state became inconsistent and lead
to unsound computations and crashes. It may be revealed to the
end-user when using a long sequence of -then-replace (at least 3
of them). - Kernel [2019/08/20] Fixed sequence of -removed-projects and
-then options. - Ptests [2019/08/05] Add new MODULE directive
for compiling and loading an auxiliary OCaml module for a test -
Kernel [2019/08/05] Add -keep-unused-types normalization option - Libc
[2019/08/05] Remove obsolete (and forcing cpp error) builtins.h - Kernel
[2019/08/02] Functions over visitor's behaviors have been moved
from Cil into a new module Visitor_behavior. Apply the migration
script potassium2calcium.sh to update your plug-ins automatically. - Sparecode
[2019/07/26] Removed from Db. Use proper Sparecode API instead. - Kernel
[2019/07/24] OCaml version greater than or equal to 4.05.0 required. - Kernel
[2019/07/24] Improve placeholders handling in -cpp-command - Kernel
[2019/07/23] Types in Properties are now records and not tuples - Eva
[2019/07/09] Supports ACSL floating-point comparison operators
eq_float, le_float, eq_double, le_double, etc. - Kernel [2019/06/28]
removes AST constructors TCoerce, TCoerceE, PLCoercion,
PLCoercionE, Psubtype and PLsubtype - Kernel [2019/06/20] fixes dangling
ref when removing unused static local Changes in ocaml-menhir 20200211: - See
https://gitlab.inria.fr/fpottier/menhir/-/blob/master/CHANGES.md Changes in
why3 1.3.1: - See
https://lists.gforge.inria.fr/pipermail/why3-club/2020-March/002137.html and
https://lists.gforge.inria.fr/pipermail/why3-club/2020-March/002174.html These
packages were simply rebuilt due to the other changes: - alt-ergo - coccinelle
- flocq - zenon ---- Package pre-release version which supports OCaml 4.10
(RHBZ#1817182).
--------------------------------------------------------------------------------
ChangeLog:
* Tue Mar 24 2020 Jerry James <loganjerry(a)gmail.com> - 2.0.0-10
- Rebuild for ocaml-menhir 20200211
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1795083 - The frama-c and frama-c-gui programs abort on startup in Rawhide
(f32)
https://bugzilla.redhat.com/show_bug.cgi?id=1795083
[ 2 ] Bug #1808111 - coq fails to build with Python 3.9: 'caml_young_ptr'
undeclared
https://bugzilla.redhat.com/show_bug.cgi?id=1808111
[ 3 ] Bug #1817182 - coccinelle is not installable in F32
https://bugzilla.redhat.com/show_bug.cgi?id=1817182
--------------------------------------------------------------------------------
================================================================================
argbash-2.8.1-4.fc32 (FEDORA-2020-9e8427c40a)
Bash argument parsing code generator
--------------------------------------------------------------------------------
Update Information:
Fixes a packaging bug introduced during the Fedora 32 mass-rebuild. This package
is upgradeable again.
--------------------------------------------------------------------------------
ChangeLog:
--------------------------------------------------------------------------------
================================================================================
buildah-1.14.5-1.fc32 (FEDORA-2020-58b2b98641)
A command line tool used for creating OCI Images
--------------------------------------------------------------------------------
Update Information:
Autobuilt v1.14.5 ---- Autobuilt v1.14.4 ---- Autobuilt v1.14.3 ----
Update to latest version.
--------------------------------------------------------------------------------
ChangeLog:
* Fri Mar 27 2020 RH Container Bot <rhcontainerbot(a)fedoraproject.org> - 1.14.5-1
- autobuilt v1.14.5
* Thu Mar 26 2020 RH Container Bot <rhcontainerbot(a)fedoraproject.org> - 1.14.4-1
- autobuilt v1.14.4
* Wed Mar 18 2020 RH Container Bot <rhcontainerbot(a)fedoraproject.org> - 1.14.3-1
- autobuilt v1.14.3
* Thu Mar 12 2020 Lokesh Mandvekar <lsm5(a)fedoraproject.org - 1.14.2-1
- correct upgrade path from f31
* Wed Mar 4 2020 dwalsh(a)fedoraproject.org - 1.14.2-0.git066e446c
- Update to latest version
* Wed Feb 5 2020 RH Container Bot <rhcontainerbot(a)fedoraproject.org> -
1.14.0-0.35.dev.gitf1cf92b
- autobuilt f1cf92b
* Sat Feb 1 2020 RH Container Bot <rhcontainerbot(a)fedoraproject.org> -
1.14.0-0.34.dev.gitf89b081
- autobuilt f89b081
* Fri Jan 31 2020 RH Container Bot <rhcontainerbot(a)fedoraproject.org> -
1.14.0-0.33.dev.git3177db5
- autobuilt 3177db5
* Thu Jan 30 2020 RH Container Bot <rhcontainerbot(a)fedoraproject.org> -
1.14.0-0.32.dev.git4131dfa
- autobuilt 4131dfa
--------------------------------------------------------------------------------
================================================================================
coccinelle-1.0.9-0.2.111d328fee1303f14a5b9def835301d849e41331.fc32
(FEDORA-2020-bc649d3429)
Semantic patching for Linux (spatch)
--------------------------------------------------------------------------------
Update Information:
Changes in coq 8.11.0: - See
https://coq.github.io/doc/v8.11/refman/changes.html#version-8-11 Changes in
frama-c 20.0: - Eva [2019/11/25] In the summary, fixes the number of
alarms by category when the RTE plugin is used, and do not count
logical properties in dead code as proven. - Kernel
[2019/10/31] More stringent verifications on the use of ghost
variable in non ghost-code. Fixes #2421 - MdR [2019/10/31] New plug-in
Markdown-Report (MdR) for markdown and SARIF outputs - Eva
[2019/10/23] In the summary, fixes the total number of functions
(and thus the computed analysis coverage). - Eva [2019/10/23] New option
-eva-auto-loop-unroll N to unroll all loops whose number of
iterations can be easily bounded by <N>. - Eva [2019/10/21] New octagon
domain inferring relations of the form l ��� ��X��Y ��� e between pairs
of integer variables X and Y. Enabled with option -eva-octagon-
domain. Only infers relations between pairs of scalar variables
occuring in a same instruction. Intra-procedural by default;
octagons can be propagated through function calls with option
-eva-octagon-through-calls. - ACSL [2019/10/04] Support for ghost
parameters - Eva [2019/10/04] Evaluates ACSL predicates
\is_plus_infinity and \is_minus_infinity. - Kernel
[2019/10/04] Supports macro INFINITY and NAN. - Config [2019/09/27] ocp-
indent 1.7.0 is now used for indentation - Eva [2019/09/16] Dynamic
registration of abstract values and domains: developers of new
domains no longer need to modify Eva's engine. - Kernel [2019/09/13] Fixes
Hptmap on keys with id greater than 2^28. - Makefile [2019/09/12] Fixes #2378
- bytecode only compilation (patch contributed by madroach) and
use -thread where needed. - Eva [2019/08/21] Fixes the reduction by the
negation of \initialized and \dangling predicates on imprecise
lvalues. - Kernel [2019/08/20] Fixes a rare but critical bug which occured
when Frama-C internally switched the current project in presence
of >2 projects and destroyed the old current project at about the
same time: the Frama-C internal state became inconsistent and lead
to unsound computations and crashes. It may be revealed to the
end-user when using a long sequence of -then-replace (at least 3
of them). - Kernel [2019/08/20] Fixed sequence of -removed-projects and
-then options. - Ptests [2019/08/05] Add new MODULE directive
for compiling and loading an auxiliary OCaml module for a test -
Kernel [2019/08/05] Add -keep-unused-types normalization option - Libc
[2019/08/05] Remove obsolete (and forcing cpp error) builtins.h - Kernel
[2019/08/02] Functions over visitor's behaviors have been moved
from Cil into a new module Visitor_behavior. Apply the migration
script potassium2calcium.sh to update your plug-ins automatically. - Sparecode
[2019/07/26] Removed from Db. Use proper Sparecode API instead. - Kernel
[2019/07/24] OCaml version greater than or equal to 4.05.0 required. - Kernel
[2019/07/24] Improve placeholders handling in -cpp-command - Kernel
[2019/07/23] Types in Properties are now records and not tuples - Eva
[2019/07/09] Supports ACSL floating-point comparison operators
eq_float, le_float, eq_double, le_double, etc. - Kernel [2019/06/28]
removes AST constructors TCoerce, TCoerceE, PLCoercion,
PLCoercionE, Psubtype and PLsubtype - Kernel [2019/06/20] fixes dangling
ref when removing unused static local Changes in ocaml-menhir 20200211: - See
https://gitlab.inria.fr/fpottier/menhir/-/blob/master/CHANGES.md Changes in
why3 1.3.1: - See
https://lists.gforge.inria.fr/pipermail/why3-club/2020-March/002137.html and
https://lists.gforge.inria.fr/pipermail/why3-club/2020-March/002174.html These
packages were simply rebuilt due to the other changes: - alt-ergo - coccinelle
- flocq - zenon ---- Package pre-release version which supports OCaml 4.10
(RHBZ#1817182).
--------------------------------------------------------------------------------
ChangeLog:
* Wed Mar 25 2020 Jerry James <loganjerry(a)gmail.com> - 1.0.9-0.2
- Rebuild for ocaml-menhir 20200211
* Wed Mar 25 2020 Richard W.M. Jones <rjones(a)redhat.com> - 1.0.9-0.1
- Package pre-release version which supports OCaml 4.10 (RHBZ#1817182).
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1795083 - The frama-c and frama-c-gui programs abort on startup in Rawhide
(f32)
https://bugzilla.redhat.com/show_bug.cgi?id=1795083
[ 2 ] Bug #1808111 - coq fails to build with Python 3.9: 'caml_young_ptr'
undeclared
https://bugzilla.redhat.com/show_bug.cgi?id=1808111
[ 3 ] Bug #1817182 - coccinelle is not installable in F32
https://bugzilla.redhat.com/show_bug.cgi?id=1817182
--------------------------------------------------------------------------------
================================================================================
container-selinux-2.127.0-1.fc32 (FEDORA-2020-417b95a92b)
SELinux policies for container runtimes
--------------------------------------------------------------------------------
Update Information:
Autobuilt v2.127.0
--------------------------------------------------------------------------------
ChangeLog:
* Fri Mar 27 2020 RH Container Bot <rhcontainerbot(a)fedoraproject.org> - 2:2.127.0-1
- autobuilt v2.127.0
* Thu Mar 26 2020 Dan Walsh <dwalsh(a)fedoraproject.org> - 2:2.126.0-1
- Add container_kvm_t for kata containers
- Add contaienr_init_t for systemd based containers
- Install container_contexts file
* Mon Mar 23 2020 RH Container Bot <rhcontainerbot(a)fedoraproject.org> - 2:2.125.2-1
- autobuilt v2.125.2
* Mon Mar 23 2020 RH Container Bot <rhcontainerbot(a)fedoraproject.org> - 2:2.125.1-1
- autobuilt v2.125.1
* Fri Mar 20 2020 RH Container Bot <rhcontainerbot(a)fedoraproject.org> - 2:2.125.0-1
- autobuilt v2.125.0
--------------------------------------------------------------------------------
================================================================================
coq-8.11.0-1.fc32 (FEDORA-2020-bc649d3429)
Proof management system
--------------------------------------------------------------------------------
Update Information:
Changes in coq 8.11.0: - See
https://coq.github.io/doc/v8.11/refman/changes.html#version-8-11 Changes in
frama-c 20.0: - Eva [2019/11/25] In the summary, fixes the number of
alarms by category when the RTE plugin is used, and do not count
logical properties in dead code as proven. - Kernel
[2019/10/31] More stringent verifications on the use of ghost
variable in non ghost-code. Fixes #2421 - MdR [2019/10/31] New plug-in
Markdown-Report (MdR) for markdown and SARIF outputs - Eva
[2019/10/23] In the summary, fixes the total number of functions
(and thus the computed analysis coverage). - Eva [2019/10/23] New option
-eva-auto-loop-unroll N to unroll all loops whose number of
iterations can be easily bounded by <N>. - Eva [2019/10/21] New octagon
domain inferring relations of the form l ��� ��X��Y ��� e between pairs
of integer variables X and Y. Enabled with option -eva-octagon-
domain. Only infers relations between pairs of scalar variables
occuring in a same instruction. Intra-procedural by default;
octagons can be propagated through function calls with option
-eva-octagon-through-calls. - ACSL [2019/10/04] Support for ghost
parameters - Eva [2019/10/04] Evaluates ACSL predicates
\is_plus_infinity and \is_minus_infinity. - Kernel
[2019/10/04] Supports macro INFINITY and NAN. - Config [2019/09/27] ocp-
indent 1.7.0 is now used for indentation - Eva [2019/09/16] Dynamic
registration of abstract values and domains: developers of new
domains no longer need to modify Eva's engine. - Kernel [2019/09/13] Fixes
Hptmap on keys with id greater than 2^28. - Makefile [2019/09/12] Fixes #2378
- bytecode only compilation (patch contributed by madroach) and
use -thread where needed. - Eva [2019/08/21] Fixes the reduction by the
negation of \initialized and \dangling predicates on imprecise
lvalues. - Kernel [2019/08/20] Fixes a rare but critical bug which occured
when Frama-C internally switched the current project in presence
of >2 projects and destroyed the old current project at about the
same time: the Frama-C internal state became inconsistent and lead
to unsound computations and crashes. It may be revealed to the
end-user when using a long sequence of -then-replace (at least 3
of them). - Kernel [2019/08/20] Fixed sequence of -removed-projects and
-then options. - Ptests [2019/08/05] Add new MODULE directive
for compiling and loading an auxiliary OCaml module for a test -
Kernel [2019/08/05] Add -keep-unused-types normalization option - Libc
[2019/08/05] Remove obsolete (and forcing cpp error) builtins.h - Kernel
[2019/08/02] Functions over visitor's behaviors have been moved
from Cil into a new module Visitor_behavior. Apply the migration
script potassium2calcium.sh to update your plug-ins automatically. - Sparecode
[2019/07/26] Removed from Db. Use proper Sparecode API instead. - Kernel
[2019/07/24] OCaml version greater than or equal to 4.05.0 required. - Kernel
[2019/07/24] Improve placeholders handling in -cpp-command - Kernel
[2019/07/23] Types in Properties are now records and not tuples - Eva
[2019/07/09] Supports ACSL floating-point comparison operators
eq_float, le_float, eq_double, le_double, etc. - Kernel [2019/06/28]
removes AST constructors TCoerce, TCoerceE, PLCoercion,
PLCoercionE, Psubtype and PLsubtype - Kernel [2019/06/20] fixes dangling
ref when removing unused static local Changes in ocaml-menhir 20200211: - See
https://gitlab.inria.fr/fpottier/menhir/-/blob/master/CHANGES.md Changes in
why3 1.3.1: - See
https://lists.gforge.inria.fr/pipermail/why3-club/2020-March/002137.html and
https://lists.gforge.inria.fr/pipermail/why3-club/2020-March/002174.html These
packages were simply rebuilt due to the other changes: - alt-ergo - coccinelle
- flocq - zenon ---- Package pre-release version which supports OCaml 4.10
(RHBZ#1817182).
--------------------------------------------------------------------------------
ChangeLog:
* Wed Mar 25 2020 Jerry James <loganjerry(a)gmail.com> - 8.11.0-1
- Version 8.11.0
- Drop upstreamed 0002-fix-signal-polling-for-OCaml-4.10.patch
- Stop bundling the python3 runtime for antlr4
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1795083 - The frama-c and frama-c-gui programs abort on startup in Rawhide
(f32)
https://bugzilla.redhat.com/show_bug.cgi?id=1795083
[ 2 ] Bug #1808111 - coq fails to build with Python 3.9: 'caml_young_ptr'
undeclared
https://bugzilla.redhat.com/show_bug.cgi?id=1808111
[ 3 ] Bug #1817182 - coccinelle is not installable in F32
https://bugzilla.redhat.com/show_bug.cgi?id=1817182
--------------------------------------------------------------------------------
================================================================================
dillo-3.0.5-8.fc32 (FEDORA-2020-c817c2e85b)
Very small and fast GUI web browser
--------------------------------------------------------------------------------
Update Information:
Bugfix
--------------------------------------------------------------------------------
ChangeLog:
* Fri Mar 27 2020 Artem Polishchuk <ego.cordatus(a)gmail.com> - 3.0.5-8
- Fix/workaround FTBFS | RHBZ#1799282
- Packaging improvements
* Tue Jan 28 2020 Fedora Release Engineering <releng(a)fedoraproject.org> - 3.0.5-7
- Rebuilt for
https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1799282 - dillo: FTBFS in Fedora rawhide/f32
https://bugzilla.redhat.com/show_bug.cgi?id=1799282
--------------------------------------------------------------------------------
================================================================================
fedora-developer-portal-1.0.0-0.7.git7fc490c.fc32 (FEDORA-2020-bdb3ea6c30)
Fedora Developer Portal
--------------------------------------------------------------------------------
Update Information:
- Use more deps from Fedora repos instead of bundling - Fix FTBFS - Use chromium
instead of epiphany-runtime
--------------------------------------------------------------------------------
ChangeLog:
* Thu Mar 26 2020 Frantisek Zatloukal <fzatlouk(a)redhat.com> - 1.0.0-0.7.git7fc490c
- Use more deps from Fedora repos instead of bundling
- Fix FTBFS
- Use chromium instead of epiphany-runtime
* Tue Jan 28 2020 Fedora Release Engineering <releng(a)fedoraproject.org> -
1.0.0-0.6.git7fc490c
- Rebuilt for
https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
--------------------------------------------------------------------------------
================================================================================
ffuf-1.0.2-1.fc32 (FEDORA-2020-62d527c54b)
Fast web fuzzer written in Go
--------------------------------------------------------------------------------
Update Information:
Initial package for Fedora
--------------------------------------------------------------------------------
ChangeLog:
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1816258 - Review Request: ffuf - Fast web fuzzer written in Go
https://bugzilla.redhat.com/show_bug.cgi?id=1816258
--------------------------------------------------------------------------------
================================================================================
flat-remix-icon-theme-0.0.20200116-1.fc32 (FEDORA-2020-00bd64f75a)
Icon theme inspired on material design
--------------------------------------------------------------------------------
Update Information:
Update to latest version
--------------------------------------------------------------------------------
ChangeLog:
* Fri Mar 27 2020 Artem Polishchuk <ego.cordatus(a)gmail.com> - 0.0.20200116-1
- Update to 20200116
--------------------------------------------------------------------------------
================================================================================
flocq-3.2.0-6.fc32 (FEDORA-2020-bc649d3429)
Formalization of floating point numbers for Coq
--------------------------------------------------------------------------------
Update Information:
Changes in coq 8.11.0: - See
https://coq.github.io/doc/v8.11/refman/changes.html#version-8-11 Changes in
frama-c 20.0: - Eva [2019/11/25] In the summary, fixes the number of
alarms by category when the RTE plugin is used, and do not count
logical properties in dead code as proven. - Kernel
[2019/10/31] More stringent verifications on the use of ghost
variable in non ghost-code. Fixes #2421 - MdR [2019/10/31] New plug-in
Markdown-Report (MdR) for markdown and SARIF outputs - Eva
[2019/10/23] In the summary, fixes the total number of functions
(and thus the computed analysis coverage). - Eva [2019/10/23] New option
-eva-auto-loop-unroll N to unroll all loops whose number of
iterations can be easily bounded by <N>. - Eva [2019/10/21] New octagon
domain inferring relations of the form l ��� ��X��Y ��� e between pairs
of integer variables X and Y. Enabled with option -eva-octagon-
domain. Only infers relations between pairs of scalar variables
occuring in a same instruction. Intra-procedural by default;
octagons can be propagated through function calls with option
-eva-octagon-through-calls. - ACSL [2019/10/04] Support for ghost
parameters - Eva [2019/10/04] Evaluates ACSL predicates
\is_plus_infinity and \is_minus_infinity. - Kernel
[2019/10/04] Supports macro INFINITY and NAN. - Config [2019/09/27] ocp-
indent 1.7.0 is now used for indentation - Eva [2019/09/16] Dynamic
registration of abstract values and domains: developers of new
domains no longer need to modify Eva's engine. - Kernel [2019/09/13] Fixes
Hptmap on keys with id greater than 2^28. - Makefile [2019/09/12] Fixes #2378
- bytecode only compilation (patch contributed by madroach) and
use -thread where needed. - Eva [2019/08/21] Fixes the reduction by the
negation of \initialized and \dangling predicates on imprecise
lvalues. - Kernel [2019/08/20] Fixes a rare but critical bug which occured
when Frama-C internally switched the current project in presence
of >2 projects and destroyed the old current project at about the
same time: the Frama-C internal state became inconsistent and lead
to unsound computations and crashes. It may be revealed to the
end-user when using a long sequence of -then-replace (at least 3
of them). - Kernel [2019/08/20] Fixed sequence of -removed-projects and
-then options. - Ptests [2019/08/05] Add new MODULE directive
for compiling and loading an auxiliary OCaml module for a test -
Kernel [2019/08/05] Add -keep-unused-types normalization option - Libc
[2019/08/05] Remove obsolete (and forcing cpp error) builtins.h - Kernel
[2019/08/02] Functions over visitor's behaviors have been moved
from Cil into a new module Visitor_behavior. Apply the migration
script potassium2calcium.sh to update your plug-ins automatically. - Sparecode
[2019/07/26] Removed from Db. Use proper Sparecode API instead. - Kernel
[2019/07/24] OCaml version greater than or equal to 4.05.0 required. - Kernel
[2019/07/24] Improve placeholders handling in -cpp-command - Kernel
[2019/07/23] Types in Properties are now records and not tuples - Eva
[2019/07/09] Supports ACSL floating-point comparison operators
eq_float, le_float, eq_double, le_double, etc. - Kernel [2019/06/28]
removes AST constructors TCoerce, TCoerceE, PLCoercion,
PLCoercionE, Psubtype and PLsubtype - Kernel [2019/06/20] fixes dangling
ref when removing unused static local Changes in ocaml-menhir 20200211: - See
https://gitlab.inria.fr/fpottier/menhir/-/blob/master/CHANGES.md Changes in
why3 1.3.1: - See
https://lists.gforge.inria.fr/pipermail/why3-club/2020-March/002137.html and
https://lists.gforge.inria.fr/pipermail/why3-club/2020-March/002174.html These
packages were simply rebuilt due to the other changes: - alt-ergo - coccinelle
- flocq - zenon ---- Package pre-release version which supports OCaml 4.10
(RHBZ#1817182).
--------------------------------------------------------------------------------
ChangeLog:
* Mon Mar 23 2020 Jerry James <loganjerry(a)gmail.com> - 3.2.0-6
- Rebuild for coq 8.11.0
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1795083 - The frama-c and frama-c-gui programs abort on startup in Rawhide
(f32)
https://bugzilla.redhat.com/show_bug.cgi?id=1795083
[ 2 ] Bug #1808111 - coq fails to build with Python 3.9: 'caml_young_ptr'
undeclared
https://bugzilla.redhat.com/show_bug.cgi?id=1808111
[ 3 ] Bug #1817182 - coccinelle is not installable in F32
https://bugzilla.redhat.com/show_bug.cgi?id=1817182
--------------------------------------------------------------------------------
================================================================================
frama-c-20.0-1.fc32 (FEDORA-2020-bc649d3429)
Framework for source code analysis of C software
--------------------------------------------------------------------------------
Update Information:
Changes in coq 8.11.0: - See
https://coq.github.io/doc/v8.11/refman/changes.html#version-8-11 Changes in
frama-c 20.0: - Eva [2019/11/25] In the summary, fixes the number of
alarms by category when the RTE plugin is used, and do not count
logical properties in dead code as proven. - Kernel
[2019/10/31] More stringent verifications on the use of ghost
variable in non ghost-code. Fixes #2421 - MdR [2019/10/31] New plug-in
Markdown-Report (MdR) for markdown and SARIF outputs - Eva
[2019/10/23] In the summary, fixes the total number of functions
(and thus the computed analysis coverage). - Eva [2019/10/23] New option
-eva-auto-loop-unroll N to unroll all loops whose number of
iterations can be easily bounded by <N>. - Eva [2019/10/21] New octagon
domain inferring relations of the form l ��� ��X��Y ��� e between pairs
of integer variables X and Y. Enabled with option -eva-octagon-
domain. Only infers relations between pairs of scalar variables
occuring in a same instruction. Intra-procedural by default;
octagons can be propagated through function calls with option
-eva-octagon-through-calls. - ACSL [2019/10/04] Support for ghost
parameters - Eva [2019/10/04] Evaluates ACSL predicates
\is_plus_infinity and \is_minus_infinity. - Kernel
[2019/10/04] Supports macro INFINITY and NAN. - Config [2019/09/27] ocp-
indent 1.7.0 is now used for indentation - Eva [2019/09/16] Dynamic
registration of abstract values and domains: developers of new
domains no longer need to modify Eva's engine. - Kernel [2019/09/13] Fixes
Hptmap on keys with id greater than 2^28. - Makefile [2019/09/12] Fixes #2378
- bytecode only compilation (patch contributed by madroach) and
use -thread where needed. - Eva [2019/08/21] Fixes the reduction by the
negation of \initialized and \dangling predicates on imprecise
lvalues. - Kernel [2019/08/20] Fixes a rare but critical bug which occured
when Frama-C internally switched the current project in presence
of >2 projects and destroyed the old current project at about the
same time: the Frama-C internal state became inconsistent and lead
to unsound computations and crashes. It may be revealed to the
end-user when using a long sequence of -then-replace (at least 3
of them). - Kernel [2019/08/20] Fixed sequence of -removed-projects and
-then options. - Ptests [2019/08/05] Add new MODULE directive
for compiling and loading an auxiliary OCaml module for a test -
Kernel [2019/08/05] Add -keep-unused-types normalization option - Libc
[2019/08/05] Remove obsolete (and forcing cpp error) builtins.h - Kernel
[2019/08/02] Functions over visitor's behaviors have been moved
from Cil into a new module Visitor_behavior. Apply the migration
script potassium2calcium.sh to update your plug-ins automatically. - Sparecode
[2019/07/26] Removed from Db. Use proper Sparecode API instead. - Kernel
[2019/07/24] OCaml version greater than or equal to 4.05.0 required. - Kernel
[2019/07/24] Improve placeholders handling in -cpp-command - Kernel
[2019/07/23] Types in Properties are now records and not tuples - Eva
[2019/07/09] Supports ACSL floating-point comparison operators
eq_float, le_float, eq_double, le_double, etc. - Kernel [2019/06/28]
removes AST constructors TCoerce, TCoerceE, PLCoercion,
PLCoercionE, Psubtype and PLsubtype - Kernel [2019/06/20] fixes dangling
ref when removing unused static local Changes in ocaml-menhir 20200211: - See
https://gitlab.inria.fr/fpottier/menhir/-/blob/master/CHANGES.md Changes in
why3 1.3.1: - See
https://lists.gforge.inria.fr/pipermail/why3-club/2020-March/002137.html and
https://lists.gforge.inria.fr/pipermail/why3-club/2020-March/002174.html These
packages were simply rebuilt due to the other changes: - alt-ergo - coccinelle
- flocq - zenon ---- Package pre-release version which supports OCaml 4.10
(RHBZ#1817182).
--------------------------------------------------------------------------------
ChangeLog:
* Wed Mar 25 2020 Jerry James <loganjerry(a)gmail.com> - 20.0-1
- Update to Calcium 20.0
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1795083 - The frama-c and frama-c-gui programs abort on startup in Rawhide
(f32)
https://bugzilla.redhat.com/show_bug.cgi?id=1795083
[ 2 ] Bug #1808111 - coq fails to build with Python 3.9: 'caml_young_ptr'
undeclared
https://bugzilla.redhat.com/show_bug.cgi?id=1808111
[ 3 ] Bug #1817182 - coccinelle is not installable in F32
https://bugzilla.redhat.com/show_bug.cgi?id=1817182
--------------------------------------------------------------------------------
================================================================================
freeipa-4.8.6-1.fc32 (FEDORA-2020-e3a79248dc)
The Identity, Policy and Audit system
--------------------------------------------------------------------------------
Update Information:
New upstream release. Please see release notest at
https://www.freeipa.org/page/Releases/4.8.6 and
https://www.freeipa.org/page/Releases/4.8.5 Major highlights: * openDNSSEC 2.1
support * AJP connector protection for Dogtag/FreeIPA communication for
CVE-2020-1938 mitigation. Fedora and RHEL do not force encrypted AJP connector
by default with 9.0.31 but FreeIPA 4.8.5 will convert to encrypted AJP channel
on upgrade or at a new deployment. Use of AJP is limited to localhost
connections with integrated CA already. * Default authentication indicators are
now documented in FreeIPA workshop,
https://freeipa.readthedocs.io/en/latest/workshop/11-kerberos-ticket-poli...
* FreeIPA SELinux policy is now part of the upstream packaging and replaces
distribution-wide policies. * New internal mechanism to promote Trust Agents in
ipa-adtrust-install, to allow configuring schema compatibility plugin on remote
replicas. * New "ipa-cacert-manage delete" command to allow pruning a CA
certificate from LDAP store
--------------------------------------------------------------------------------
ChangeLog:
* Fri Mar 27 2020 Alexander Bokovoy <abokovoy(a)redhat.com> - 4.8.6-1
- Upstream release FreeIPA 4.8.6
* Sat Mar 21 2020 Alexander Bokovoy <abokovoy(a)redhat.com> - 4.8.5-2
- Roll up post-release fixes from upstream
- Move freeipa-selinux to be a dependency of freeipa-common
* Wed Mar 18 2020 Alexander Bokovoy <abokovoy(a)redhat.com> - 4.8.5-1
- Upstream release FreeIPA 4.8.5
- Depend on selinux-policy-devel 3.14.6-9 for build due to a makefile issue in
SELinux external policy support
* Tue Mar 3 2020 Alexander Bokovoy <abokovoy(a)redhat.com> - 4.8.4-8
- Support opendnssec 2.1
- Resolves: #1809492
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1810963 - Support OpenDNSSEC 2.1 in FreeIPA
https://bugzilla.redhat.com/show_bug.cgi?id=1810963
[ 2 ] Bug #1812169 - Running ipa-replica-install fails with Certificate issuance failed
(CA_UNREACHABLE: Server at
https://ipa-master.example.test/ipa/xml failed request, will
retry: 4016 (RPC failed at server. Failed to authenticate to CA REST API).)
https://bugzilla.redhat.com/show_bug.cgi?id=1812169
--------------------------------------------------------------------------------
================================================================================
gnome-shell-extension-activities-configurator-80-1.fc32 (FEDORA-2020-34273f26f1)
Configure the top bar and Activities button in GNOME Shell
--------------------------------------------------------------------------------
Update Information:
Bump to upstream version 80, which fixes support for GNOME 3.36+.
--------------------------------------------------------------------------------
ChangeLog:
* Fri Mar 27 2020 Andrew Toskin <andrew(a)tosk.in> - 80-1
- Bump to upstream version 80, which fixes support for GNOME 3.36.
--------------------------------------------------------------------------------
================================================================================
gnutls-3.6.12-2.fc32 (FEDORA-2020-62d4390803)
A TLS protocol implementation
--------------------------------------------------------------------------------
Update Information:
- Remove gpgkey file from sources - Backport upstream FIPS-140 power-on self-
tests changes (#1813384) - Backport of a bug fix for gnutls-serv (#1816583)
--------------------------------------------------------------------------------
ChangeLog:
* Thu Mar 26 2020 Anderson Sasaki <ansasaki(a)redhat.com> - 3.6.12-2
- Fix FIPS POST (#1813384)
- Fix gnutls-serv --echo to not exit when a message is received (#1816583)
--------------------------------------------------------------------------------
================================================================================
gobuster-3.0.1-1.fc32 (FEDORA-2020-ff1813130f)
Directory/File, DNS and VHost busting tool written in Go
--------------------------------------------------------------------------------
Update Information:
Initial package for Fedora
--------------------------------------------------------------------------------
ChangeLog:
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1816605 - Review Request: gobuster - Directory/File, DNS and VHost busting
tool
https://bugzilla.redhat.com/show_bug.cgi?id=1816605
--------------------------------------------------------------------------------
================================================================================
hevea-2.34-1.fc32 (FEDORA-2020-027714fa15)
LaTeX to HTML translator
--------------------------------------------------------------------------------
Update Information:
Changes in version 2.34: - Add command \formatlinks for greater control over
navigation links.
--------------------------------------------------------------------------------
ChangeLog:
* Fri Mar 27 2020 Jerry James <loganjerry(a)gmail.com> - 2.34-1
- Version 2.34
--------------------------------------------------------------------------------
================================================================================
hexchat-2.14.3-3.fc32 (FEDORA-2020-302b6ed214)
A popular and easy to use graphical IRC (chat) client
--------------------------------------------------------------------------------
Update Information:
Add patch to link better against python3.8. Fixes #1817862
--------------------------------------------------------------------------------
ChangeLog:
* Fri Mar 27 2020 Kevin Fenzi <kevin(a)scrye.com> - 2.14.3-3
- Add patch to link better against python3.8. Fixes #1817862
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1817862 - AutoLoad failed for: /usr/lib64/hexchat/plugins/python.so |
python.so: undefined symbol: PyExc_RuntimeError
https://bugzilla.redhat.com/show_bug.cgi?id=1817862
--------------------------------------------------------------------------------
================================================================================
latte-dock-0.9.10-1.fc32 (FEDORA-2020-f265e5d963)
Latte is a dock based on plasma frameworks
--------------------------------------------------------------------------------
Update Information:
Upgrade to version 0.9.10
--------------------------------------------------------------------------------
ChangeLog:
* Fri Mar 27 2020 Marc Deop marc(a)marcdeop.com - 0.9.10-1
- Upgrade to version 0.9.10
--------------------------------------------------------------------------------
================================================================================
libssh2-1.9.0-5.fc32 (FEDORA-2020-e7fdb18cfb)
A library implementing the SSH2 protocol
--------------------------------------------------------------------------------
Update Information:
This update fixes the package's metadata to use https:// URLs (the upstream
website currently responds with a "403 Forbidden" error for
http://www.libssh2.org/).
--------------------------------------------------------------------------------
ChangeLog:
* Fri Mar 27 2020 Paul Howarth <paul(a)city-fan.org> - 1.9.0-5
- Switch to https:// upstream URLs
- Full groff (not just groff-base) needed for the mansyntax check
--------------------------------------------------------------------------------
================================================================================
lollypop-1.2.31-1.fc32 (FEDORA-2020-d663d28570)
Music player for GNOME
--------------------------------------------------------------------------------
Update Information:
Update to 1.2.31-1 ---- Update to 1.2.30-1 ---- Update to 1.2.29-1 ----
Update to 1.2.26-1
--------------------------------------------------------------------------------
ChangeLog:
* Fri Mar 27 2020 Martin Gansser <martinkg(a)fedoraproject.org> - 1.2.31-1
- Update to 1.2.31
* Fri Mar 27 2020 Martin Gansser <martinkg(a)fedoraproject.org> - 1.2.30-1
- Update to 1.2.30
* Sun Mar 22 2020 Martin Gansser <martinkg(a)fedoraproject.org> - 1.2.29-1
- Update to 1.2.29
* Fri Mar 20 2020 Martin Gansser <martinkg(a)fedoraproject.org> - 1.2.26-1
- Update to 1.2.26
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1815183 - lollypop-1.2.26 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1815183
[ 2 ] Bug #1815566 - lollypop-1.2.29 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1815566
[ 3 ] Bug #1817964 - lollypop-1.2.30 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1817964
[ 4 ] Bug #1818075 - lollypop-1.2.31 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1818075
--------------------------------------------------------------------------------
================================================================================
mate-control-center-1.24.0-3.fc32 (FEDORA-2020-7e0bd21034)
MATE Desktop control-center
--------------------------------------------------------------------------------
Update Information:
- add upstream patch - fix terminal warning
--------------------------------------------------------------------------------
ChangeLog:
--------------------------------------------------------------------------------
================================================================================
mate-terminal-1.24.0-2.fc32 (FEDORA-2020-10e3c3abbe)
Terminal emulator for MATE
--------------------------------------------------------------------------------
Update Information:
- add uptream patches for vte-0.60
--------------------------------------------------------------------------------
ChangeLog:
* Fri Mar 27 2020 Wolfgang Ulbrich <fedora(a)raveit.de> - 1.24.0-2
- use
https://github.com/mate-desktop/mate-terminal/commit/2030aa2
- use
https://github.com/mate-desktop/mate-terminal/pull/327
- use
https://github.com/mate-desktop/mate-terminal/pull/322
- use
https://github.com/mate-desktop/mate-terminal/commit/c317ee8
- use
https://github.com/mate-desktop/mate-terminal/pull/332
--------------------------------------------------------------------------------
================================================================================
materia-gtk-theme-0.0.20200320-1.fc32 (FEDORA-2020-548b277498)
Material Design theme for GNOME/GTK based desktop environments
--------------------------------------------------------------------------------
Update Information:
Update to latest version
--------------------------------------------------------------------------------
ChangeLog:
* Fri Mar 27 2020 Artem Polishchuk <ego.cordatus(a)gmail.com> - 0.0.20200320-1
- Update to 20200320
--------------------------------------------------------------------------------
================================================================================
metacity-3.36.1-1.fc32 (FEDORA-2020-d9ee218f1c)
Unobtrusive window manager
--------------------------------------------------------------------------------
Update Information:
Update metacity to 3.36.1
--------------------------------------------------------------------------------
ChangeLog:
* Fri Mar 27 2020 Yaakov Selkowitz <yselkowi(a)redhat.com> - 3.36.1-1
- Update to 3.36.1
* Thu Mar 5 2020 Yaakov Selkowitz <yselkowi(a)redhat.com> - 3.36.0-1
- new version
--------------------------------------------------------------------------------
================================================================================
minder-1.7.2-1.fc32 (FEDORA-2020-b31fc6cb04)
Mind-mapping application
--------------------------------------------------------------------------------
Update Information:
Update to latest version ---- Update to latest version
--------------------------------------------------------------------------------
ChangeLog:
* Fri Mar 27 2020 Artem Polishchuk <ego.cordatus(a)gmail.com> - 1.7.2-1
- Update to 1.7.2
* Sun Mar 22 2020 Artem Polishchuk <ego.cordatus(a)gmail.com> - 1.7.1-1
- Update to 1.7.1
* Sat Mar 21 2020 Artem Polishchuk <ego.cordatus(a)gmail.com> - 1.7.0-1
- Update to 1.7.0
--------------------------------------------------------------------------------
================================================================================
mirrorlist-server-2.2.0-1.fc32 (FEDORA-2020-f60c059c1a)
Mirrorlist Server
--------------------------------------------------------------------------------
Update Information:
Update to 2.2.0
--------------------------------------------------------------------------------
ChangeLog:
* Fri Mar 27 2020 Igor Raits <ignatenkobrain(a)fedoraproject.org> - 2.2.0-1
- Update to 2.2.0
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1817784 - mirrorlist-server-2.2.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1817784
--------------------------------------------------------------------------------
================================================================================
mkdocs-1.1-4.fc32 (FEDORA-2020-c75b5fcaaf)
Python tool to create HTML documentation from markdown sources
--------------------------------------------------------------------------------
Update Information:
MkDocs is a fast and simple way to create a website from source files written
in Markdown, and configured with a YAML configuration file, the documentation
can be hosted anywhere, even in free hosting services like Read the Docs and
GitHub Pages.
--------------------------------------------------------------------------------
ChangeLog:
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1504364 - mkdocs-1.0.1 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1504364
[ 2 ] Bug #1731717 - mkdocs depends on files/directories from non-standard locations
https://bugzilla.redhat.com/show_bug.cgi?id=1731717
[ 3 ] Bug #1736127 - mkdocs: FTBFS in Fedora rawhide/f31
https://bugzilla.redhat.com/show_bug.cgi?id=1736127
[ 4 ] Bug #1811410 - Re-Review Request: mkdocs - Python tool to create HTML
documentation from markdown sources
https://bugzilla.redhat.com/show_bug.cgi?id=1811410
--------------------------------------------------------------------------------
================================================================================
ocaml-menhir-20200211-1.fc32 (FEDORA-2020-bc649d3429)
LR(1) parser generator for OCaml
--------------------------------------------------------------------------------
Update Information:
Changes in coq 8.11.0: - See
https://coq.github.io/doc/v8.11/refman/changes.html#version-8-11 Changes in
frama-c 20.0: - Eva [2019/11/25] In the summary, fixes the number of
alarms by category when the RTE plugin is used, and do not count
logical properties in dead code as proven. - Kernel
[2019/10/31] More stringent verifications on the use of ghost
variable in non ghost-code. Fixes #2421 - MdR [2019/10/31] New plug-in
Markdown-Report (MdR) for markdown and SARIF outputs - Eva
[2019/10/23] In the summary, fixes the total number of functions
(and thus the computed analysis coverage). - Eva [2019/10/23] New option
-eva-auto-loop-unroll N to unroll all loops whose number of
iterations can be easily bounded by <N>. - Eva [2019/10/21] New octagon
domain inferring relations of the form l ��� ��X��Y ��� e between pairs
of integer variables X and Y. Enabled with option -eva-octagon-
domain. Only infers relations between pairs of scalar variables
occuring in a same instruction. Intra-procedural by default;
octagons can be propagated through function calls with option
-eva-octagon-through-calls. - ACSL [2019/10/04] Support for ghost
parameters - Eva [2019/10/04] Evaluates ACSL predicates
\is_plus_infinity and \is_minus_infinity. - Kernel
[2019/10/04] Supports macro INFINITY and NAN. - Config [2019/09/27] ocp-
indent 1.7.0 is now used for indentation - Eva [2019/09/16] Dynamic
registration of abstract values and domains: developers of new
domains no longer need to modify Eva's engine. - Kernel [2019/09/13] Fixes
Hptmap on keys with id greater than 2^28. - Makefile [2019/09/12] Fixes #2378
- bytecode only compilation (patch contributed by madroach) and
use -thread where needed. - Eva [2019/08/21] Fixes the reduction by the
negation of \initialized and \dangling predicates on imprecise
lvalues. - Kernel [2019/08/20] Fixes a rare but critical bug which occured
when Frama-C internally switched the current project in presence
of >2 projects and destroyed the old current project at about the
same time: the Frama-C internal state became inconsistent and lead
to unsound computations and crashes. It may be revealed to the
end-user when using a long sequence of -then-replace (at least 3
of them). - Kernel [2019/08/20] Fixed sequence of -removed-projects and
-then options. - Ptests [2019/08/05] Add new MODULE directive
for compiling and loading an auxiliary OCaml module for a test -
Kernel [2019/08/05] Add -keep-unused-types normalization option - Libc
[2019/08/05] Remove obsolete (and forcing cpp error) builtins.h - Kernel
[2019/08/02] Functions over visitor's behaviors have been moved
from Cil into a new module Visitor_behavior. Apply the migration
script potassium2calcium.sh to update your plug-ins automatically. - Sparecode
[2019/07/26] Removed from Db. Use proper Sparecode API instead. - Kernel
[2019/07/24] OCaml version greater than or equal to 4.05.0 required. - Kernel
[2019/07/24] Improve placeholders handling in -cpp-command - Kernel
[2019/07/23] Types in Properties are now records and not tuples - Eva
[2019/07/09] Supports ACSL floating-point comparison operators
eq_float, le_float, eq_double, le_double, etc. - Kernel [2019/06/28]
removes AST constructors TCoerce, TCoerceE, PLCoercion,
PLCoercionE, Psubtype and PLsubtype - Kernel [2019/06/20] fixes dangling
ref when removing unused static local Changes in ocaml-menhir 20200211: - See
https://gitlab.inria.fr/fpottier/menhir/-/blob/master/CHANGES.md Changes in
why3 1.3.1: - See
https://lists.gforge.inria.fr/pipermail/why3-club/2020-March/002137.html and
https://lists.gforge.inria.fr/pipermail/why3-club/2020-March/002174.html These
packages were simply rebuilt due to the other changes: - alt-ergo - coccinelle
- flocq - zenon ---- Package pre-release version which supports OCaml 4.10
(RHBZ#1817182).
--------------------------------------------------------------------------------
ChangeLog:
* Wed Mar 25 2020 Jerry James <loganjerry(a)gmail.com> - 20200211-1
- Version 20200211
- Dune is now used to build the package
- Split the build-time and runtime parts into separate packages
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1795083 - The frama-c and frama-c-gui programs abort on startup in Rawhide
(f32)
https://bugzilla.redhat.com/show_bug.cgi?id=1795083
[ 2 ] Bug #1808111 - coq fails to build with Python 3.9: 'caml_young_ptr'
undeclared
https://bugzilla.redhat.com/show_bug.cgi?id=1808111
[ 3 ] Bug #1817182 - coccinelle is not installable in F32
https://bugzilla.redhat.com/show_bug.cgi?id=1817182
--------------------------------------------------------------------------------
================================================================================
ocaml-merlin-3.3.4-0.1.preview1.fc32 (FEDORA-2020-2240a1255a)
Context sensitive completion for OCaml in Vim and Emacs
--------------------------------------------------------------------------------
Update Information:
This is a preview release that adds support for OCaml 4.10.
--------------------------------------------------------------------------------
ChangeLog:
* Tue Mar 3 2020 Robin Lee <cheeselee(a)fedoraproject.org> - 3.3.4-0.1.preview1
- Update to 3.3.4-preview1, supports OCaml 4.10 (BZ#1799817, BZ#1809312)
* Wed Jan 29 2020 Fedora Release Engineering <releng(a)fedoraproject.org> - 3.3.3-2
- Rebuilt for
https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1799817 - ocaml-merlin: FTBFS in Fedora rawhide/f32
https://bugzilla.redhat.com/show_bug.cgi?id=1799817
[ 2 ] Bug #1809312 - ocaml-merlin-3.3.4-preview1 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1809312
--------------------------------------------------------------------------------
================================================================================
pdfbox-2.0.19-1.fc32 (FEDORA-2020-3dc0f55d9c)
Apache PDFBox library for working with PDF documents
--------------------------------------------------------------------------------
Update Information:
New upstream release
--------------------------------------------------------------------------------
ChangeLog:
* Fri Mar 27 2020 S��rgio Basto <sergio(a)serjux.com> - 2.0.19-1
- Update to 2.0.19
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1806319 - pdfbox-2.0.19 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1806319
--------------------------------------------------------------------------------
================================================================================
perl-App-cpm-0.990-1.fc32 (FEDORA-2020-2b35f0ffcf)
Fast CPAN module installer
--------------------------------------------------------------------------------
Update Information:
Updated to the latest version
--------------------------------------------------------------------------------
ChangeLog:
* Fri Mar 27 2020 Jitka Plesnikova <jplesnik(a)redhat.com> - 0.990-1
- 0.990 bump
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1817797 - perl-App-cpm-0.990 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1817797
--------------------------------------------------------------------------------
================================================================================
perl-Encode-3.05-444.fc32 (FEDORA-2020-f85e3cdf82)
Character encodings in Perl
--------------------------------------------------------------------------------
Update Information:
This release fixes a warning and an error message.
--------------------------------------------------------------------------------
ChangeLog:
* Thu Mar 19 2020 Petr Pisar <ppisar(a)redhat.com> - 4:3.05-444
- 3.05 bump
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1814532 - perl-Encode-3.05 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1814532
--------------------------------------------------------------------------------
================================================================================
php-doctrine-reflection-1.2.1-1.fc32 (FEDORA-2020-c13368258d)
Additional reflection functionality
--------------------------------------------------------------------------------
Update Information:
**Version 1.2.1** **Bug** * 37: [GH-36] Bugfix:
TypedNoDefaultReflectionProperty::setValue NULL when null allowed thanks to
@beberlei and @signor-pedro ---- **Version 1.2.0** * 35: [GH-34] Instead
of NULL, unitialize typed properties without default. thanks to @beberlei
--------------------------------------------------------------------------------
ChangeLog:
* Fri Mar 27 2020 Remi Collet <remi(a)remirepo.net> - 1.2.1-1
- update to 1.2.1
* Mon Mar 23 2020 Remi Collet <remi(a)remirepo.net> - 1.2.0-1
- update to 1.2.0
--------------------------------------------------------------------------------
================================================================================
php-symfony-polyfill-1.15.0-1.fc32 (FEDORA-2020-ddd75fcc11)
Symfony polyfills backporting features to lower PHP versions
--------------------------------------------------------------------------------
Update Information:
**Version 1.15.0** * added interface `Stringable` to the PHP 8 polyfill *
added `get_debug_type()` to the PHP 8 polyfill * added `str_contains()` to the
PHP 8 polyfill * added `preg_last_error_msg()` to the PHP 8 polyfill * added
support for UUID V3 and V5 * added support for UUID on 32-bit systems *
fixed support for preloading
--------------------------------------------------------------------------------
ChangeLog:
* Fri Mar 27 2020 Remi Collet <remi(a)remirepo.net> - 1.15.0-1
- update to 1.15.0
--------------------------------------------------------------------------------
================================================================================
php-symfony4-4.4.6-1.fc32 (FEDORA-2020-822284a44f)
Symfony PHP framework (version 4)
--------------------------------------------------------------------------------
Update Information:
**Version 4.4.6** (2020-03-27) * bug #36169 [HttpKernel] fix locking for PHP
7.4+ (nicolas-grekas) * bug #36175 [Security/Http] Remember me: allow to set
the samesite cookie flag (dunglas) * bug #36173 [Http Foundation] Fix clear
cookie samesite (guillbdx) * bug #36176 [Security] Check if firewall is
stateless before checking for session/previous session (koenreiniers) * bug
#36149 [Form] Support customized intl php.ini settings (jorrit) * bug #36172
[Debug] fix for PHP 7.3.16+/7.4.4+ (nicolas-grekas) * bug #36151 [Security]
Fixed hardcoded value of SODIUM_CRYPTO_PWHASH_MEMLIMIT_INTERACTIVE (lyrixx) *
bug #36141 Prevent warning in proc_open() (BenMorel) * bug #36143
[FrameworkBundle] Fix Router Cache (guillbdx) * bug #36103 [DI] fix preloading
script generation (nicolas-grekas) * bug #36118 [Security/Http] don't require
the session to be started when tracking its id (nicolas-grekas) * bug #36108
[DI] Fix CheckTypeDeclarationPass (guillbdx) * bug #36121 [VarDumper] fix side-
effect by not using mt_rand() (nicolas-grekas) * bug #36073
[PropertyAccess][DX] Improved errors when reading uninitialized properties
(HeahDude) * bug #36063 [FrameworkBundle] start session on flashbag injection
(William Arslett) * bug #36031 [Console] Fallback to default answers when
unable to read input (ostrolucky) * bug #36083 [DI][Form] Fixed test suite
(TimeType changes & unresolved merge conflict) (wouterj) * bug #36026 [Mime]
Fix boundary header (guillbdx) * bug #36020 [Form] ignore microseconds
submitted by Edge (xabbuh) * bug #36038 [HttpClient] disable debug log with
curl 7.64.0 (nicolas-grekas) * bug #36041 fix import from config file using
type: glob (Tobion) * bug #35987 [DoctrineBridge][DoctrineExtractor] Fix wrong
guessed type for "json" type (fancyweb) * bug #35949 [DI] Fix container lint
command when a synthetic service is used in an expression (HypeMC) * bug #36023
[HttpClient] fix requests to hosts that idn_to_ascii() cannot handle (nicolas-
grekas) * bug #35938 [Form] Handle false as empty value on expanded choices
(fancyweb) * bug #36030 [SecurityBundle] Minor fix in LDAP config tree builder
(HeahDude) * bug #35993 Remove int return type from FlattenException::getCode
(wucdbm) * bug #36004 [Yaml] fix dumping strings containing CRs (xabbuh) * bug
#35982 [DI] Fix XmlFileLoader bad error message (przemyslaw-bogusz) * bug
#35957 [DI] ignore extra tags added by autoconfiguration in
PriorityTaggedServiceTrait (nicolas-grekas) * bug #35937 Revert "bug
symfony#28179 [DomCrawler] Skip disabled fields processing in Form" (dmaicher)
* bug #35928 [Routing] Prevent localized routes _locale default & requirement
from being overridden (fancyweb) * bug #35912 [FrameworkBundle] register only
existing transport factories (xabbuh) * bug #35899 [DomCrawler] prevent
deprecation being triggered from assertion (xabbuh) * bug #35910
[SecurityBundle] Minor fixes in configuration tree builder (HeahDude)
--------------------------------------------------------------------------------
ChangeLog:
* Fri Mar 27 2020 Remi Collet <remi(a)remirepo.net> - 4.4.6-1
- update to 4.4.6
--------------------------------------------------------------------------------
================================================================================
protonvpn-cli-2.2.2-7.fc32 (FEDORA-2020-3734d61038)
Linux command-line client for ProtonVPN written in Python
--------------------------------------------------------------------------------
Update Information:
Approved package for official Fedora repositories
--------------------------------------------------------------------------------
ChangeLog:
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1809814 - Review Request: protonvpn-cli - Linux command-line client for
ProtonVPN written in Python
https://bugzilla.redhat.com/show_bug.cgi?id=1809814
--------------------------------------------------------------------------------
================================================================================
python-adb-shell-0.1.3-1.fc32 (FEDORA-2020-2832621473)
Python implementation for ADB shell and file sync
--------------------------------------------------------------------------------
Update Information:
Initial package for Fedora
--------------------------------------------------------------------------------
ChangeLog:
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1814890 - Review Request: python-adb-shell - Python implementation for ADB
shell and file sync
https://bugzilla.redhat.com/show_bug.cgi?id=1814890
--------------------------------------------------------------------------------
================================================================================
python-aiopg-1.0.0-2.fc32 (FEDORA-2020-8971b1d7ee)
Postgres integration with asyncio
--------------------------------------------------------------------------------
Update Information:
Make tests optional
--------------------------------------------------------------------------------
ChangeLog:
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1787218 - Review Request: python-aiopg - Postgres integration with asyncio
https://bugzilla.redhat.com/show_bug.cgi?id=1787218
--------------------------------------------------------------------------------
================================================================================
python-aiostream-0.4.1-2.fc32 (FEDORA-2020-6ca6c609db)
Generator-based operators for asynchronous iteration
--------------------------------------------------------------------------------
Update Information:
Add missing BR
--------------------------------------------------------------------------------
ChangeLog:
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1809927 - Review Request: python-aiostream - Generator-based operators for
asynchronous iteration
https://bugzilla.redhat.com/show_bug.cgi?id=1809927
--------------------------------------------------------------------------------
================================================================================
python-boxsdk-2.7.1-1.fc32 (FEDORA-2020-ae05b23883)
Python wrapper for the Box API
--------------------------------------------------------------------------------
Update Information:
Initial build
--------------------------------------------------------------------------------
ChangeLog:
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1817590 - Review Request: python-boxsdk - Python wrapper for the Box API
https://bugzilla.redhat.com/show_bug.cgi?id=1817590
--------------------------------------------------------------------------------
================================================================================
python-cloudant-2.12.0-2.fc32 (FEDORA-2020-79c67c9b72)
Cloudant/CouchDB Client Python library
--------------------------------------------------------------------------------
Update Information:
Switch to upstream source
--------------------------------------------------------------------------------
ChangeLog:
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1814686 - Review Request: python-cloudant - Cloudant/CouchDB Client Python
library
https://bugzilla.redhat.com/show_bug.cgi?id=1814686
--------------------------------------------------------------------------------
================================================================================
python-cocotb-1.3.1-1.fc32 (FEDORA-2020-d28766815d)
Coroutine Co-simulation Test Bench
--------------------------------------------------------------------------------
Update Information:
Update to latest upstream release.
--------------------------------------------------------------------------------
ChangeLog:
* Fri Mar 27 2020 Ben Rosser <rosser.bjr(a)gmail.com> - 1.3.1-1
- Update to latest upstream release.
--------------------------------------------------------------------------------
================================================================================
python-fsspec-0.7.0-1.fc32~bootstrap (FEDORA-2020-3992c3c882)
Specification for Pythonic file system interfaces
--------------------------------------------------------------------------------
Update Information:
Update to latest version ---- Update to latest version
--------------------------------------------------------------------------------
ChangeLog:
* Fri Mar 27 2020 Elliott Sales de Andrade <quantum.analyst(a)gmail.com> - 0.7.0-1
- Update to latest version
* Sun Mar 22 2020 Elliott Sales de Andrade <quantum.analyst(a)gmail.com> - 0.6.3-1
- Update to latest version
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1815113 - python-fsspec-0.6.3 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1815113
[ 2 ] Bug #1818087 - python-fsspec-0.7.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1818087
--------------------------------------------------------------------------------
================================================================================
python-itanium_demangler-1.0-1.fc32 (FEDORA-2020-5bba6ff46f)
Pure Python parser for mangled itanium symbols
--------------------------------------------------------------------------------
Update Information:
Initial package for Fedora
--------------------------------------------------------------------------------
ChangeLog:
--------------------------------------------------------------------------------
================================================================================
python-json5-0.9.4-1.fc32 (FEDORA-2020-6ad4331fa6)
Python implementation of the JSON5 data format
--------------------------------------------------------------------------------
Update Information:
Update to latest upstream release 0.9.4 (rhbz#1817785)
--------------------------------------------------------------------------------
ChangeLog:
* Fri Mar 27 2020 Fabian Affolter <mail(a)fabian-affolter.ch> - 0.9.4-1
- Update to latest upstream release 0.9.4 (rhbz#1817785)
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1817785 - python-json5-0.9.4 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1817785
--------------------------------------------------------------------------------
================================================================================
python-mulpyplexer-0.08-1.fc32 (FEDORA-2020-68b909674e)
Module that multiplexes interactions with lists of Python objects
--------------------------------------------------------------------------------
Update Information:
Add license file (rhbz#1808506)
--------------------------------------------------------------------------------
ChangeLog:
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1808506 - Review Request: python-mulpyplexer - Module that multiplexes
interactions with lists of Python objects
https://bugzilla.redhat.com/show_bug.cgi?id=1808506
--------------------------------------------------------------------------------
================================================================================
python-nessus-file-reader-0.2.0-1.fc32 (FEDORA-2020-2892abb130)
Python file reader for nessus files
--------------------------------------------------------------------------------
Update Information:
Initial package for Fedora
--------------------------------------------------------------------------------
ChangeLog:
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1815274 - Review Request: python-nessus-file-reader - Python file reader for
nessus files
https://bugzilla.redhat.com/show_bug.cgi?id=1815274
--------------------------------------------------------------------------------
================================================================================
python-persistent-4.6.4-1.fc32 (FEDORA-2020-dca1760e52)
Translucent persistent python objects
--------------------------------------------------------------------------------
Update Information:
Changes in version 4.6.4: - Fix an overly specific test failure using
zope.interface 5. See `issue 144
<
https://github.com/zopefoundation/persistent/issues/144>`_. - Fix two reference
leaks that could theoretically occur as the result of obscure errors. See `issue
143 <
https://github.com/zopefoundation/persistent/issues/143>`_.
--------------------------------------------------------------------------------
ChangeLog:
* Fri Mar 27 2020 Jerry James <loganjerry(a)gmail.com> - 4.6.4-1
- Version 4.6.4
- Drop upstreamed -refs patch
--------------------------------------------------------------------------------
================================================================================
python-pybtex-0.22.2-9.20200126.e1336fb33c92.fc32 (FEDORA-2020-c5b8f31ded)
BibTeX-compatible bibliography processor written in Python
--------------------------------------------------------------------------------
Update Information:
This update replaces use of the deprecated `xml.etree.cElementTree` with
`xml.etree.ElementTree'. It also adds an upstream patch to fix handling of
duplicate person fields.
--------------------------------------------------------------------------------
ChangeLog:
* Fri Mar 27 2020 Jerry James <loganjerry(a)gmail.com> -
0.22.2-9.20200126.e1336fb33c92
- Update to git head to fix duplicate person issue
- Drop upstreamed -escape patch
- Add -elementtree patch to fix python 3.9 build (bz 1817962)
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1817962 - python-pybtex fails to build with Python 3.9: No module named
'xml.etree.cElementTree'
https://bugzilla.redhat.com/show_bug.cgi?id=1817962
--------------------------------------------------------------------------------
================================================================================
python-xpath-expressions-1.0.2-1.fc32 (FEDORA-2020-9986f95caf)
Treat XPath expressions as Python objects
--------------------------------------------------------------------------------
Update Information:
Add LICENSE file (rhbz#1816759)
--------------------------------------------------------------------------------
ChangeLog:
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1816759 - Review Request: python-xpath-expressions - Treat XPath expressions
as Python objects
https://bugzilla.redhat.com/show_bug.cgi?id=1816759
--------------------------------------------------------------------------------
================================================================================
python3-docs-3.8.2-1.fc32 (FEDORA-2020-c3b444ab67)
Documentation for the Python 3 programming language
--------------------------------------------------------------------------------
Update Information:
Update to 3.8.2
--------------------------------------------------------------------------------
ChangeLog:
* Wed Mar 25 2020 Tomas Hrnciar <thrnciar(a)redhat.com> - 3.8.2-1
- Update to 3.8.2
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1812890 - Update python3-docs to 3.8.2
https://bugzilla.redhat.com/show_bug.cgi?id=1812890
--------------------------------------------------------------------------------
================================================================================
qgis-3.12.1-1.fc32 (FEDORA-2020-f22d6eaea1)
A user friendly Open Source Geographic Information System
--------------------------------------------------------------------------------
Update Information:
Remove the wrong dependency on python3-qscintilla
--------------------------------------------------------------------------------
ChangeLog:
* Sat Mar 21 2020 Volker Froehlich <volker27(a)gmx.at> - 3.12.1-1
- New upstream release
- Don't require python3-qscintilla anymore (BZ #1815712)
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1815712 - qgis can't be installed
https://bugzilla.redhat.com/show_bug.cgi?id=1815712
--------------------------------------------------------------------------------
================================================================================
quisk-4.1.53-1.fc32 (FEDORA-2020-c6736de372)
Software Defined Radio (SDR) software
--------------------------------------------------------------------------------
Update Information:
This is new version of quisk.
--------------------------------------------------------------------------------
ChangeLog:
* Fri Mar 27 2020 Jaroslav ��karvada <jskarvad(a)redhat.com> - 4.1.53-1
- New version
Resolves: rhbz#1818091
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1818091 - quisk-4.1.53 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1818091
--------------------------------------------------------------------------------
================================================================================
rsyslog-8.2002.0-1.fc32 (FEDORA-2020-5a2402eb9f)
Enhanced system logging and kernel message trapping daemon
--------------------------------------------------------------------------------
Update Information:
rebase to 8.2002.0 upstream version
--------------------------------------------------------------------------------
ChangeLog:
* Fri Mar 27 2020 Jiri Vymazal <jvymazal(a)redhat.com> - 8.2002.0-1
- rebase to upstream version 8.2002.0
resolves: rhbz#1807097
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1807097 - rsyslog-8.2002.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1807097
--------------------------------------------------------------------------------
================================================================================
rust-afterburn-4.3.2-1.fc32 (FEDORA-2020-758b69adb9)
Simple cloud provider agent
--------------------------------------------------------------------------------
Update Information:
Update to 4.3.2
--------------------------------------------------------------------------------
ChangeLog:
--------------------------------------------------------------------------------
================================================================================
rust-dua-cli-2.3.9-1.fc32 (FEDORA-2020-06f832f9a4)
Tool to conveniently learn about the disk usage of directories
--------------------------------------------------------------------------------
Update Information:
# Update to 2.3.9 ## v2.3.9 Do not follow symlinks unless it's the only root
path to follow This brutally fixes an issue where symbolics links are honored
when they are placed in the current working directory, as internally `dua` will
treat each cwd directory entry as individual root path. ## v2.3.8 `dua
interactive` (`dua i`) is now about twice as fast due to using all logical
cores, not just physical ones ## v2.3.7 Upgrade to filesize 0.2.0 from 0.1.0;
update dependency versions
--------------------------------------------------------------------------------
ChangeLog:
* Fri Mar 27 2020 Igor Raits <ignatenkobrain(a)fedoraproject.org> - 2.3.9-1
- Update to 2.3.9
* Thu Mar 26 2020 Igor Raits <ignatenkobrain(a)fedoraproject.org> - 2.3.8-1
- Update to 2.3.8
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1816438 - rust-dua-cli-2.3.8 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1816438
--------------------------------------------------------------------------------
================================================================================
sudo-1.9.0-0.1.b4.fc32 (FEDORA-2020-034d5a4cae)
Allows restricted root access for specified users
--------------------------------------------------------------------------------
Update Information:
update to latest development version 1.9.0b4
--------------------------------------------------------------------------------
ChangeLog:
* Wed Mar 25 2020 Attila Lakatos <alakatos(a)redhat.com> - 1.9.0-0.1.b4
- update to latest development version 1.9.0b4
Resolves: rhbz#1816593
- setrlimit(RLIMIT_CORE): Operation not permitted warning message fix
Resolves: rhbz#1773148
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1773148 - sudo: setrlimit(RLIMIT_CORE): Operation not permitted
https://bugzilla.redhat.com/show_bug.cgi?id=1773148
[ 2 ] Bug #1816593 - update to 1.9.0b4
https://bugzilla.redhat.com/show_bug.cgi?id=1816593
--------------------------------------------------------------------------------
================================================================================
why3-1.3.1-1.fc32 (FEDORA-2020-bc649d3429)
Software verification platform
--------------------------------------------------------------------------------
Update Information:
Changes in coq 8.11.0: - See
https://coq.github.io/doc/v8.11/refman/changes.html#version-8-11 Changes in
frama-c 20.0: - Eva [2019/11/25] In the summary, fixes the number of
alarms by category when the RTE plugin is used, and do not count
logical properties in dead code as proven. - Kernel
[2019/10/31] More stringent verifications on the use of ghost
variable in non ghost-code. Fixes #2421 - MdR [2019/10/31] New plug-in
Markdown-Report (MdR) for markdown and SARIF outputs - Eva
[2019/10/23] In the summary, fixes the total number of functions
(and thus the computed analysis coverage). - Eva [2019/10/23] New option
-eva-auto-loop-unroll N to unroll all loops whose number of
iterations can be easily bounded by <N>. - Eva [2019/10/21] New octagon
domain inferring relations of the form l ��� ��X��Y ��� e between pairs
of integer variables X and Y. Enabled with option -eva-octagon-
domain. Only infers relations between pairs of scalar variables
occuring in a same instruction. Intra-procedural by default;
octagons can be propagated through function calls with option
-eva-octagon-through-calls. - ACSL [2019/10/04] Support for ghost
parameters - Eva [2019/10/04] Evaluates ACSL predicates
\is_plus_infinity and \is_minus_infinity. - Kernel
[2019/10/04] Supports macro INFINITY and NAN. - Config [2019/09/27] ocp-
indent 1.7.0 is now used for indentation - Eva [2019/09/16] Dynamic
registration of abstract values and domains: developers of new
domains no longer need to modify Eva's engine. - Kernel [2019/09/13] Fixes
Hptmap on keys with id greater than 2^28. - Makefile [2019/09/12] Fixes #2378
- bytecode only compilation (patch contributed by madroach) and
use -thread where needed. - Eva [2019/08/21] Fixes the reduction by the
negation of \initialized and \dangling predicates on imprecise
lvalues. - Kernel [2019/08/20] Fixes a rare but critical bug which occured
when Frama-C internally switched the current project in presence
of >2 projects and destroyed the old current project at about the
same time: the Frama-C internal state became inconsistent and lead
to unsound computations and crashes. It may be revealed to the
end-user when using a long sequence of -then-replace (at least 3
of them). - Kernel [2019/08/20] Fixed sequence of -removed-projects and
-then options. - Ptests [2019/08/05] Add new MODULE directive
for compiling and loading an auxiliary OCaml module for a test -
Kernel [2019/08/05] Add -keep-unused-types normalization option - Libc
[2019/08/05] Remove obsolete (and forcing cpp error) builtins.h - Kernel
[2019/08/02] Functions over visitor's behaviors have been moved
from Cil into a new module Visitor_behavior. Apply the migration
script potassium2calcium.sh to update your plug-ins automatically. - Sparecode
[2019/07/26] Removed from Db. Use proper Sparecode API instead. - Kernel
[2019/07/24] OCaml version greater than or equal to 4.05.0 required. - Kernel
[2019/07/24] Improve placeholders handling in -cpp-command - Kernel
[2019/07/23] Types in Properties are now records and not tuples - Eva
[2019/07/09] Supports ACSL floating-point comparison operators
eq_float, le_float, eq_double, le_double, etc. - Kernel [2019/06/28]
removes AST constructors TCoerce, TCoerceE, PLCoercion,
PLCoercionE, Psubtype and PLsubtype - Kernel [2019/06/20] fixes dangling
ref when removing unused static local Changes in ocaml-menhir 20200211: - See
https://gitlab.inria.fr/fpottier/menhir/-/blob/master/CHANGES.md Changes in
why3 1.3.1: - See
https://lists.gforge.inria.fr/pipermail/why3-club/2020-March/002137.html and
https://lists.gforge.inria.fr/pipermail/why3-club/2020-March/002174.html These
packages were simply rebuilt due to the other changes: - alt-ergo - coccinelle
- flocq - zenon ---- Package pre-release version which supports OCaml 4.10
(RHBZ#1817182).
--------------------------------------------------------------------------------
ChangeLog:
* Wed Mar 25 2020 Jerry James <loganjerry(a)gmail.com> - 1.3.1-1
- Version 1.3.1
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1795083 - The frama-c and frama-c-gui programs abort on startup in Rawhide
(f32)
https://bugzilla.redhat.com/show_bug.cgi?id=1795083
[ 2 ] Bug #1808111 - coq fails to build with Python 3.9: 'caml_young_ptr'
undeclared
https://bugzilla.redhat.com/show_bug.cgi?id=1808111
[ 3 ] Bug #1817182 - coccinelle is not installable in F32
https://bugzilla.redhat.com/show_bug.cgi?id=1817182
--------------------------------------------------------------------------------
================================================================================
xastir-2.1.4-6.fc32 (FEDORA-2020-285a040091)
Amateur Station Tracking and Reporting system for amateur radio
--------------------------------------------------------------------------------
Update Information:
Fix epoch, can't be decremented
--------------------------------------------------------------------------------
ChangeLog:
* Thu Mar 26 2020 Peter Robinson <pbrobinson(a)fedoraproject.org> - 1:2.1.4-6
- Fix epoch, can't be decremented
--------------------------------------------------------------------------------
================================================================================
zenon-0.8.4-9.fc32 (FEDORA-2020-bc649d3429)
Automated theorem prover for first-order classical logic
--------------------------------------------------------------------------------
Update Information:
Changes in coq 8.11.0: - See
https://coq.github.io/doc/v8.11/refman/changes.html#version-8-11 Changes in
frama-c 20.0: - Eva [2019/11/25] In the summary, fixes the number of
alarms by category when the RTE plugin is used, and do not count
logical properties in dead code as proven. - Kernel
[2019/10/31] More stringent verifications on the use of ghost
variable in non ghost-code. Fixes #2421 - MdR [2019/10/31] New plug-in
Markdown-Report (MdR) for markdown and SARIF outputs - Eva
[2019/10/23] In the summary, fixes the total number of functions
(and thus the computed analysis coverage). - Eva [2019/10/23] New option
-eva-auto-loop-unroll N to unroll all loops whose number of
iterations can be easily bounded by <N>. - Eva [2019/10/21] New octagon
domain inferring relations of the form l ��� ��X��Y ��� e between pairs
of integer variables X and Y. Enabled with option -eva-octagon-
domain. Only infers relations between pairs of scalar variables
occuring in a same instruction. Intra-procedural by default;
octagons can be propagated through function calls with option
-eva-octagon-through-calls. - ACSL [2019/10/04] Support for ghost
parameters - Eva [2019/10/04] Evaluates ACSL predicates
\is_plus_infinity and \is_minus_infinity. - Kernel
[2019/10/04] Supports macro INFINITY and NAN. - Config [2019/09/27] ocp-
indent 1.7.0 is now used for indentation - Eva [2019/09/16] Dynamic
registration of abstract values and domains: developers of new
domains no longer need to modify Eva's engine. - Kernel [2019/09/13] Fixes
Hptmap on keys with id greater than 2^28. - Makefile [2019/09/12] Fixes #2378
- bytecode only compilation (patch contributed by madroach) and
use -thread where needed. - Eva [2019/08/21] Fixes the reduction by the
negation of \initialized and \dangling predicates on imprecise
lvalues. - Kernel [2019/08/20] Fixes a rare but critical bug which occured
when Frama-C internally switched the current project in presence
of >2 projects and destroyed the old current project at about the
same time: the Frama-C internal state became inconsistent and lead
to unsound computations and crashes. It may be revealed to the
end-user when using a long sequence of -then-replace (at least 3
of them). - Kernel [2019/08/20] Fixed sequence of -removed-projects and
-then options. - Ptests [2019/08/05] Add new MODULE directive
for compiling and loading an auxiliary OCaml module for a test -
Kernel [2019/08/05] Add -keep-unused-types normalization option - Libc
[2019/08/05] Remove obsolete (and forcing cpp error) builtins.h - Kernel
[2019/08/02] Functions over visitor's behaviors have been moved
from Cil into a new module Visitor_behavior. Apply the migration
script potassium2calcium.sh to update your plug-ins automatically. - Sparecode
[2019/07/26] Removed from Db. Use proper Sparecode API instead. - Kernel
[2019/07/24] OCaml version greater than or equal to 4.05.0 required. - Kernel
[2019/07/24] Improve placeholders handling in -cpp-command - Kernel
[2019/07/23] Types in Properties are now records and not tuples - Eva
[2019/07/09] Supports ACSL floating-point comparison operators
eq_float, le_float, eq_double, le_double, etc. - Kernel [2019/06/28]
removes AST constructors TCoerce, TCoerceE, PLCoercion,
PLCoercionE, Psubtype and PLsubtype - Kernel [2019/06/20] fixes dangling
ref when removing unused static local Changes in ocaml-menhir 20200211: - See
https://gitlab.inria.fr/fpottier/menhir/-/blob/master/CHANGES.md Changes in
why3 1.3.1: - See
https://lists.gforge.inria.fr/pipermail/why3-club/2020-March/002137.html and
https://lists.gforge.inria.fr/pipermail/why3-club/2020-March/002174.html These
packages were simply rebuilt due to the other changes: - alt-ergo - coccinelle
- flocq - zenon ---- Package pre-release version which supports OCaml 4.10
(RHBZ#1817182).
--------------------------------------------------------------------------------
ChangeLog:
* Mon Mar 23 2020 Jerry James <loganjerry(a)gmail.com> - 0.8.4-9
- Rebuild for coq 8.11.0
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1795083 - The frama-c and frama-c-gui programs abort on startup in Rawhide
(f32)
https://bugzilla.redhat.com/show_bug.cgi?id=1795083
[ 2 ] Bug #1808111 - coq fails to build with Python 3.9: 'caml_young_ptr'
undeclared
https://bugzilla.redhat.com/show_bug.cgi?id=1808111
[ 3 ] Bug #1817182 - coccinelle is not installable in F32
https://bugzilla.redhat.com/show_bug.cgi?id=1817182
--------------------------------------------------------------------------------