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@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@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@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@fedoraproject.org - 1.21.2-1 - bump to v1.21.2 * Tue Jun 8 2021 RH Container Bot rhcontainerbot@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@gmail.com - 1.5.3-1 - Update to upstream 1.5.3 (fixes rhbz#1956638) * Tue May 4 2021 Olivier Lemasle o.lemasle@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@gmail.com 6.0.0-2 - Make sure correct version of libvala is installed * Fri Jul 16 2021 Fabio Valentini decathorpe@gmail.com 6.0.0-1 - Update to version 6.0.0 * Tue Apr 13 2021 Kalev Lember klember@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@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@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@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@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@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@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@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@redhat.com - 90.0-2 - Added xorg-x11-server-Xwayland dependency for Mutter * Mon Jul 12 2021 Martin Stransky stransky@redhat.com - 90.0-1 - Updated to 90.0 * Mon Jul 12 2021 Daiki Ueno dueno@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@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@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@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@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@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@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@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@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@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@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@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@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@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@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@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@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@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@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@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@svgames.pl - 1.7.1-1 - Update to latest upstream release * Wed Jul 14 2021 Artur Frenszek-Iwicki fedora@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@svgames.pl - 1.6.1-3 - Add a patch to fix test failures (fixes rhbz#1948499) * Fri Jun 4 2021 Python Maint python-maint@redhat.com - 1.6.1-2 - Rebuilt for Python 3.10 * Sat May 1 2021 Artur Frenszek-Iwicki fedora@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@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@gmail.com - 20.10.7-1 - Update to upstream 20.10.7 (fixes rhbz#1967390) * Tue May 4 2021 Olivier Lemasle o.lemasle@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@gmail.com - 2.4.13-2 - Fix rpath issue * Wed Jul 14 2021 Marcel 34819524+MarcelCoding@users.noreply.github.com - 2.4.13-1 - Update to 2.4.13 * Fri Jul 2 2021 Marcel 34819524+MarcelCoding@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@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@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@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@musicinmybrain.net - 0.23.0-6 - Dependency on python3-docs should have been in -doc subpackage * Fri Jul 2 2021 Benjamin A. Beasley code@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@gmail.com - 2.15.0-1 - Update to latest version (#1981984) * Sun Jul 11 2021 Elliott Sales de Andrade quantum.analyst@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@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@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@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@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@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@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@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@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@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@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@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/6.0... -------------------------------------------------------------------------------- ChangeLog:
* Fri Jul 16 2021 Fabio Valentini decathorpe@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/tag/6... -------------------------------------------------------------------------------- ChangeLog:
* Fri Jul 16 2021 Fabio Valentini decathorpe@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/2.... -------------------------------------------------------------------------------- ChangeLog:
* Fri Jul 16 2021 Fabio Valentini decathorpe@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/tag/6... -------------------------------------------------------------------------------- ChangeLog:
* Fri Jul 16 2021 Fabio Valentini decathorpe@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@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@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@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@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@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@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@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@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@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@member.fsf.org - 4.0.5-1 - Upstream release rhbz#1983123 * Fri Jun 4 2021 Python Maint python-maint@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 --------------------------------------------------------------------------------