The following Fedora 34 Security updates need testing:
Age URL
5
https://bodhi.fedoraproject.org/updates/FEDORA-2021-889af802f2
opendmarc-1.4.1.1-3.fc34
3
https://bodhi.fedoraproject.org/updates/FEDORA-2021-9b421b78af
nextcloud-20.0.11-1.fc34
0
https://bodhi.fedoraproject.org/updates/FEDORA-2021-a95108d156
kernel-5.12.17-300.fc34 kernel-headers-5.12.17-300.fc34 kernel-tools-5.12.17-300.fc34
The following Fedora 34 Critical Path updates have yet to be approved:
Age URL
100
https://bodhi.fedoraproject.org/updates/FEDORA-2021-1300e131b6 ddpt-0.96-4.fc34
ledmon-0.95-4.fc34 libgpod-0.8.3-38.fc34 libzfcphbaapi-2.2.0-12.fc34 lsvpd-1.7.11-6.fc34
sg3_utils-1.46-1.fc34 udisks-1.0.5-18.fc34
1
https://bodhi.fedoraproject.org/updates/FEDORA-2021-0a6dd4e6ae
fedora-logos-34.0.4-1.fc34
1
https://bodhi.fedoraproject.org/updates/FEDORA-2021-e4866762d8 audit-3.0.3-1.fc34
1
https://bodhi.fedoraproject.org/updates/FEDORA-2021-f9c139edd8
libedit-3.1-38.20210714cvs.fc34
1
https://bodhi.fedoraproject.org/updates/FEDORA-2021-59eb8f096e
rdma-core-36.0-1.fc34
1
https://bodhi.fedoraproject.org/updates/FEDORA-2021-b9d314296c
mtools-4.0.32-1.fc34
0
https://bodhi.fedoraproject.org/updates/FEDORA-2021-a95108d156
kernel-5.12.17-300.fc34 kernel-headers-5.12.17-300.fc34 kernel-tools-5.12.17-300.fc34
The following builds have been pushed to Fedora 34 updates-testing
NetworkManager-1.30.6-1.fc34
armadillo-10.6.0-2.fc34
buildah-1.21.3-1.fc34
containerd-1.5.3-1.fc34
elementary-code-6.0.0-2.fc34
elementary-files-6.0.0-1.fc34
elementary-icon-theme-6.0.0-1.fc34
elementary-settings-daemon-1.0.0-1.fc34
elementary-terminal-6.0.0-1.fc34
elementary-theme-6.0.0-1.fc34
elpa-2021.05.002-1.fc34
firefox-90.0-3.fc34
flocq-3.4.2-1.fc34
frama-c-23.0-1.fc34
gappalib-coq-1.4.6-6.fc34
gnucash-4.6-2.fc34
golang-github-containerd-aufs-1.0.0-1.fc34
golang-github-containerd-btrfs-1.0.0-1.fc34
golang-github-containerd-cgroups-1.0.1-1.fc34
golang-github-containerd-cni-1.0.2-1.fc34
golang-github-containerd-continuity-0.1.0-1.fc34
golang-github-containerd-fifo-1.0.0-1.fc34
golang-github-containerd-nri-0.1.0-1.fc34
golang-github-containerd-runc-1.0.0-1.fc34
golang-github-containerd-stargz-snapshotter-0.7.0-1.fc34
golang-github-containerd-typeurl-1.0.2-1.fc34
golang-github-google-containerregistry-0.5.1-1.fc34
golang-k8s-cri-api-1.20.6-1.fc34
ibus-m17n-1.4.6-1.fc34
jmol-14.31.44-1.fc34
libwacom-1.11-1.fc34
liquidctl-1.7.1-1.fc34
lua-unbound-1.0.0-1.fc34
moby-engine-20.10.7-1.fc34
onedrive-2.4.13-2.fc34
pantheon-agent-geoclue2-1.0.5-1.fc34
picocli-4.6.1-4.fc34
plasma-workspace-5.22.3-2.fc34
podman-3.2.3-1.fc34
python-asyncpg-0.23.0-6.fc34
python-pikepdf-2.15.0-1.fc34
python-sport-activities-features-0.2.3-1.fc34
python3.9-3.9.6-2.fc34
qpid-dispatch-1.16.1-1.fc34
qpid-proton-0.35.0-1.fc34
rust-cfg-expr-0.8.0-2.fc34
sayonara-1.7.0-3.stable3.fc34
scidavis-2.4.0-6.fc34
spice-vdagent-0.21.0-3.fc34
stratis-cli-2.4.3-1.fc34
switchboard-plug-a11y-2.3.0-1.fc34
switchboard-plug-about-6.0.0-1.fc34
switchboard-plug-applications-6.0.0-1.fc34
switchboard-plug-mouse-touchpad-6.0.0-1.fc34
switchboard-plug-notifications-2.2.0-1.fc34
switchboard-plug-pantheon-shell-6.0.0-1.fc34
switchboard-plug-sharing-2.1.5-1.fc34
switchboard-plug-sound-2.2.7-1.fc34
varnish-6.5.2-1.fc34
varnish-modules-0.17.1-2.fc34
vmod-uuid-1.8-4.fc34
why3-1.4.0-1.fc34
wingpanel-applications-menu-2.8.0-1.fc34
wireshark-3.4.7-1.fc34
xscreensaver-6.01-3.fc34
yubikey-manager-4.0.5-1.20210716git95afc8c.fc34
Details about builds:
================================================================================
NetworkManager-1.30.6-1.fc34 (FEDORA-2021-5ce87921ec)
Network connection manager and user applications
--------------------------------------------------------------------------------
Update Information:
Update to new 1.30.6 minor release.
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jul 16 2021 Beniamino Galvani <bgalvani(a)redhat.com> - 1:1.30.6-1
- update to 1.30.6 release
--------------------------------------------------------------------------------
================================================================================
armadillo-10.6.0-2.fc34 (FEDORA-2021-eae47cdbe7)
Fast C++ matrix library with syntax similar to MATLAB and Octave
--------------------------------------------------------------------------------
Update Information:
Update to the latest stable release. The main changes since the last version
are: * expanded `chol()` to optionally use pivoted decomposition; * expanded
`vector`, `matrix` and `cube` constructors to allow element initialisation via
`fill::value(scalar)`, eg. `mat X(4,5,fill::value(123))`; * faster loading of
CSV files when using OpenMP; * added `csv_opts::semicolon` option to allow
saving/loading of CSV files with semicolon (`;`) instead of comma (`,`) as the
separator.
--------------------------------------------------------------------------------
ChangeLog:
* Thu Jul 15 2021 Jos�� Matos <jamatos(a)fedoraproject.org> - 10.6.0-1
- update to 10.6.0
- BR flexiblas for Fedora and lapack, openblas and atlas for EPEL
- adapt armadillo-devel accordingly
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1950741 - Sanitize armadillo-devel requires
https://bugzilla.redhat.com/show_bug.cgi?id=1950741
[ 2 ] Bug #1982490 - armadillo-10.6.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1982490
--------------------------------------------------------------------------------
================================================================================
buildah-1.21.3-1.fc34 (FEDORA-2021-440e34200c)
A command line tool used for creating OCI Images
--------------------------------------------------------------------------------
Update Information:
Security fix for CVE-2021-3602
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jul 16 2021 Lokesh Mandvekar <lsm5(a)fedoraproject.org> - 1.21.3-1
- Resolves: #1969264, #1982880 - Security fix for CVE-2021-3602
- bump to v1.21.3
* Wed Jun 30 2021 Lokesh Mandvekar <lsm5(a)fedoraproject.org> - 1.21.2-1
- bump to v1.21.2
* Tue Jun 8 2021 RH Container Bot <rhcontainerbot(a)fedoraproject.org> - 1.21.1-1
- autobuilt v1.21.1
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1969264 - CVE-2021-3602 buildah: Host environment variables leaked in build
container when using chroot isolation
https://bugzilla.redhat.com/show_bug.cgi?id=1969264
--------------------------------------------------------------------------------
================================================================================
containerd-1.5.3-1.fc34 (FEDORA-2021-23c5c07dd6)
Open and reliable container runtime
--------------------------------------------------------------------------------
Update Information:
Update containerd to version 1.5.3 and moby-engine to version 20.10.7
--------------------------------------------------------------------------------
ChangeLog:
* Wed Jul 14 2021 Olivier Lemasle <o.lemasle(a)gmail.com> - 1.5.3-1
- Update to upstream 1.5.3 (fixes rhbz#1956638)
* Tue May 4 2021 Olivier Lemasle <o.lemasle(a)gmail.com> - 1.5.0-1
- Update to upstream 1.5.0 (#1956638)
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1956638 - containerd-1.5.3 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1956638
[ 2 ] Bug #1963442 - golang-github-containerd-btrfs-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963442
[ 3 ] Bug #1963447 - golang-github-containerd-cgroups-1.0.1 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963447
[ 4 ] Bug #1963474 - golang-github-containerd-runc-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963474
[ 5 ] Bug #1963483 - golang-github-containerd-cni-1.0.2 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963483
[ 6 ] Bug #1963484 - golang-github-containerd-aufs-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963484
[ 7 ] Bug #1963503 - golang-github-containerd-fifo-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963503
[ 8 ] Bug #1963506 - golang-github-containerd-continuity-0.1.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963506
[ 9 ] Bug #1963659 - golang-github-containerd-nri-0.1.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963659
[ 10 ] Bug #1963660 - golang-github-google-containerregistry-0.5.1 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963660
[ 11 ] Bug #1963661 - golang-github-containerd-stargz-snapshotter-0.7.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963661
[ 12 ] Bug #1967390 - moby-engine-20.10.7 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1967390
--------------------------------------------------------------------------------
================================================================================
elementary-code-6.0.0-2.fc34 (FEDORA-2021-afbccb4699)
Code editor from elementary
--------------------------------------------------------------------------------
Update Information:
Update to version 6.0.0. Release notes:
https://github.com/elementary/code/releases/tag/6.0.0
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jul 16 2021 Fabio Valentini <decathorpe(a)gmail.com> 6.0.0-2
- Make sure correct version of libvala is installed
* Fri Jul 16 2021 Fabio Valentini <decathorpe(a)gmail.com> 6.0.0-1
- Update to version 6.0.0
* Tue Apr 13 2021 Kalev Lember <klember(a)redhat.com> - 3.4.1-5.20210215gitccaa2f0
- Rebuilt for vala 0.52
--------------------------------------------------------------------------------
================================================================================
elementary-files-6.0.0-1.fc34 (FEDORA-2021-d61b1aa6b6)
File manager from elementary
--------------------------------------------------------------------------------
Update Information:
Update to version 6.0.0. Release notes:
https://github.com/elementary/files/releases/tag/6.0.0
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jul 16 2021 Fabio Valentini <decathorpe(a)gmail.com> 6.0.0-1
- Update to version 6.0.0
--------------------------------------------------------------------------------
================================================================================
elementary-icon-theme-6.0.0-1.fc34 (FEDORA-2021-3b7a3a2270)
Icons from the Elementary Project
--------------------------------------------------------------------------------
Update Information:
Update to version 6.0.0. Release notes:
https://github.com/elementary/icons/releases/tag/6.0.0
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jul 16 2021 Fabio Valentini <decathorpe(a)gmail.com> 6.0.0-1
- Update to version 6.0.0
--------------------------------------------------------------------------------
================================================================================
elementary-settings-daemon-1.0.0-1.fc34 (FEDORA-2021-77d21ffc68)
Settings Daemon for Pantheon
--------------------------------------------------------------------------------
Update Information:
Update to version 1.0.0. Release notes:
https://github.com/elementary/settings-
daemon/releases/tag/1.0.0
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jul 16 2021 Fabio Valentini <decathorpe(a)gmail.com> - 1.0.0-1
- Update to version 1.0.0.
--------------------------------------------------------------------------------
================================================================================
elementary-terminal-6.0.0-1.fc34 (FEDORA-2021-14717bdb85)
The terminal of the 21st century
--------------------------------------------------------------------------------
Update Information:
Update to version 6.0.0. Release notes:
https://github.com/elementary/terminal/releases/tag/6.0.0
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jul 16 2021 Fabio Valentini <decathorpe(a)gmail.com> 6.0.0-1
- Update to version 6.0.0
--------------------------------------------------------------------------------
================================================================================
elementary-theme-6.0.0-1.fc34 (FEDORA-2021-9766e41b51)
elementary GTK+ Stylesheet
--------------------------------------------------------------------------------
Update Information:
Update to version 6.0.0. Release notes:
https://github.com/elementary/stylesheet/releases/tag/6.0.0
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jul 16 2021 Fabio Valentini <decathorpe(a)gmail.com> 6.0.0-1
- Update to version 6.0.0; Fixes RHBZ#1982938
--------------------------------------------------------------------------------
================================================================================
elpa-2021.05.002-1.fc34 (FEDORA-2021-214527f98f)
High-performance library for parallel solution of eigenvalue problems
--------------------------------------------------------------------------------
Update Information:
Latest upstream release with several bugfixes.
--------------------------------------------------------------------------------
ChangeLog:
* Wed Jul 7 2021 Dominik Mierzejewski <rpm(a)greysector.net> 2021.05.002-1
- update to 2021.05.002 (#1956381)
- re-enable mpich tests
- add missing BR on gcc-c++
- include more docs in -devel
- disable two hanging mpich tests (#1950149)
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1956381 - elpa-2021.05.002 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1956381
--------------------------------------------------------------------------------
================================================================================
firefox-90.0-3.fc34 (FEDORA-2021-722e2543fe)
Mozilla Firefox Web browser
--------------------------------------------------------------------------------
Update Information:
New upstream version (90.0) Disabled Wayland on KDE by default due to popup
bugs.
--------------------------------------------------------------------------------
ChangeLog:
* Thu Jul 15 2021 Martin Stransky <stransky(a)redhat.com> - 90.0-3
- Disabled Wayland backend on KDE due to
https://bugzilla.mozilla.org/show_bug.cgi?id=1714132
* Tue Jul 13 2021 Martin Stransky <stransky(a)redhat.com> - 90.0-2
- Added xorg-x11-server-Xwayland dependency for Mutter
* Mon Jul 12 2021 Martin Stransky <stransky(a)redhat.com> - 90.0-1
- Updated to 90.0
* Mon Jul 12 2021 Daiki Ueno <dueno(a)redhat.com> - 89.0.2-3
- flatpak: Enable loading system trust store on the host (rhbz#1766340)
--------------------------------------------------------------------------------
================================================================================
flocq-3.4.2-1.fc34 (FEDORA-2021-7da114a267)
Formalization of floating point numbers for Coq
--------------------------------------------------------------------------------
Update Information:
Changes in flocq 3.4.1: - ensured compatibility from Coq 8.7 to 8.14 Changes
in flocq 3.4.2: - restored compatibility with Coq 8.11 Changes in frama-c 23.0
Vanadium: - See
https://frama-c.com/html/changelog.html Changes in why3 1.4.0,
where `:x:` marks a backwards incompatibility - WhyML - sub-namespaces are
now allowed in `for each` loops; see Section 7.4.7 of the manual - function
literals are now supported; see Sections 7.3.2 and 7.4.9 of the manual -
Standard library - added lemma `permut_sub_trans` to `array.ArrayPermut`
- added function `inter` (intersection) to `bag.Bag` - added a new theory
`option.Map` - added a precondition to `string.OCaml.([])` - added
functions `set`, `init`, `sub` to `mach.array.ArrayInt63` - moved OCaml
exception `Invalid_argument` to `ocaml.Exceptions` :x: - added function
`length` in `mach.c.String` - added functions `sdiv` and `srem` to `bv`
- added signed operations to `mach.bv` - added missing module for double-
precision floats to `mach.floats` - Tools - command-line options now follow
the getopt standard; in particular, long options start with `--` :x: -
binaries `why3config`, `why3prove`, etc, no longer exist; they are now plugins
that can be loaded only using the main `why3` binary, e.g., `why3 config` :x:
- `why3 config` now uses subcommands instead of options; in particular, prover
detection is performed using `why3 config detect` and manual prover addition is
performed using `why3 config add-prover`; see Section 6.1 of the manual :x:
- `why3 execute` now provides runtime assertion checking; see Section 6.8.1 of
the manual - runtime assertion checking is also used to validate
counterexamples in `why3 prove` - loop invariants can now be inferred
automatically; see Section 8.5 of the manual - JSON output of
counterexamples was modified :x: - IDE - native keyboard modifiers are now
used on macOS - `why3 ide` in the Docker image can now be used through a web
browser instead of an X server; see Section 5.1.2 of the manual - Input Formats
- a new front-end named MLCFG was added; it supports unstructured program codes,
including `goto` statements; see Section 9.3 of the manual - translation of
`<>` and `not` have been fixed for micro-C and Python - Extraction -
allowed transitive inclusion (`export`) of interfaces and preludes - added
`remove module` for drivers to exclude modules - added C extraction of
strings - improved handling of C header files - added support of
`blacklist` to C extraction - fixed extraction of partially applied
functions - fixed OCaml extraction of nested tuples - fixed OCaml
extraction of `OneTime` integers - Web interface TryWhy3 - `?lang=foo` can
now be used to select an input format other than WhyML; the input format can
also be changed dynamically using a combobox - `?code=foo` can now be used
to fill the editor with some code; the encoded string can be retrieved by
clicking the "Copy URL" button - examples are no longer embedded; only
files
mentioned in `examples/index.txt` are considered :x: - Alt-Ergo workers can
now be stopped without losing the session - Provers - support for PVS 7.1
(released Apr 30, 2020) - support for Z3 4.8.7 (released Nov 19, 2019) -
support for Z3 4.8.8 (released May 9, 2020) - support for Z3 4.8.9 (released
Sep 11, 2020) - support for Z3 4.8.10 (released Jan 20, 2021) - support
for AltErgo 2.3.3 (released Aug 19, 2020) - support for AltErgo 2.4.0
(released Jan 22, 2021) - support for Coq 8.13.0 (released Jan 7, 2021)
- support for CVC4 1.8 (released Jun 19, 2020) - Documentation - Why3 modes
for editors (Section 5.3) - Why3-specific configuration for shells (Section
5.4) - detailed explanations on semantics of various WhyML statements
(Section 7.4) - detailed explanations on WhyML module system (Section 7.5)
- explanations on how users can customize drivers (Section 12.5) - API -
helpers were added to ease production of parse trees; see Section 4.9 of the
manual - generation of counterexamples was changed; see Section 4.10 of the
manual :x: - Additional bug fixes - fixed `why3 prove` when called on a
DIMACS file - improved detection of out-of-range values in `why3 execute`
- fixed micro-Python parser when there is no newline at end of file - fixed
SMT translation of negative floating-point literals - fixed set of reserved
symbols for SMT solvers - restored `hypothesis_selection` transformation
- fixed unsoundness of transformations `case` and `destruct` in presence of
polymorphic formulas The gappalib-coq build is a simple rebuild due to the
flocq update.
--------------------------------------------------------------------------------
ChangeLog:
* Wed Jul 14 2021 Jerry James <loganjerry(a)gmail.com> - 3.4.2-1
- Version 3.4.2
--------------------------------------------------------------------------------
================================================================================
frama-c-23.0-1.fc34 (FEDORA-2021-7da114a267)
Framework for source code analysis of C software
--------------------------------------------------------------------------------
Update Information:
Changes in flocq 3.4.1: - ensured compatibility from Coq 8.7 to 8.14 Changes
in flocq 3.4.2: - restored compatibility with Coq 8.11 Changes in frama-c 23.0
Vanadium: - See
https://frama-c.com/html/changelog.html Changes in why3 1.4.0,
where `:x:` marks a backwards incompatibility - WhyML - sub-namespaces are
now allowed in `for each` loops; see Section 7.4.7 of the manual - function
literals are now supported; see Sections 7.3.2 and 7.4.9 of the manual -
Standard library - added lemma `permut_sub_trans` to `array.ArrayPermut`
- added function `inter` (intersection) to `bag.Bag` - added a new theory
`option.Map` - added a precondition to `string.OCaml.([])` - added
functions `set`, `init`, `sub` to `mach.array.ArrayInt63` - moved OCaml
exception `Invalid_argument` to `ocaml.Exceptions` :x: - added function
`length` in `mach.c.String` - added functions `sdiv` and `srem` to `bv`
- added signed operations to `mach.bv` - added missing module for double-
precision floats to `mach.floats` - Tools - command-line options now follow
the getopt standard; in particular, long options start with `--` :x: -
binaries `why3config`, `why3prove`, etc, no longer exist; they are now plugins
that can be loaded only using the main `why3` binary, e.g., `why3 config` :x:
- `why3 config` now uses subcommands instead of options; in particular, prover
detection is performed using `why3 config detect` and manual prover addition is
performed using `why3 config add-prover`; see Section 6.1 of the manual :x:
- `why3 execute` now provides runtime assertion checking; see Section 6.8.1 of
the manual - runtime assertion checking is also used to validate
counterexamples in `why3 prove` - loop invariants can now be inferred
automatically; see Section 8.5 of the manual - JSON output of
counterexamples was modified :x: - IDE - native keyboard modifiers are now
used on macOS - `why3 ide` in the Docker image can now be used through a web
browser instead of an X server; see Section 5.1.2 of the manual - Input Formats
- a new front-end named MLCFG was added; it supports unstructured program codes,
including `goto` statements; see Section 9.3 of the manual - translation of
`<>` and `not` have been fixed for micro-C and Python - Extraction -
allowed transitive inclusion (`export`) of interfaces and preludes - added
`remove module` for drivers to exclude modules - added C extraction of
strings - improved handling of C header files - added support of
`blacklist` to C extraction - fixed extraction of partially applied
functions - fixed OCaml extraction of nested tuples - fixed OCaml
extraction of `OneTime` integers - Web interface TryWhy3 - `?lang=foo` can
now be used to select an input format other than WhyML; the input format can
also be changed dynamically using a combobox - `?code=foo` can now be used
to fill the editor with some code; the encoded string can be retrieved by
clicking the "Copy URL" button - examples are no longer embedded; only
files
mentioned in `examples/index.txt` are considered :x: - Alt-Ergo workers can
now be stopped without losing the session - Provers - support for PVS 7.1
(released Apr 30, 2020) - support for Z3 4.8.7 (released Nov 19, 2019) -
support for Z3 4.8.8 (released May 9, 2020) - support for Z3 4.8.9 (released
Sep 11, 2020) - support for Z3 4.8.10 (released Jan 20, 2021) - support
for AltErgo 2.3.3 (released Aug 19, 2020) - support for AltErgo 2.4.0
(released Jan 22, 2021) - support for Coq 8.13.0 (released Jan 7, 2021)
- support for CVC4 1.8 (released Jun 19, 2020) - Documentation - Why3 modes
for editors (Section 5.3) - Why3-specific configuration for shells (Section
5.4) - detailed explanations on semantics of various WhyML statements
(Section 7.4) - detailed explanations on WhyML module system (Section 7.5)
- explanations on how users can customize drivers (Section 12.5) - API -
helpers were added to ease production of parse trees; see Section 4.9 of the
manual - generation of counterexamples was changed; see Section 4.10 of the
manual :x: - Additional bug fixes - fixed `why3 prove` when called on a
DIMACS file - improved detection of out-of-range values in `why3 execute`
- fixed micro-Python parser when there is no newline at end of file - fixed
SMT translation of negative floating-point literals - fixed set of reserved
symbols for SMT solvers - restored `hypothesis_selection` transformation
- fixed unsoundness of transformations `case` and `destruct` in presence of
polymorphic formulas The gappalib-coq build is a simple rebuild due to the
flocq update.
--------------------------------------------------------------------------------
ChangeLog:
* Wed Jul 14 2021 Jerry James <loganjerry(a)gmail.com> - 23.0-1
- Update to Vanadium 23.0
--------------------------------------------------------------------------------
================================================================================
gappalib-coq-1.4.6-6.fc34 (FEDORA-2021-7da114a267)
Coq support library for gappa
--------------------------------------------------------------------------------
Update Information:
Changes in flocq 3.4.1: - ensured compatibility from Coq 8.7 to 8.14 Changes
in flocq 3.4.2: - restored compatibility with Coq 8.11 Changes in frama-c 23.0
Vanadium: - See
https://frama-c.com/html/changelog.html Changes in why3 1.4.0,
where `:x:` marks a backwards incompatibility - WhyML - sub-namespaces are
now allowed in `for each` loops; see Section 7.4.7 of the manual - function
literals are now supported; see Sections 7.3.2 and 7.4.9 of the manual -
Standard library - added lemma `permut_sub_trans` to `array.ArrayPermut`
- added function `inter` (intersection) to `bag.Bag` - added a new theory
`option.Map` - added a precondition to `string.OCaml.([])` - added
functions `set`, `init`, `sub` to `mach.array.ArrayInt63` - moved OCaml
exception `Invalid_argument` to `ocaml.Exceptions` :x: - added function
`length` in `mach.c.String` - added functions `sdiv` and `srem` to `bv`
- added signed operations to `mach.bv` - added missing module for double-
precision floats to `mach.floats` - Tools - command-line options now follow
the getopt standard; in particular, long options start with `--` :x: -
binaries `why3config`, `why3prove`, etc, no longer exist; they are now plugins
that can be loaded only using the main `why3` binary, e.g., `why3 config` :x:
- `why3 config` now uses subcommands instead of options; in particular, prover
detection is performed using `why3 config detect` and manual prover addition is
performed using `why3 config add-prover`; see Section 6.1 of the manual :x:
- `why3 execute` now provides runtime assertion checking; see Section 6.8.1 of
the manual - runtime assertion checking is also used to validate
counterexamples in `why3 prove` - loop invariants can now be inferred
automatically; see Section 8.5 of the manual - JSON output of
counterexamples was modified :x: - IDE - native keyboard modifiers are now
used on macOS - `why3 ide` in the Docker image can now be used through a web
browser instead of an X server; see Section 5.1.2 of the manual - Input Formats
- a new front-end named MLCFG was added; it supports unstructured program codes,
including `goto` statements; see Section 9.3 of the manual - translation of
`<>` and `not` have been fixed for micro-C and Python - Extraction -
allowed transitive inclusion (`export`) of interfaces and preludes - added
`remove module` for drivers to exclude modules - added C extraction of
strings - improved handling of C header files - added support of
`blacklist` to C extraction - fixed extraction of partially applied
functions - fixed OCaml extraction of nested tuples - fixed OCaml
extraction of `OneTime` integers - Web interface TryWhy3 - `?lang=foo` can
now be used to select an input format other than WhyML; the input format can
also be changed dynamically using a combobox - `?code=foo` can now be used
to fill the editor with some code; the encoded string can be retrieved by
clicking the "Copy URL" button - examples are no longer embedded; only
files
mentioned in `examples/index.txt` are considered :x: - Alt-Ergo workers can
now be stopped without losing the session - Provers - support for PVS 7.1
(released Apr 30, 2020) - support for Z3 4.8.7 (released Nov 19, 2019) -
support for Z3 4.8.8 (released May 9, 2020) - support for Z3 4.8.9 (released
Sep 11, 2020) - support for Z3 4.8.10 (released Jan 20, 2021) - support
for AltErgo 2.3.3 (released Aug 19, 2020) - support for AltErgo 2.4.0
(released Jan 22, 2021) - support for Coq 8.13.0 (released Jan 7, 2021)
- support for CVC4 1.8 (released Jun 19, 2020) - Documentation - Why3 modes
for editors (Section 5.3) - Why3-specific configuration for shells (Section
5.4) - detailed explanations on semantics of various WhyML statements
(Section 7.4) - detailed explanations on WhyML module system (Section 7.5)
- explanations on how users can customize drivers (Section 12.5) - API -
helpers were added to ease production of parse trees; see Section 4.9 of the
manual - generation of counterexamples was changed; see Section 4.10 of the
manual :x: - Additional bug fixes - fixed `why3 prove` when called on a
DIMACS file - improved detection of out-of-range values in `why3 execute`
- fixed micro-Python parser when there is no newline at end of file - fixed
SMT translation of negative floating-point literals - fixed set of reserved
symbols for SMT solvers - restored `hypothesis_selection` transformation
- fixed unsoundness of transformations `case` and `destruct` in presence of
polymorphic formulas The gappalib-coq build is a simple rebuild due to the
flocq update.
--------------------------------------------------------------------------------
ChangeLog:
* Wed Jul 14 2021 Jerry James <loganjerry(a)gmail.com> - 1.4.6-6
- Rebuild for flocq 3.4.2
--------------------------------------------------------------------------------
================================================================================
gnucash-4.6-2.fc34 (FEDORA-2021-bb029136e0)
Finance management application
--------------------------------------------------------------------------------
Update Information:
Two bugfixes.
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jul 16 2021 Paul Howarth <paul(a)city-fan.org> - 4.6-2
- Add fix for crash in transfers between accounts with different currencies
https://bugs.gnucash.org/show_bug.cgi?id=798221
https://bugs.gnucash.org/show_bug.cgi?id=798243
- Add fix for truncation of fund/currency prices
https://bugs.gnucash.org/show_bug.cgi?id=798219
--------------------------------------------------------------------------------
================================================================================
golang-github-containerd-aufs-1.0.0-1.fc34 (FEDORA-2021-23c5c07dd6)
Aufs snapshotter for containerd
--------------------------------------------------------------------------------
Update Information:
Update containerd to version 1.5.3 and moby-engine to version 20.10.7
--------------------------------------------------------------------------------
ChangeLog:
* Wed Jul 14 2021 Olivier Lemasle <o.lemasle(a)gmail.com> - 1.0.0-1
- Update to upstream 1.0.0 (fixes rhbz#1963484)
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1956638 - containerd-1.5.3 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1956638
[ 2 ] Bug #1963442 - golang-github-containerd-btrfs-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963442
[ 3 ] Bug #1963447 - golang-github-containerd-cgroups-1.0.1 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963447
[ 4 ] Bug #1963474 - golang-github-containerd-runc-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963474
[ 5 ] Bug #1963483 - golang-github-containerd-cni-1.0.2 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963483
[ 6 ] Bug #1963484 - golang-github-containerd-aufs-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963484
[ 7 ] Bug #1963503 - golang-github-containerd-fifo-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963503
[ 8 ] Bug #1963506 - golang-github-containerd-continuity-0.1.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963506
[ 9 ] Bug #1963659 - golang-github-containerd-nri-0.1.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963659
[ 10 ] Bug #1963660 - golang-github-google-containerregistry-0.5.1 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963660
[ 11 ] Bug #1963661 - golang-github-containerd-stargz-snapshotter-0.7.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963661
[ 12 ] Bug #1967390 - moby-engine-20.10.7 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1967390
--------------------------------------------------------------------------------
================================================================================
golang-github-containerd-btrfs-1.0.0-1.fc34 (FEDORA-2021-23c5c07dd6)
Btrfs bindings for Go
--------------------------------------------------------------------------------
Update Information:
Update containerd to version 1.5.3 and moby-engine to version 20.10.7
--------------------------------------------------------------------------------
ChangeLog:
* Wed Jul 14 2021 Olivier Lemasle <o.lemasle(a)gmail.com> - 1.0.0-1
- Update to upstream 1.0.0 (fixes rhbz#1963442)
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1956638 - containerd-1.5.3 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1956638
[ 2 ] Bug #1963442 - golang-github-containerd-btrfs-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963442
[ 3 ] Bug #1963447 - golang-github-containerd-cgroups-1.0.1 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963447
[ 4 ] Bug #1963474 - golang-github-containerd-runc-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963474
[ 5 ] Bug #1963483 - golang-github-containerd-cni-1.0.2 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963483
[ 6 ] Bug #1963484 - golang-github-containerd-aufs-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963484
[ 7 ] Bug #1963503 - golang-github-containerd-fifo-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963503
[ 8 ] Bug #1963506 - golang-github-containerd-continuity-0.1.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963506
[ 9 ] Bug #1963659 - golang-github-containerd-nri-0.1.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963659
[ 10 ] Bug #1963660 - golang-github-google-containerregistry-0.5.1 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963660
[ 11 ] Bug #1963661 - golang-github-containerd-stargz-snapshotter-0.7.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963661
[ 12 ] Bug #1967390 - moby-engine-20.10.7 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1967390
--------------------------------------------------------------------------------
================================================================================
golang-github-containerd-cgroups-1.0.1-1.fc34 (FEDORA-2021-23c5c07dd6)
Cgroups package for Go
--------------------------------------------------------------------------------
Update Information:
Update containerd to version 1.5.3 and moby-engine to version 20.10.7
--------------------------------------------------------------------------------
ChangeLog:
* Wed Jul 14 2021 Olivier Lemasle <o.lemasle(a)gmail.com> - 1.0.1-1
- Update to upstream 1.0.1 (fixes rhbz#1963447)
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1956638 - containerd-1.5.3 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1956638
[ 2 ] Bug #1963442 - golang-github-containerd-btrfs-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963442
[ 3 ] Bug #1963447 - golang-github-containerd-cgroups-1.0.1 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963447
[ 4 ] Bug #1963474 - golang-github-containerd-runc-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963474
[ 5 ] Bug #1963483 - golang-github-containerd-cni-1.0.2 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963483
[ 6 ] Bug #1963484 - golang-github-containerd-aufs-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963484
[ 7 ] Bug #1963503 - golang-github-containerd-fifo-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963503
[ 8 ] Bug #1963506 - golang-github-containerd-continuity-0.1.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963506
[ 9 ] Bug #1963659 - golang-github-containerd-nri-0.1.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963659
[ 10 ] Bug #1963660 - golang-github-google-containerregistry-0.5.1 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963660
[ 11 ] Bug #1963661 - golang-github-containerd-stargz-snapshotter-0.7.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963661
[ 12 ] Bug #1967390 - moby-engine-20.10.7 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1967390
--------------------------------------------------------------------------------
================================================================================
golang-github-containerd-cni-1.0.2-1.fc34 (FEDORA-2021-23c5c07dd6)
Generic CNI library to provide APIs for CNI plugin interactions
--------------------------------------------------------------------------------
Update Information:
Update containerd to version 1.5.3 and moby-engine to version 20.10.7
--------------------------------------------------------------------------------
ChangeLog:
* Wed Jul 14 2021 Olivier Lemasle <o.lemasle(a)gmail.com> - 1.0.2-1
- Update to upstream 1.0.2 (fixes rhbz#1963483)
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1956638 - containerd-1.5.3 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1956638
[ 2 ] Bug #1963442 - golang-github-containerd-btrfs-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963442
[ 3 ] Bug #1963447 - golang-github-containerd-cgroups-1.0.1 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963447
[ 4 ] Bug #1963474 - golang-github-containerd-runc-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963474
[ 5 ] Bug #1963483 - golang-github-containerd-cni-1.0.2 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963483
[ 6 ] Bug #1963484 - golang-github-containerd-aufs-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963484
[ 7 ] Bug #1963503 - golang-github-containerd-fifo-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963503
[ 8 ] Bug #1963506 - golang-github-containerd-continuity-0.1.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963506
[ 9 ] Bug #1963659 - golang-github-containerd-nri-0.1.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963659
[ 10 ] Bug #1963660 - golang-github-google-containerregistry-0.5.1 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963660
[ 11 ] Bug #1963661 - golang-github-containerd-stargz-snapshotter-0.7.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963661
[ 12 ] Bug #1967390 - moby-engine-20.10.7 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1967390
--------------------------------------------------------------------------------
================================================================================
golang-github-containerd-continuity-0.1.0-1.fc34 (FEDORA-2021-23c5c07dd6)
Transport-agnostic, filesystem metadata manifest system
--------------------------------------------------------------------------------
Update Information:
Update containerd to version 1.5.3 and moby-engine to version 20.10.7
--------------------------------------------------------------------------------
ChangeLog:
* Wed Jul 14 2021 Olivier Lemasle <o.lemasle(a)gmail.com> - 0.1.0-1
- Update to upstream 0.1.0 (fixes rhbz#1963506)
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1956638 - containerd-1.5.3 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1956638
[ 2 ] Bug #1963442 - golang-github-containerd-btrfs-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963442
[ 3 ] Bug #1963447 - golang-github-containerd-cgroups-1.0.1 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963447
[ 4 ] Bug #1963474 - golang-github-containerd-runc-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963474
[ 5 ] Bug #1963483 - golang-github-containerd-cni-1.0.2 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963483
[ 6 ] Bug #1963484 - golang-github-containerd-aufs-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963484
[ 7 ] Bug #1963503 - golang-github-containerd-fifo-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963503
[ 8 ] Bug #1963506 - golang-github-containerd-continuity-0.1.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963506
[ 9 ] Bug #1963659 - golang-github-containerd-nri-0.1.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963659
[ 10 ] Bug #1963660 - golang-github-google-containerregistry-0.5.1 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963660
[ 11 ] Bug #1963661 - golang-github-containerd-stargz-snapshotter-0.7.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963661
[ 12 ] Bug #1967390 - moby-engine-20.10.7 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1967390
--------------------------------------------------------------------------------
================================================================================
golang-github-containerd-fifo-1.0.0-1.fc34 (FEDORA-2021-23c5c07dd6)
Fifo pkg for Go
--------------------------------------------------------------------------------
Update Information:
Update containerd to version 1.5.3 and moby-engine to version 20.10.7
--------------------------------------------------------------------------------
ChangeLog:
* Wed Jul 14 2021 Olivier Lemasle <o.lemasle(a)gmail.com> - 1.0.0-1
- Update to upstream 1.0.0 (fixes rhbz#1963503)
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1956638 - containerd-1.5.3 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1956638
[ 2 ] Bug #1963442 - golang-github-containerd-btrfs-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963442
[ 3 ] Bug #1963447 - golang-github-containerd-cgroups-1.0.1 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963447
[ 4 ] Bug #1963474 - golang-github-containerd-runc-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963474
[ 5 ] Bug #1963483 - golang-github-containerd-cni-1.0.2 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963483
[ 6 ] Bug #1963484 - golang-github-containerd-aufs-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963484
[ 7 ] Bug #1963503 - golang-github-containerd-fifo-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963503
[ 8 ] Bug #1963506 - golang-github-containerd-continuity-0.1.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963506
[ 9 ] Bug #1963659 - golang-github-containerd-nri-0.1.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963659
[ 10 ] Bug #1963660 - golang-github-google-containerregistry-0.5.1 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963660
[ 11 ] Bug #1963661 - golang-github-containerd-stargz-snapshotter-0.7.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963661
[ 12 ] Bug #1967390 - moby-engine-20.10.7 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1967390
--------------------------------------------------------------------------------
================================================================================
golang-github-containerd-nri-0.1.0-1.fc34 (FEDORA-2021-23c5c07dd6)
Node Resource Interface
--------------------------------------------------------------------------------
Update Information:
Update containerd to version 1.5.3 and moby-engine to version 20.10.7
--------------------------------------------------------------------------------
ChangeLog:
* Wed Jul 14 2021 Olivier Lemasle <o.lemasle(a)gmail.com> - 0.1.0-1
- Update to upstream 0.1.0 (fixes rhbz#1963659)
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1956638 - containerd-1.5.3 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1956638
[ 2 ] Bug #1963442 - golang-github-containerd-btrfs-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963442
[ 3 ] Bug #1963447 - golang-github-containerd-cgroups-1.0.1 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963447
[ 4 ] Bug #1963474 - golang-github-containerd-runc-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963474
[ 5 ] Bug #1963483 - golang-github-containerd-cni-1.0.2 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963483
[ 6 ] Bug #1963484 - golang-github-containerd-aufs-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963484
[ 7 ] Bug #1963503 - golang-github-containerd-fifo-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963503
[ 8 ] Bug #1963506 - golang-github-containerd-continuity-0.1.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963506
[ 9 ] Bug #1963659 - golang-github-containerd-nri-0.1.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963659
[ 10 ] Bug #1963660 - golang-github-google-containerregistry-0.5.1 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963660
[ 11 ] Bug #1963661 - golang-github-containerd-stargz-snapshotter-0.7.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963661
[ 12 ] Bug #1967390 - moby-engine-20.10.7 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1967390
--------------------------------------------------------------------------------
================================================================================
golang-github-containerd-runc-1.0.0-1.fc34 (FEDORA-2021-23c5c07dd6)
Runc bindings for Go
--------------------------------------------------------------------------------
Update Information:
Update containerd to version 1.5.3 and moby-engine to version 20.10.7
--------------------------------------------------------------------------------
ChangeLog:
* Wed Jul 14 2021 Olivier Lemasle <o.lemasle(a)gmail.com> - 1.0.0-1
- Update to upstream 1.0.0 (fixes rhbz#1963474)
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1956638 - containerd-1.5.3 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1956638
[ 2 ] Bug #1963442 - golang-github-containerd-btrfs-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963442
[ 3 ] Bug #1963447 - golang-github-containerd-cgroups-1.0.1 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963447
[ 4 ] Bug #1963474 - golang-github-containerd-runc-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963474
[ 5 ] Bug #1963483 - golang-github-containerd-cni-1.0.2 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963483
[ 6 ] Bug #1963484 - golang-github-containerd-aufs-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963484
[ 7 ] Bug #1963503 - golang-github-containerd-fifo-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963503
[ 8 ] Bug #1963506 - golang-github-containerd-continuity-0.1.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963506
[ 9 ] Bug #1963659 - golang-github-containerd-nri-0.1.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963659
[ 10 ] Bug #1963660 - golang-github-google-containerregistry-0.5.1 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963660
[ 11 ] Bug #1963661 - golang-github-containerd-stargz-snapshotter-0.7.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963661
[ 12 ] Bug #1967390 - moby-engine-20.10.7 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1967390
--------------------------------------------------------------------------------
================================================================================
golang-github-containerd-stargz-snapshotter-0.7.0-1.fc34 (FEDORA-2021-23c5c07dd6)
Fast container image distribution plugin with lazy pulling
--------------------------------------------------------------------------------
Update Information:
Update containerd to version 1.5.3 and moby-engine to version 20.10.7
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jul 16 2021 Olivier Lemasle <o.lemasle(a)gmail.com> - 0.7.0-1
- Bump to 0.7.0 (fixes rhbz#1963661)
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1956638 - containerd-1.5.3 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1956638
[ 2 ] Bug #1963442 - golang-github-containerd-btrfs-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963442
[ 3 ] Bug #1963447 - golang-github-containerd-cgroups-1.0.1 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963447
[ 4 ] Bug #1963474 - golang-github-containerd-runc-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963474
[ 5 ] Bug #1963483 - golang-github-containerd-cni-1.0.2 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963483
[ 6 ] Bug #1963484 - golang-github-containerd-aufs-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963484
[ 7 ] Bug #1963503 - golang-github-containerd-fifo-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963503
[ 8 ] Bug #1963506 - golang-github-containerd-continuity-0.1.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963506
[ 9 ] Bug #1963659 - golang-github-containerd-nri-0.1.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963659
[ 10 ] Bug #1963660 - golang-github-google-containerregistry-0.5.1 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963660
[ 11 ] Bug #1963661 - golang-github-containerd-stargz-snapshotter-0.7.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963661
[ 12 ] Bug #1967390 - moby-engine-20.10.7 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1967390
--------------------------------------------------------------------------------
================================================================================
golang-github-containerd-typeurl-1.0.2-1.fc34 (FEDORA-2021-23c5c07dd6)
Go package for managing marshaled types to protobuf.Any
--------------------------------------------------------------------------------
Update Information:
Update containerd to version 1.5.3 and moby-engine to version 20.10.7
--------------------------------------------------------------------------------
ChangeLog:
* Wed Jul 14 2021 Olivier Lemasle <o.lemasle(a)gmail.com> - 1.0.2-1
- Update to upstream 1.0.2
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1956638 - containerd-1.5.3 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1956638
[ 2 ] Bug #1963442 - golang-github-containerd-btrfs-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963442
[ 3 ] Bug #1963447 - golang-github-containerd-cgroups-1.0.1 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963447
[ 4 ] Bug #1963474 - golang-github-containerd-runc-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963474
[ 5 ] Bug #1963483 - golang-github-containerd-cni-1.0.2 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963483
[ 6 ] Bug #1963484 - golang-github-containerd-aufs-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963484
[ 7 ] Bug #1963503 - golang-github-containerd-fifo-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963503
[ 8 ] Bug #1963506 - golang-github-containerd-continuity-0.1.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963506
[ 9 ] Bug #1963659 - golang-github-containerd-nri-0.1.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963659
[ 10 ] Bug #1963660 - golang-github-google-containerregistry-0.5.1 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963660
[ 11 ] Bug #1963661 - golang-github-containerd-stargz-snapshotter-0.7.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963661
[ 12 ] Bug #1967390 - moby-engine-20.10.7 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1967390
--------------------------------------------------------------------------------
================================================================================
golang-github-google-containerregistry-0.5.1-1.fc34 (FEDORA-2021-23c5c07dd6)
Go library and CLIs for working with container registries
--------------------------------------------------------------------------------
Update Information:
Update containerd to version 1.5.3 and moby-engine to version 20.10.7
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jul 16 2021 Olivier Lemasle <o.lemasle(a)gmail.com> - 0.5.1-1
- Update to latest upstream 0.5.1 - Fixes rhbz#1963660
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1956638 - containerd-1.5.3 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1956638
[ 2 ] Bug #1963442 - golang-github-containerd-btrfs-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963442
[ 3 ] Bug #1963447 - golang-github-containerd-cgroups-1.0.1 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963447
[ 4 ] Bug #1963474 - golang-github-containerd-runc-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963474
[ 5 ] Bug #1963483 - golang-github-containerd-cni-1.0.2 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963483
[ 6 ] Bug #1963484 - golang-github-containerd-aufs-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963484
[ 7 ] Bug #1963503 - golang-github-containerd-fifo-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963503
[ 8 ] Bug #1963506 - golang-github-containerd-continuity-0.1.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963506
[ 9 ] Bug #1963659 - golang-github-containerd-nri-0.1.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963659
[ 10 ] Bug #1963660 - golang-github-google-containerregistry-0.5.1 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963660
[ 11 ] Bug #1963661 - golang-github-containerd-stargz-snapshotter-0.7.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963661
[ 12 ] Bug #1967390 - moby-engine-20.10.7 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1967390
--------------------------------------------------------------------------------
================================================================================
golang-k8s-cri-api-1.20.6-1.fc34 (FEDORA-2021-23c5c07dd6)
Plugin interface which enables kubelet to use container runtimes
--------------------------------------------------------------------------------
Update Information:
Update containerd to version 1.5.3 and moby-engine to version 20.10.7
--------------------------------------------------------------------------------
ChangeLog:
* Wed Jul 14 2021 Olivier Lemasle <o.lemasle(a)gmail.com> - 1.20.6-1
- Update to 1.20.6
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1956638 - containerd-1.5.3 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1956638
[ 2 ] Bug #1963442 - golang-github-containerd-btrfs-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963442
[ 3 ] Bug #1963447 - golang-github-containerd-cgroups-1.0.1 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963447
[ 4 ] Bug #1963474 - golang-github-containerd-runc-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963474
[ 5 ] Bug #1963483 - golang-github-containerd-cni-1.0.2 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963483
[ 6 ] Bug #1963484 - golang-github-containerd-aufs-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963484
[ 7 ] Bug #1963503 - golang-github-containerd-fifo-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963503
[ 8 ] Bug #1963506 - golang-github-containerd-continuity-0.1.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963506
[ 9 ] Bug #1963659 - golang-github-containerd-nri-0.1.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963659
[ 10 ] Bug #1963660 - golang-github-google-containerregistry-0.5.1 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963660
[ 11 ] Bug #1963661 - golang-github-containerd-stargz-snapshotter-0.7.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963661
[ 12 ] Bug #1967390 - moby-engine-20.10.7 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1967390
--------------------------------------------------------------------------------
================================================================================
ibus-m17n-1.4.6-1.fc34 (FEDORA-2021-0996be6605)
The M17N engine for IBus platform
--------------------------------------------------------------------------------
Update Information:
Update to 1.4.6; Make inscript2 engines rank higher than inscript engines
--------------------------------------------------------------------------------
ChangeLog:
* Thu Jul 15 2021 Mike FABIAN <mfabian(a)redhat.com> - 1.4.6-1
- Update to 1.4.6
- Make inscript2 engines rank higher than inscript engines
- Resolves: rhbz#1982546
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1982546 - Make inscript2 engines rank higher than inscript engines
https://bugzilla.redhat.com/show_bug.cgi?id=1982546
--------------------------------------------------------------------------------
================================================================================
jmol-14.31.44-1.fc34 (FEDORA-2021-f2f93857de)
Java viewer for chemical structures in 3D
--------------------------------------------------------------------------------
Update Information:
Changes in Jmol 14.31.43: - new feature: `hbondHDistanceMaximum` maximum `O--H`
distance in hydrogen bonds - only in the case of actual hydrogen bonds, not
pseudo-hydrogen bonds - `hbondsDistanceMaximum` now aliased to
`hbondNODistanceMaximum` for clarity Changes in Jmol 14.31.44: - bug fix:
Incorrect implementation of double value from string in JCAMP-DX format - bug
fix: V3000 reader does not recognize 2D mol file setting - bug fix: 2D->3D can
invert stereocenters having C-H bond. In addition, the package now contains a
metainfo file for better desktop integration.
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jul 16 2021 Jerry James <loganjerry(a)gmail.com> - 14.31.44-1
- Version 14.31.44
- Add a metainfo file
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1977115 - jmol-14.31.44 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1977115
--------------------------------------------------------------------------------
================================================================================
libwacom-1.11-1.fc34 (FEDORA-2021-9f92234e61)
Tablet Information Client Library
--------------------------------------------------------------------------------
Update Information:
libwacom 1.11, adds a set of new tablet definition files
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jul 16 2021 Peter Hutterer <peter.hutterer(a)redhat.com> - 1.11-1
- libwacom 1.11
--------------------------------------------------------------------------------
================================================================================
liquidctl-1.7.1-1.fc34 (FEDORA-2021-62e5331f43)
Tool for controlling liquid coolers, case fans and RGB LED strips
--------------------------------------------------------------------------------
Update Information:
Update to latest upstream release ---- Update to latest upstream release
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jul 16 2021 Artur Frenszek-Iwicki <fedora(a)svgames.pl> - 1.7.1-1
- Update to latest upstream release
* Wed Jul 14 2021 Artur Frenszek-Iwicki <fedora(a)svgames.pl> - 1.7.0-1
- Update to latest upstream release
- Add the "udev" subpackage
- Drop Patch0 (doctest failures) - python3.10-specific, fixed in Fedora
* Wed Jun 16 2021 Artur Frenszek-Iwicki <fedora(a)svgames.pl> - 1.6.1-3
- Add a patch to fix test failures (fixes rhbz#1948499)
* Fri Jun 4 2021 Python Maint <python-maint(a)redhat.com> - 1.6.1-2
- Rebuilt for Python 3.10
* Sat May 1 2021 Artur Frenszek-Iwicki <fedora(a)svgames.pl> - 1.6.1-1
- Update to latest upstream release
--------------------------------------------------------------------------------
================================================================================
lua-unbound-1.0.0-1.fc34 (FEDORA-2021-391713dcdf)
Binding to libunbound for Lua
--------------------------------------------------------------------------------
Update Information:
- Upgrade to 1.0.0 (#1982222)
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jul 16 2021 Robert Scheck <robert(a)fedoraproject.org> 1.0.0-1
- Upgrade to 1.0.0 (#1982222)
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1982222 - lua-unbound-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1982222
--------------------------------------------------------------------------------
================================================================================
moby-engine-20.10.7-1.fc34 (FEDORA-2021-23c5c07dd6)
The open-source application container engine
--------------------------------------------------------------------------------
Update Information:
Update containerd to version 1.5.3 and moby-engine to version 20.10.7
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jul 16 2021 Olivier Lemasle <o.lemasle(a)gmail.com> - 20.10.7-1
- Update to upstream 20.10.7 (fixes rhbz#1967390)
* Tue May 4 2021 Olivier Lemasle <o.lemasle(a)gmail.com> - 20.10.6-2
- Add conflict with podman-docker
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1956638 - containerd-1.5.3 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1956638
[ 2 ] Bug #1963442 - golang-github-containerd-btrfs-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963442
[ 3 ] Bug #1963447 - golang-github-containerd-cgroups-1.0.1 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963447
[ 4 ] Bug #1963474 - golang-github-containerd-runc-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963474
[ 5 ] Bug #1963483 - golang-github-containerd-cni-1.0.2 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963483
[ 6 ] Bug #1963484 - golang-github-containerd-aufs-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963484
[ 7 ] Bug #1963503 - golang-github-containerd-fifo-1.0.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963503
[ 8 ] Bug #1963506 - golang-github-containerd-continuity-0.1.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963506
[ 9 ] Bug #1963659 - golang-github-containerd-nri-0.1.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963659
[ 10 ] Bug #1963660 - golang-github-google-containerregistry-0.5.1 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963660
[ 11 ] Bug #1963661 - golang-github-containerd-stargz-snapshotter-0.7.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1963661
[ 12 ] Bug #1967390 - moby-engine-20.10.7 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1967390
--------------------------------------------------------------------------------
================================================================================
onedrive-2.4.13-2.fc34 (FEDORA-2021-bcbada7d47)
OneDrive Free Client written in D
--------------------------------------------------------------------------------
Update Information:
Update onedrive to 2.4.13
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jul 16 2021 Zamir SUN <sztsian(a)gmail.com> - 2.4.13-2
- Fix rpath issue
* Wed Jul 14 2021 Marcel <34819524+MarcelCoding(a)users.noreply.github.com> -
2.4.13-1
- Update to 2.4.13
* Fri Jul 2 2021 Marcel <34819524+MarcelCoding(a)users.noreply.github.com> -
2.4.12-1
- Update to 2.4.12
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1911017 - onedrive-2.4.13 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1911017
--------------------------------------------------------------------------------
================================================================================
pantheon-agent-geoclue2-1.0.5-1.fc34 (FEDORA-2021-92d1f8a343)
Pantheon Geoclue2 Agent
--------------------------------------------------------------------------------
Update Information:
Update to version 1.0.5. Release notes:
https://github.com/elementary/pantheon-
agent-geoclue2/releases/tag/1.0.5
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jul 16 2021 Fabio Valentini <decathorpe(a)gmail.com> 1.0.5-1
- Update to version 1.0.5
--------------------------------------------------------------------------------
================================================================================
picocli-4.6.1-4.fc34 (FEDORA-2021-95039c8299)
Java command line parser with both an annotations API and a programmatic API
--------------------------------------------------------------------------------
Update Information:
Add picocli-shell-jline3 ---- Add picocli-shell-jline2 ---- Add picocli-
parent and picocli-codegen ---- First picocli package
--------------------------------------------------------------------------------
ChangeLog:
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1980117 - Review Request: picocli - Java command line parser with both an
annotations API and a programmatic API
https://bugzilla.redhat.com/show_bug.cgi?id=1980117
--------------------------------------------------------------------------------
================================================================================
plasma-workspace-5.22.3-2.fc34 (FEDORA-2021-05fdb1456c)
Plasma workspace, applications and applets
--------------------------------------------------------------------------------
Update Information:
spice-vdagent: Provide user spice-vdagent.service for environments that may need
it (like systemdboot enabled plasma sessions). plasma-workspace: Add systemd
dependency to run spice-vdagent.service in user sessions
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jul 16 2021 Rex Dieter <rdieter(a)fedoraproject.org> - 5.22.3-2
- add (modularized) user service dependencies for ssh-agent, spice-vdagent
- drop BR: kf5-kdelibs4support
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1951580 - spice-vdagent does not start in plasma session
https://bugzilla.redhat.com/show_bug.cgi?id=1951580
--------------------------------------------------------------------------------
================================================================================
podman-3.2.3-1.fc34 (FEDORA-2021-723a480816)
Manage Pods, Containers and Container Images
--------------------------------------------------------------------------------
Update Information:
Security fix for CVE-2021-3602
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jul 16 2021 Lokesh Mandvekar <lsm5(a)fedoraproject.org> - 3:3.2.3-1
- Resolves: #1969264, #1982881 - Security fix for CVE-2021-3602
- bump to v3.2.3
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1969264 - CVE-2021-3602 buildah: Host environment variables leaked in build
container when using chroot isolation
https://bugzilla.redhat.com/show_bug.cgi?id=1969264
--------------------------------------------------------------------------------
================================================================================
python-asyncpg-0.23.0-6.fc34 (FEDORA-2021-df2e45ad54)
A fast PostgreSQL Database Client Library for Python/asyncio
--------------------------------------------------------------------------------
Update Information:
The `python-asyncpg-doc` package now depends on `python3-docs`, and the
`python3-asyncpg` package now does not.
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jul 16 2021 Benjamin A. Beasley <code(a)musicinmybrain.net> - 0.23.0-6
- Dependency on python3-docs should have been in -doc subpackage
* Fri Jul 2 2021 Benjamin A. Beasley <code(a)musicinmybrain.net> - 0.23.0-5
- Allow later versions of test dependencies pycodestyle and uvloop
--------------------------------------------------------------------------------
================================================================================
python-pikepdf-2.15.0-1.fc34 (FEDORA-2021-ad901dbf4a)
Read and write PDFs with Python, powered by qpdf
--------------------------------------------------------------------------------
Update Information:
Update to latest version ---- Update to latest version
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jul 16 2021 Elliott Sales de Andrade <quantum.analyst(a)gmail.com> - 2.15.0-1
- Update to latest version (#1981984)
* Sun Jul 11 2021 Elliott Sales de Andrade <quantum.analyst(a)gmail.com> - 2.14.2-1
- Update to latest version (#1979400)
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1979400 - python-pikepdf-2.14.2 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1979400
[ 2 ] Bug #1981984 - python-pikepdf-2.15.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1981984
--------------------------------------------------------------------------------
================================================================================
python-sport-activities-features-0.2.3-1.fc34 (FEDORA-2021-fdbaa7e334)
Extracting features from sport activity files
--------------------------------------------------------------------------------
Update Information:
New upstream's release
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jul 16 2021 Iztok Fister Jr. <iztokf AT fedoraproject DOT org> - 0.2.3-1
- Update to the latest upstream release
* Tue Jul 6 2021 Iztok Fister Jr. <iztokf AT fedoraproject DOT org> - 0.2.2-1
- Update to the latest upstream release
* Thu Jul 1 2021 Iztok Fister Jr. <iztokf AT fedoraproject DOT org> - 0.2.1-1
- Update to the latest upstream release
* Wed Jun 30 2021 Iztok Fister Jr. <iztokf AT fedoraproject DOT org> - 0.2.0-6
- Minor corrections
* Wed Jun 30 2021 Iztok Fister Jr. <iztokf AT fedoraproject DOT org> - 0.2.0-5
- Skip one test
* Mon Jun 28 2021 Iztok Fister Jr. <iztokf AT fedoraproject DOT org> - 0.2.0-4
- Corrections (new version of deps became available)
* Wed Jun 9 2021 Iztok Fister Jr. <iztokf AT fedoraproject DOT org> - 0.2.0-3
- Minor corrections
* Fri Jun 4 2021 Python Maint <python-maint(a)redhat.com> - 0.2.0-2
- Rebuilt for Python 3.10
* Wed May 12 2021 Iztok Fister Jr. <iztokf AT fedoraproject DOT org> - 0.2.0-1
- Update to the latest upstream release
--------------------------------------------------------------------------------
================================================================================
python3.9-3.9.6-2.fc34 (FEDORA-2021-d613e00b72)
Version 3.9 of the Python interpreter
--------------------------------------------------------------------------------
Update Information:
- Require pyproject-rpm-macros from python3-debug, to enable packaging according
to new guidelines See:
https://fedoraproject.org/wiki/Changes/PythonPackagingGuidelines202x - Add
"python-turtle" provide to python3-tkinter
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jul 16 2021 Petr Viktorin <pviktori(a)redhat.com> - 3.9.6-2
- Provide python3-turtle from python3-tkinter
- Require pyproject-rpm-macros from python3-devel
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1952565 - Add %py_provides for optional stdlib modules
https://bugzilla.redhat.com/show_bug.cgi?id=1952565
--------------------------------------------------------------------------------
================================================================================
qpid-dispatch-1.16.1-1.fc34 (FEDORA-2021-d7a3eed4e5)
Dispatch router for Qpid
--------------------------------------------------------------------------------
Update Information:
Rebased to 1.16.1
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jul 16 2021 Kim van der Riet <kvanderr(a)redhat.com> - 1.16.1-1
- Rebased to 1.16.1
--------------------------------------------------------------------------------
================================================================================
qpid-proton-0.35.0-1.fc34 (FEDORA-2021-9e609c68b1)
A high performance, lightweight messaging library
--------------------------------------------------------------------------------
Update Information:
Rebased to proton 0.35.0
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jul 16 2021 Kim van der Riet <kvanderr(a)redhat.com> - 0.34.0-1
- Rebased to 0.35.0
--------------------------------------------------------------------------------
================================================================================
rust-cfg-expr-0.8.0-2.fc34 (FEDORA-2021-f56e15b9c2)
Parser and evaluator for Rust `cfg()` expressions
--------------------------------------------------------------------------------
Update Information:
local build ---- local build ---- local build
--------------------------------------------------------------------------------
ChangeLog:
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1976529 - Review Request: rust-cfg-expr - parser and evaluator for Rust
`cfg()` expressions
https://bugzilla.redhat.com/show_bug.cgi?id=1976529
[ 2 ] Bug #1981348 - F35FailsToInstall: rust-cfg-expr+targets-devel,
rust-cfg-expr+target-lexicon-devel
https://bugzilla.redhat.com/show_bug.cgi?id=1981348
[ 3 ] Bug #1982978 - rust-cfg-expr-0.8.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1982978
--------------------------------------------------------------------------------
================================================================================
sayonara-1.7.0-3.stable3.fc34 (FEDORA-2021-25529fad12)
A lightweight Qt Audio player
--------------------------------------------------------------------------------
Update Information:
Update to 1.7.0-3.stable3
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jul 16 2021 Martin Gansser <martinkg(a)fedoraproject.org> - 1.7.0-3
- Update to 1.7.0 stable3
--------------------------------------------------------------------------------
================================================================================
scidavis-2.4.0-6.fc34 (FEDORA-2021-98072088a5)
Application for Scientific Data Analysis and Visualization
--------------------------------------------------------------------------------
Update Information:
Revert sip 5/6 patch
--------------------------------------------------------------------------------
ChangeLog:
* Sat Jul 10 2021 Scott Talbert <swt(a)techie.net> - 2.4.0-6
- Revert back to building with sip 4 due to no sip 6 support
--------------------------------------------------------------------------------
================================================================================
spice-vdagent-0.21.0-3.fc34 (FEDORA-2021-05fdb1456c)
Agent for Spice guests
--------------------------------------------------------------------------------
Update Information:
spice-vdagent: Provide user spice-vdagent.service for environments that may need
it (like systemdboot enabled plasma sessions). plasma-workspace: Add systemd
dependency to run spice-vdagent.service in user sessions
--------------------------------------------------------------------------------
ChangeLog:
* Wed Jul 14 2021 Rex Dieter <rdieter(a)fedoraproject.org> - 0.21.0-3
- add user spice-vdgant.service (#1951580)
- use %make_build/%make_install
* Tue Mar 2 2021 Zbigniew J��drzejewski-Szmek <zbyszek(a)in.waw.pl> - 0.21.0-2
- Rebuilt for updated systemd-rpm-macros
See
https://pagure.io/fesco/issue/2583.
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1951580 - spice-vdagent does not start in plasma session
https://bugzilla.redhat.com/show_bug.cgi?id=1951580
--------------------------------------------------------------------------------
================================================================================
stratis-cli-2.4.3-1.fc34 (FEDORA-2021-b982dde996)
Command-line tool for interacting with the Stratis daemon
--------------------------------------------------------------------------------
Update Information:
Update to 2.4.3
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jul 16 2021 mulhern <amulhern(a)redhat.com> - 2.4.3-1
- Update to 2.4.3
--------------------------------------------------------------------------------
================================================================================
switchboard-plug-a11y-2.3.0-1.fc34 (FEDORA-2021-0882b79887)
Switchboard Accessibility plug
--------------------------------------------------------------------------------
Update Information:
Update to version 2.3.0. Release notes:
https://github.com/elementary/switchboard-plug-a11y/releases/tag/2.3.0
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jul 16 2021 Fabio Valentini <decathorpe(a)gmail.com> 2.3.0-1
- Update to version 2.3.0
--------------------------------------------------------------------------------
================================================================================
switchboard-plug-about-6.0.0-1.fc34 (FEDORA-2021-f4b7a85b7d)
Switchboard System Information plug
--------------------------------------------------------------------------------
Update Information:
Update to version 6.0.0. Release notes:
https://github.com/elementary/switchboard-plug-about/releases/tag/6.0.0
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jul 16 2021 Fabio Valentini <decathorpe(a)gmail.com> 6.0.0-1
- Update to version 6.0.0; Fixes RHBZ#1982947
--------------------------------------------------------------------------------
================================================================================
switchboard-plug-applications-6.0.0-1.fc34 (FEDORA-2021-4191c000ec)
Switchboard Applications plug
--------------------------------------------------------------------------------
Update Information:
Update to version 6.0.0. Release notes:
https://github.com/elementary/switchboard-plug-applications/releases/tag/...
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jul 16 2021 Fabio Valentini <decathorpe(a)gmail.com> 6.0.0-1
- Update to version 6.0.0; Fixes RHBZ#1982948
--------------------------------------------------------------------------------
================================================================================
switchboard-plug-mouse-touchpad-6.0.0-1.fc34 (FEDORA-2021-5f71e57a27)
Switchboard Mouse and Touchpad plug
--------------------------------------------------------------------------------
Update Information:
Update to version 6.0.0. Release notes:
https://github.com/elementary/switchboard-plug-mouse-touchpad/releases/ta...
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jul 16 2021 Fabio Valentini <decathorpe(a)gmail.com> 6.0.0-1
- Update to version 6.0.0; Fixes RHBZ#1982949
--------------------------------------------------------------------------------
================================================================================
switchboard-plug-notifications-2.2.0-1.fc34 (FEDORA-2021-cae2e84ae3)
Switchboard Notifications plug
--------------------------------------------------------------------------------
Update Information:
Update to version 2.2.0. Release notes:
https://github.com/elementary/switchboard-plug-notifications/releases/tag...
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jul 16 2021 Fabio Valentini <decathorpe(a)gmail.com> 2.2.0-1
- Update to version 2.2.0; Fixes RHBZ#1982518
--------------------------------------------------------------------------------
================================================================================
switchboard-plug-pantheon-shell-6.0.0-1.fc34 (FEDORA-2021-5256d10630)
Switchboard Pantheon Shell plug
--------------------------------------------------------------------------------
Update Information:
Update to version 6.0.0. Release notes:
https://github.com/elementary/switchboard-plug-pantheon-shell/releases/ta...
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jul 16 2021 Fabio Valentini <decathorpe(a)gmail.com> 6.0.0-1
- Update to version 6.0.0; Fixes RHBZ#1982950
--------------------------------------------------------------------------------
================================================================================
switchboard-plug-sharing-2.1.5-1.fc34 (FEDORA-2021-a0ed508775)
Switchboard Sharing Plug
--------------------------------------------------------------------------------
Update Information:
Update to version 2.1.5. Release notes:
https://github.com/elementary/switchboard-plug-sharing/releases/tag/2.1.5
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jul 16 2021 Fabio Valentini <decathorpe(a)gmail.com> 2.1.5-1
- Update to version 2.1.5; Fixes RHBZ#1982074
--------------------------------------------------------------------------------
================================================================================
switchboard-plug-sound-2.2.7-1.fc34 (FEDORA-2021-2aa30c21d8)
Switchboard Sound Plug
--------------------------------------------------------------------------------
Update Information:
Update to version 2.2.7. Release notes:
https://github.com/elementary/switchboard-plug-sound/releases/tag/2.2.7
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jul 16 2021 Fabio Valentini <decathorpe(a)gmail.com> 2.2.7-1
- Update to version 2.2.7; Fixes RHBZ#1982519
--------------------------------------------------------------------------------
================================================================================
varnish-6.5.2-1.fc34 (FEDORA-2021-cf7585f0ca)
High-performance HTTP accelerator
--------------------------------------------------------------------------------
Update Information:
New upstream release. This is a security release for CVE-2021-36740 aka VSV00007
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jul 16 2021 Ingvar Hagelund <ingvar(a)redpill-linpro.com> 6.5.2-1
- New upstream release
- Includes fix for VSV00007 aka CVE-2021-36740, bz#1982412
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1982412 - CVE-2021-36740 varnish: HTTP/2 request smuggling attack via a large
Content-Length header for a POST request [fedora-all]
https://bugzilla.redhat.com/show_bug.cgi?id=1982412
--------------------------------------------------------------------------------
================================================================================
varnish-modules-0.17.1-2.fc34 (FEDORA-2021-cf7585f0ca)
A collection of modules ("vmods") extending Varnish VCL
--------------------------------------------------------------------------------
Update Information:
New upstream release. This is a security release for CVE-2021-36740 aka VSV00007
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jul 16 2021 Ingvar Hagelund <ingvar(a)redpill-linpro.com> 0.17.1-2
- Rebuilt for varnish-6.5.2
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1982412 - CVE-2021-36740 varnish: HTTP/2 request smuggling attack via a large
Content-Length header for a POST request [fedora-all]
https://bugzilla.redhat.com/show_bug.cgi?id=1982412
--------------------------------------------------------------------------------
================================================================================
vmod-uuid-1.8-4.fc34 (FEDORA-2021-cf7585f0ca)
UUID module for Varnish Cache
--------------------------------------------------------------------------------
Update Information:
New upstream release. This is a security release for CVE-2021-36740 aka VSV00007
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jul 16 2021 Ingvar Hagelund <ingvar(a)redpill-linpro.com> - 1.8-4
- Rebuilt for varnish-6.5.2
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1982412 - CVE-2021-36740 varnish: HTTP/2 request smuggling attack via a large
Content-Length header for a POST request [fedora-all]
https://bugzilla.redhat.com/show_bug.cgi?id=1982412
--------------------------------------------------------------------------------
================================================================================
why3-1.4.0-1.fc34 (FEDORA-2021-7da114a267)
Software verification platform
--------------------------------------------------------------------------------
Update Information:
Changes in flocq 3.4.1: - ensured compatibility from Coq 8.7 to 8.14 Changes
in flocq 3.4.2: - restored compatibility with Coq 8.11 Changes in frama-c 23.0
Vanadium: - See
https://frama-c.com/html/changelog.html Changes in why3 1.4.0,
where `:x:` marks a backwards incompatibility - WhyML - sub-namespaces are
now allowed in `for each` loops; see Section 7.4.7 of the manual - function
literals are now supported; see Sections 7.3.2 and 7.4.9 of the manual -
Standard library - added lemma `permut_sub_trans` to `array.ArrayPermut`
- added function `inter` (intersection) to `bag.Bag` - added a new theory
`option.Map` - added a precondition to `string.OCaml.([])` - added
functions `set`, `init`, `sub` to `mach.array.ArrayInt63` - moved OCaml
exception `Invalid_argument` to `ocaml.Exceptions` :x: - added function
`length` in `mach.c.String` - added functions `sdiv` and `srem` to `bv`
- added signed operations to `mach.bv` - added missing module for double-
precision floats to `mach.floats` - Tools - command-line options now follow
the getopt standard; in particular, long options start with `--` :x: -
binaries `why3config`, `why3prove`, etc, no longer exist; they are now plugins
that can be loaded only using the main `why3` binary, e.g., `why3 config` :x:
- `why3 config` now uses subcommands instead of options; in particular, prover
detection is performed using `why3 config detect` and manual prover addition is
performed using `why3 config add-prover`; see Section 6.1 of the manual :x:
- `why3 execute` now provides runtime assertion checking; see Section 6.8.1 of
the manual - runtime assertion checking is also used to validate
counterexamples in `why3 prove` - loop invariants can now be inferred
automatically; see Section 8.5 of the manual - JSON output of
counterexamples was modified :x: - IDE - native keyboard modifiers are now
used on macOS - `why3 ide` in the Docker image can now be used through a web
browser instead of an X server; see Section 5.1.2 of the manual - Input Formats
- a new front-end named MLCFG was added; it supports unstructured program codes,
including `goto` statements; see Section 9.3 of the manual - translation of
`<>` and `not` have been fixed for micro-C and Python - Extraction -
allowed transitive inclusion (`export`) of interfaces and preludes - added
`remove module` for drivers to exclude modules - added C extraction of
strings - improved handling of C header files - added support of
`blacklist` to C extraction - fixed extraction of partially applied
functions - fixed OCaml extraction of nested tuples - fixed OCaml
extraction of `OneTime` integers - Web interface TryWhy3 - `?lang=foo` can
now be used to select an input format other than WhyML; the input format can
also be changed dynamically using a combobox - `?code=foo` can now be used
to fill the editor with some code; the encoded string can be retrieved by
clicking the "Copy URL" button - examples are no longer embedded; only
files
mentioned in `examples/index.txt` are considered :x: - Alt-Ergo workers can
now be stopped without losing the session - Provers - support for PVS 7.1
(released Apr 30, 2020) - support for Z3 4.8.7 (released Nov 19, 2019) -
support for Z3 4.8.8 (released May 9, 2020) - support for Z3 4.8.9 (released
Sep 11, 2020) - support for Z3 4.8.10 (released Jan 20, 2021) - support
for AltErgo 2.3.3 (released Aug 19, 2020) - support for AltErgo 2.4.0
(released Jan 22, 2021) - support for Coq 8.13.0 (released Jan 7, 2021)
- support for CVC4 1.8 (released Jun 19, 2020) - Documentation - Why3 modes
for editors (Section 5.3) - Why3-specific configuration for shells (Section
5.4) - detailed explanations on semantics of various WhyML statements
(Section 7.4) - detailed explanations on WhyML module system (Section 7.5)
- explanations on how users can customize drivers (Section 12.5) - API -
helpers were added to ease production of parse trees; see Section 4.9 of the
manual - generation of counterexamples was changed; see Section 4.10 of the
manual :x: - Additional bug fixes - fixed `why3 prove` when called on a
DIMACS file - improved detection of out-of-range values in `why3 execute`
- fixed micro-Python parser when there is no newline at end of file - fixed
SMT translation of negative floating-point literals - fixed set of reserved
symbols for SMT solvers - restored `hypothesis_selection` transformation
- fixed unsoundness of transformations `case` and `destruct` in presence of
polymorphic formulas The gappalib-coq build is a simple rebuild due to the
flocq update.
--------------------------------------------------------------------------------
ChangeLog:
* Wed Jul 14 2021 Jerry James <loganjerry(a)gmail.com> - 1.4.0-1
- Version 1.4.0
- Drop all patches
- Validate with appstreamcli instead of appstream-util
--------------------------------------------------------------------------------
================================================================================
wingpanel-applications-menu-2.8.0-1.fc34 (FEDORA-2021-e252727f4d)
Lightweight and stylish app launcher
--------------------------------------------------------------------------------
Update Information:
Update to version 2.8.0. Release notes:
https://github.com/elementary/applications-menu/releases/tag/2.8.0
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jul 16 2021 Fabio Valentini <decathorpe(a)gmail.com> 2.8.0-1
- Update to version 2.8.0; Fixes RHBZ#1982481
--------------------------------------------------------------------------------
================================================================================
wireshark-3.4.7-1.fc34 (FEDORA-2021-21e12e9447)
Network traffic analyzer
--------------------------------------------------------------------------------
Update Information:
New version 3.4.7 Fix for CVE-2021-22235
--------------------------------------------------------------------------------
ChangeLog:
* Thu Jul 15 2021 Michal Ruprich <mruprich(a)redhat.com> - 1:3.4.7-1
- New version 3.4.7
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1982495 - wireshark-3.4.7 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1982495
--------------------------------------------------------------------------------
================================================================================
xscreensaver-6.01-3.fc34 (FEDORA-2021-075f127f79)
X screen saver and locker
--------------------------------------------------------------------------------
Update Information:
With xscreensaver 6.01, with some font installation settings, when typing
character on unlock dialog, dots don't appear and instead blank rectangles
appear. Also, with some circumstances, xscreensaver-auth segfaults after
authentication finishes. This new rpm will fix these issues.
--------------------------------------------------------------------------------
ChangeLog:
* Thu Jul 8 2021 Mamoru TASAKA <mtasaka(a)fedoraproject.org> - 1:6.01-3
- window_init: check if asterisk font is available and provide fallback character
(bug 1980173)
- destroy_window: check ws->xftdraw to avoid nullptr dereference (bug 1966287)
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1966287 - xscreensaver-auth segfaults
https://bugzilla.redhat.com/show_bug.cgi?id=1966287
[ 2 ] Bug #1980173 - password input characters are rectangles and first key press is not
detected
https://bugzilla.redhat.com/show_bug.cgi?id=1980173
--------------------------------------------------------------------------------
================================================================================
yubikey-manager-4.0.5-1.20210716git95afc8c.fc34 (FEDORA-2021-d565bb72a8)
Python library and command line tool for configuring a YubiKey
--------------------------------------------------------------------------------
Update Information:
Upstream release rhbz#1983123
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jul 16 2021 Gerald Cox <gbcox(a)member.fsf.org> - 4.0.5-1
- Upstream release rhbz#1983123
* Fri Jun 4 2021 Python Maint <python-maint(a)redhat.com> - 4.0.3-2
- Rebuilt for Python 3.10
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1983123 - yubikey-manager - upstream release 4.0.5
https://bugzilla.redhat.com/show_bug.cgi?id=1983123
--------------------------------------------------------------------------------