OLD: Fedora-43-20250822.n.0 NEW: Fedora-43-20250823.n.0 ===== SUMMARY ===== Added images: 1 Dropped images: 0 Added packages: 3 Dropped packages: 1 Upgraded packages: 41 Downgraded packages: 0 Size of added packages: 183.43 KiB Size of dropped packages: 786.82 KiB Size of upgraded packages: 3.60 GiB Size of downgraded packages: 0 B Size change of upgraded packages: 8.17 MiB Size change of downgraded packages: 0 B ===== ADDED IMAGES ===== Image: i3 live aarch64 Path: Spins/aarch64/iso/Fedora-i3-Live-aarch64-43-20250823.n.0.iso ===== DROPPED IMAGES ===== ===== ADDED PACKAGES ===== Package: rust-nom_locate-5.0.0-1.fc43 Summary: Special input type for nom to locate tokens RPMs: rust-nom_locate+alloc-devel rust-nom_locate+default-devel rust-nom_locate+generic-simd-devel rust-nom_locate+runtime-dispatch-simd-devel rust-nom_locate+stable-deref-trait-devel rust-nom_locate+stable_deref_trait-devel rust-nom_locate+std-devel rust-nom_locate-devel Size: 75.83 KiB Package: rust-rangemap-1.6.0-1.fc43 Summary: Map and set data structures whose keys are stored as ranges RPMs: rust-rangemap+default-devel rust-rangemap+quickcheck-devel rust-rangemap+serde-devel rust-rangemap+serde1-devel rust-rangemap-devel Size: 70.02 KiB Package: rust-web_atoms-0.1.3-1.fc43 Summary: Atoms for xml5ever and html5ever RPMs: rust-web_atoms+default-devel rust-web_atoms-devel Size: 37.57 KiB ===== DROPPED PACKAGES ===== Package: tacacs-F4.0.4.28.7fb~20231005g4fdf178-3.fc41 Summary: Daemon to run AAA via TACACS+ Protocol via IPv4 and IPv6 RPMs: tacacs tacacs-devel tacacs-extra tacacs-libs Size: 786.82 KiB ===== UPGRADED PACKAGES ===== Package: CheMPS2-1.8.9-30.fc43 Old package: CheMPS2-1.8.9-26.fc42 Summary: A spin-adapted implementation of DMRG for ab initio quantum chemistry RPMs: CheMPS2 CheMPS2-devel Size: 3.27 MiB Size change: 22.75 KiB Changelog: * Tue May 06 2025 Cristian Le <git@xxxxxxxxxx> - 1.8.9-27 - Allow CMake 4.0 build * Thu May 15 2025 Cristian Le <git@xxxxxxxxxx> - 1.8.9-28 - Add an upstream patch to build with CMake 4.0 * Wed Jul 23 2025 Fedora Release Engineering <releng@xxxxxxxxxxxxxxxxx> - 1.8.9-29 - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild * Fri Aug 22 2025 Susi Lehtola <jussilehtola@xxxxxxxxxxxxxxxxx> - 1.8.9-30 - Fix broken patch from 1.8.9-28 Package: cockpit-files-27-1.fc43 Old package: cockpit-files-26-1.fc43 Summary: A filesystem browser for Cockpit RPMs: cockpit-files Size: 365.23 KiB Size change: 317 B Changelog: * Wed Aug 20 2025 Packit <hello@xxxxxxxxxx> - 27-1 - Translation and dependency updates Package: cockpit-podman-112-1.fc43 Old package: cockpit-podman-111-1.fc43 Summary: Cockpit component for Podman containers RPMs: cockpit-podman Size: 582.18 KiB Size change: 192 B Changelog: * Wed Aug 20 2025 Packit <hello@xxxxxxxxxx> - 112-1 - Translation and dependency updates Package: docker-buildx-0.27.0-1.fc43 Old package: docker-buildx-0.26.1-5.fc43 Summary: Docker CLI plugin for extended build capabilities with BuildKit RPMs: docker-buildx Size: 62.91 MiB Size change: 380.38 KiB Changelog: * Sun Aug 17 2025 Bradley G Smith <bradley.g.smith@xxxxxxxxx> - 0.26.1-6 - Remove temporary fix for go 1.25 rc2 * Wed Aug 20 2025 Bradley G Smith <bradley.g.smith@xxxxxxxxx> - 0.27.0-1 - Update to release v0.27.0 - Resolves: rhvz#2388453, rhbz#2384137, rhbz#2384154 - Upstream new features and fixes Package: flocq-4.2.1-5.fc43 Old package: flocq-4.2.1-4.fc43 Summary: Formalization of floating point numbers for Coq RPMs: flocq flocq-source Size: 15.84 MiB Size change: 652 B Changelog: * Fri Aug 22 2025 Jerry James <loganjerry@xxxxxxxxx> - 4.2.1-5 - Bump and rebuild Package: frama-c-31.0-3.fc43 Old package: frama-c-31.0-2.fc43 Summary: Framework for source code analysis of C software RPMs: frama-c frama-c-doc frama-c-emacs Size: 921.13 MiB Size change: -230.91 KiB Changelog: * Fri Aug 22 2025 Jerry James <loganjerry@xxxxxxxxx> - 31.0-3 - Rebuild for ocaml-dune 3.20.0 Package: gappalib-coq-1.7.1-4.fc43 Old package: gappalib-coq-1.7.1-3.fc43 Summary: Coq support library for gappa RPMs: gappalib-coq gappalib-coq-source Size: 3.04 MiB Size change: 346 B Changelog: * Fri Aug 22 2025 Jerry James <loganjerry@xxxxxxxxx> - 1.7.1-4 - Bump and rebuild Package: gcc-15.2.1-1.fc43.1 Old package: gcc-15.2.1-1.fc43 Summary: Various compilers (C, C++, Objective-C, ...) RPMs: cpp gcc gcc-c++ gcc-gcobol gcc-gdb-plugin gcc-gdc gcc-gfortran gcc-gm2 gcc-gnat gcc-go gcc-objc gcc-objc++ gcc-offload-amdgcn gcc-offload-nvptx gcc-plugin-annobin gcc-plugin-devel libasan libasan-static libatomic libatomic-static libgcc libgccjit libgccjit-devel libgcobol libgcobol-static libgdiagnostics libgdiagnostics-devel libgfortran libgfortran-static libgm2 libgm2-static libgnat libgnat-devel libgnat-static libgo libgo-devel libgo-static libgomp libgomp-offload-amdgcn libgomp-offload-nvptx libgphobos libgphobos-static libhwasan libhwasan-static libitm libitm-devel libitm-static liblsan liblsan-static libobjc libquadmath libquadmath-devel libquadmath-static libstdc++ libstdc++-devel libstdc++-docs libstdc++-static libtsan libtsan-static libubsan libubsan-static Size: 1.22 GiB Size change: -53.61 KiB Changelog: * Fri Aug 15 2025 Python Maint <python-maint@xxxxxxxxxx> - 15.2.1-1.1 - Rebuilt for Python 3.14.0rc2 bytecode Package: libcint-6.1.3-1.fc43 Old package: libcint-6.1.2-2.fc41 Summary: General Gaussian-type orbitals integrals for quantum chemistry RPMs: libcint libcint-devel Size: 79.53 MiB Size change: 129.50 KiB Changelog: * Mon Sep 02 2024 Miroslav Suchý <msuchy@xxxxxxxxxx> - 6.1.2-3 - convert license to SPDX * Fri Jan 17 2025 Fedora Release Engineering <releng@xxxxxxxxxxxxxxxxx> - 6.1.2-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * Thu Jul 24 2025 Fedora Release Engineering <releng@xxxxxxxxxxxxxxxxx> - 6.1.2-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild * Fri Aug 22 2025 Susi Lehtola <jussilehtola@xxxxxxxxxxxxxxxxx> - 6.1.3-1 - Update to 6.1.3. Package: libint2-2.9.0-5.fc43 Old package: libint2-2.9.0-3.fc42 Summary: A library for efficient evaluation of electron repulsion integrals RPMs: libint2 libint2-data libint2-devel libint2-doc Size: 239.08 MiB Size change: 745.82 KiB Changelog: * Fri Jan 17 2025 Fedora Release Engineering <releng@xxxxxxxxxxxxxxxxx> - 2.9.0-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * Thu Jul 24 2025 Fedora Release Engineering <releng@xxxxxxxxxxxxxxxxx> - 2.9.0-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild Package: loupe-49~beta-1.fc43 Old package: loupe-49~alpha-3.fc43 Summary: Image viewer RPMs: loupe Size: 10.97 MiB Size change: -39.13 KiB Changelog: * Fri Aug 22 2025 Fabio Valentini <decathorpe@xxxxxxxxx> - 49~beta-1 - Update to 49.beta; Fixes RHBZ#2386042 Package: minigalaxy-1.3.2-5.fc43 Old package: minigalaxy-1.3.2-4.fc43 Summary: GOG client for Linux that lets you download and play your GOG Linux games RPMs: minigalaxy Size: 275.07 KiB Size change: 42 B Changelog: * Thu Aug 21 2025 Michael Catanzaro <mcatanzaro@xxxxxxxxxx> - 1.3.2-5 - Require webkit2gtk4.1 Package: myst-nb-1.3.0-4.fc43 Old package: myst-nb-1.3.0-2.fc43 Summary: Jupyter Notebook Sphinx reader RPMs: myst-nb Size: 231.35 KiB Size change: 249 B Changelog: * Fri Aug 15 2025 Python Maint <python-maint@xxxxxxxxxx> - 1.3.0-3 - Rebuilt for Python 3.14.0rc2 bytecode * Tue Aug 19 2025 Jerry James <loganjerry@xxxxxxxxx> - 1.3.0-4 - Update test hashes for newer matplotlib Package: ncdu-2.9.1-1.fc43 Old package: ncdu-2.9-1.fc43 Summary: Text-based disk usage viewer RPMs: ncdu Size: 551.25 KiB Size change: 5.29 KiB Changelog: * Fri Aug 22 2025 Richard Fearn <richardfearn@xxxxxxxxx> - 2.9.1-1 - Update to 2.9.1 (#2390047) Package: ocaml-camomile-2.0.0-18.fc43 Old package: ocaml-camomile-2.0.0-17.fc43 Summary: Unicode library for OCaml RPMs: ocaml-camomile ocaml-camomile-data ocaml-camomile-devel Size: 19.29 MiB Size change: -469 B Changelog: * Fri Aug 22 2025 Jerry James <loganjerry@xxxxxxxxx> - 2.0.0-18 - Rebuild for ocaml-dune 3.20.0 Package: ocaml-dune-3.20.0-1.fc43 Old package: ocaml-dune-3.19.1-2.fc43 Summary: Composable build system for OCaml and Reason RPMs: ocaml-chrome-trace ocaml-chrome-trace-devel ocaml-dune ocaml-dune-action-plugin ocaml-dune-action-plugin-devel ocaml-dune-build-info ocaml-dune-build-info-devel ocaml-dune-configurator ocaml-dune-configurator-devel ocaml-dune-doc ocaml-dune-emacs ocaml-dune-glob ocaml-dune-glob-devel ocaml-dune-private-libs ocaml-dune-private-libs-devel ocaml-dune-rpc ocaml-dune-rpc-devel ocaml-dune-site ocaml-dune-site-devel ocaml-dyn ocaml-dyn-devel ocaml-ocamlc-loc ocaml-ocamlc-loc-devel ocaml-ordering ocaml-ordering-devel ocaml-stdune ocaml-stdune-devel ocaml-xdg ocaml-xdg-devel Size: 70.38 MiB Size change: 1.03 MiB Package: ocaml-gettext-0.5.0-6.fc43 Old package: ocaml-gettext-0.5.0-5.fc43 Summary: OCaml library for i18n RPMs: ocaml-gettext ocaml-gettext-camomile ocaml-gettext-camomile-devel ocaml-gettext-devel Size: 22.61 MiB Size change: 418 B Changelog: * Fri Aug 22 2025 Jerry James <loganjerry@xxxxxxxxx> - 0.5.0-6 - Rebuild for ocaml-dune 3.20.0 Package: ocaml-unionfind-20250818-1.fc43 Old package: ocaml-unionfind-20220122-12.fc43 Summary: OCaml implementations of the union-find data structure RPMs: ocaml-unionfind ocaml-unionfind-devel Size: 3.06 MiB Size change: 1.95 MiB Changelog: * Fri Aug 22 2025 Jerry James <loganjerry@xxxxxxxxx> - 20250818-1 - Version 20250818 Package: osbuild-composer-149-1.fc43 Old package: osbuild-composer-147-2.fc43 Summary: An image building service based on osbuild RPMs: osbuild-composer osbuild-composer-core osbuild-composer-worker Size: 140.58 MiB Size change: 334.25 KiB Changelog: * Thu Aug 21 2025 Packit <hello@xxxxxxxxxx> - 149-1 Changes with 149 ---------------- - go.mod: bump images to v0.178.0 (#4837) - Author: Sanne Raymaekers, Reviewers: Michael Vogt, Simon de Vlieger - internal: use manifest build/payload pipelines (images#1766) (#4834) - Author: Michael Vogt, Reviewers: Brian C. Lane, Simon de Vlieger, Tomáš Hozza — Somewhere on the Internet, 2025-08-21 Package: perl-Mail-Transport-3.006-1.fc43 Old package: perl-Mail-Transport-3.005-14.fc43 Summary: Email message exchange RPMs: perl-Mail-Transport Size: 59.45 KiB Size change: 798 B Changelog: * Fri Aug 22 2025 Paul Howarth <paul@xxxxxxxxxxxx> - 3.006-1 - Update to 3.006 Package: pybind11-2.13.6-9.fc43 Old package: pybind11-2.13.6-3.fc43 Summary: Seamless operability between C++11 and Python RPMs: pybind11-devel python3-pybind11 Size: 1.05 MiB Size change: -681.32 KiB Changelog: * Wed Jun 04 2025 Python Maint <python-maint@xxxxxxxxxx> - 2.13.6-4 - Rebuilt for Python 3.14 * Fri Jul 25 2025 Fedora Release Engineering <releng@xxxxxxxxxxxxxxxxx> - 2.13.6-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild * Fri Aug 15 2025 Python Maint <python-maint@xxxxxxxxxx> - 2.13.6-6 - Rebuilt for Python 3.14.0rc2 bytecode * Wed Aug 20 2025 Cristian Le <git@xxxxxxxxxx> - 2.13.6-7 - Refactor the build script - Drop the python3-python2 distinction - Use standard cmake and pyproject macros (rhbz#2377381) - Allow to build with arbitrary generator (rhbz#2381106) Package: python-boto3-1.40.16-1.fc43 Old package: python-boto3-1.40.15-1.fc43 Summary: The AWS SDK for Python RPMs: python3-boto3 Size: 444.68 KiB Size change: 424 B Changelog: * Fri Aug 22 2025 Gwyn Ciesla <gwync@xxxxxxxxxxxxxx> - 1.40.16-1 - 1.40.16 Package: python-botocore-1.40.16-1.fc43 Old package: python-botocore-1.40.15-1.fc43 Summary: Low-level, data-driven core of boto 3 RPMs: python3-botocore Size: 8.13 MiB Size change: 2.91 KiB Changelog: * Fri Aug 22 2025 Gwyn Ciesla <gwync@xxxxxxxxxxxxxx> - 1.40.16-1 - 1.40.16 Package: python-pyglet-2.0.10-8.fc43 Old package: python-pyglet-2.0.10-5.fc43 Summary: A cross-platform windowing and multimedia library for Python RPMs: python3-pyglet Size: 1.75 MiB Size change: 56 B Changelog: * Fri Jul 25 2025 Fedora Release Engineering <releng@xxxxxxxxxxxxxxxxx> - 2.0.10-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild * Fri Aug 15 2025 Python Maint <python-maint@xxxxxxxxxx> - 2.0.10-7 - Rebuilt for Python 3.14.0rc2 bytecode * Sat Aug 23 2025 Orion Poplawski <orion@xxxxxxxx> - 2.0.10-8 - Add BR/R on python3-gobject, skip openal test (FTBFS rhbz#2379002) Package: python-python-ulid-3.1.0-1.fc43 Old package: python-python-ulid-3.0.0-7.fc43 Summary: Universally unique lexicographically sortable identifier RPMs: python3-python-ulid python3-python-ulid+pydantic Size: 52.55 KiB Size change: 1.92 KiB Changelog: * Mon Aug 18 2025 Packit <hello@xxxxxxxxxx> - 3.1.0-1 - Update to 3.1.0 upstream release - Resolves: rhbz#2389208 Package: python-sphinx-theme-builder-0.2.0-0.23.b2.fc43 Old package: python-sphinx-theme-builder-0.2.0-0.21.b2.fc43 Summary: Streamline the Sphinx theme development workflow RPMs: python3-sphinx-theme-builder python3-sphinx-theme-builder+cli Size: 93.17 KiB Size change: 497 B Changelog: * Fri Aug 15 2025 Python Maint <python-maint@xxxxxxxxxx> - 0.2.0-0.22.b2 - Rebuilt for Python 3.14.0rc2 bytecode * Fri Aug 22 2025 Jerry James <loganjerry@xxxxxxxxx> - 0.2.0-0.23.b2 - Add patch for compatibility with click 8.2 Package: python3-mypy-1.17.1-3.fc43 Old package: python3-mypy-1.17.1-2.fc43 Summary: A static type checker for Python RPMs: python3-mypy Size: 3.93 MiB Size change: 4.72 KiB Changelog: * Fri Aug 22 2025 Gwyn Ciesla <gwync@xxxxxxxxxxxxxx> - 1.17.1-3 - BuildRequire pathspec to fix man pages. Package: qcint-6.1.3-1.fc43 Old package: qcint-6.1.2-6.fc43 Summary: An optimized libcint branch for X86 platform with SSE3 intrinsics RPMs: qcint qcint-devel Size: 27.10 MiB Size change: 2.81 KiB Changelog: * Fri Aug 22 2025 Susi Lehtola <jussilehtola@xxxxxxxxxxxxxxxxx> - 6.1.3-1 - Update to 6.1.3. Package: racket-8.18-1.fc43 Old package: racket-8.17-2.fc43 Summary: General purpose programming language RPMs: racket racket-collects racket-devel racket-doc racket-minimal racket-pkgs Size: 428.90 MiB Size change: 401.99 KiB Changelog: * Fri Aug 22 2025 Jens Petersen <petersen@xxxxxxxxxx> - 8.18-1 - https://blog.racket-lang.org/2025/08/racket-v8-18.html Package: radicale-3.5.5-1.fc43.2 Old package: radicale-3.5.4-5.fc43.2 Summary: A simple CalDAV (calendar) and CardDAV (contact) server RPMs: python3-radicale3 radicale3 radicale3-InfCloud radicale3-InfCloud-fontware radicale3-httpd radicale3-logwatch radicale3-selinux Size: 3.42 MiB Size change: 67.07 KiB Changelog: * Fri Aug 22 2025 Peter Bieringer <pb@xxxxxxxxxxxx> - 3.5.5-1 - Update to 3.5.5 Package: rccl-6.4.2-5.fc43 Old package: rccl-6.4.2-3.fc43 Summary: ROCm Communication Collectives Library RPMs: rccl rccl-data rccl-devel Size: 98.34 MiB Size change: -642 B Changelog: * Thu Aug 14 2025 Tom Rix <Tom.Rix@xxxxxxx> - 6.4.2-4 - build --with test on SUSE - Remove multibuild file generation * Mon Aug 18 2025 Tom Rix <Tom.Rix@xxxxxxx> - 6.4.2-5 - Fine tune parallel jobs Package: rubygem-gtk2-3.4.3-27.fc43 Old package: rubygem-gtk2-3.4.3-26.fc43 Summary: Ruby binding of GTK+-2.x RPMs: rubygem-gtk2 rubygem-gtk2-devel rubygem-gtk2-doc Size: 3.51 MiB Size change: -323 B Changelog: * Fri Aug 22 2025 Mamoru TASAKA <mtasaka@xxxxxxxxxxxxxxxxx> - 3.4.3-27 - set GTK2_RC_FILES to choose gnome theme for test, remove gnome-themes-extra dep Package: rust-coreos-installer-0.24.0-4.fc43 Old package: rust-coreos-installer-0.24.0-3.fc43 Summary: Installer for Fedora CoreOS and RHEL CoreOS RPMs: coreos-installer coreos-installer-bootinfra coreos-installer-dracut Size: 18.35 MiB Size change: 51.12 KiB Changelog: * Fri Aug 15 2025 Michael Armijo<marmijo@xxxxxxxxxx> - 0.24.0-4 - Backport patch that adds F44 signing key Package: rust-dolby_vision-3.3.2-1.fc43 Old package: rust-dolby_vision-3.3.1-3.fc43 Summary: Dolby Vision metadata parsing and writing RPMs: libdovi libdovi-devel rust-dolby_vision+capi-devel rust-dolby_vision+default-devel rust-dolby_vision+libc-devel rust-dolby_vision+roxmltree-devel rust-dolby_vision+serde-devel rust-dolby_vision+xml-devel rust-dolby_vision-devel Size: 1.63 MiB Size change: 55.55 KiB Changelog: * Fri Aug 22 2025 Dominik 'Rathann' Mierzejewski <dominik@xxxxxxxxxxxxxx> - 3.3.2-1 - update to 3.3.2 (resolves rhbz#2390293) - use tomcli instead of patching Cargo.toml - fix build with bitvec_helpers 4.0.0 (resolves rhbz#2387776) Package: rust-rqrr-0.10.0-1.fc43 Old package: rust-rqrr-0.9.3-2.fc43 Summary: Detect and read QR codes from any image source RPMs: rust-rqrr+default-devel rust-rqrr+image-devel rust-rqrr+img-devel rust-rqrr-devel Size: 61.92 KiB Size change: 697 B Changelog: * Fri Aug 22 2025 Fabio Valentini <decathorpe@xxxxxxxxx> - 0.10.0-1 - Update to version 0.10.0; Fixes RHBZ#2383752 Package: samba-2:4.23.0-0.3.rc2.fc43 Old package: samba-2:4.23.0-0.2.rc1.fc43 Summary: Server and Client software to interoperate with Windows machines RPMs: ctdb ctdb-ceph-mutex ctdb-pcp-pmda ldb-tools libldb libldb-devel libnetapi libnetapi-devel libsmbclient libsmbclient-devel libwbclient libwbclient-devel python3-ldb python3-samba python3-samba-dc python3-samba-test samba samba-client samba-client-libs samba-common samba-common-libs samba-common-tools samba-dc samba-dc-bind-dlz samba-dc-libs samba-dc-provision samba-dcerpc samba-devel samba-gpupdate samba-krb5-printing samba-ldb-ldap-modules samba-libs samba-pidl samba-prometheus samba-test samba-test-libs samba-tools samba-usershares samba-vfs-cephfs samba-vfs-glusterfs samba-vfs-iouring samba-winbind samba-winbind-clients samba-winbind-krb5-locator samba-winbind-modules samba-winexe Dropped RPMs: ctdb-etcd-mutex Size: 100.48 MiB Size change: -1.45 KiB Changelog: * Fri Aug 22 2025 Günther Deschner <gd@xxxxxxxxx> - 2:4.23.0-0.3.rc2 - Update to Samba 4.23.0rc2 - resolves: #2387090 Package: snapshot-49~beta-1.fc43 Old package: snapshot-49~alpha-2.fc43 Summary: Take pictures and videos RPMs: snapshot Size: 7.25 MiB Size change: 33.20 KiB Changelog: * Fri Aug 22 2025 Fabio Valentini <decathorpe@xxxxxxxxx> - 49~beta-1 - Update to 49.beta; Fixes RHBZ#2386176 Package: strongswan-5.9.14-10.fc43 Old package: strongswan-5.9.14-9.fc43 Summary: An OpenSource IPsec-based VPN and TNC solution RPMs: perl-vici python3-vici strongswan strongswan-charon-nm strongswan-libipsec strongswan-sqlite strongswan-tnc-imcvs Size: 7.93 MiB Size change: 1.56 KiB Changelog: * Fri Aug 22 2025 Carlos Rodriguez-Fernandez <carlosrodrifernandez@xxxxxxxxx> - 5.9.14-10 - Link new system ca bundle in the ipsec.d cacerts Package: why3-1.8.1-7.fc43 Old package: why3-1.8.1-6.fc43 Summary: Software verification platform RPMs: ocaml-why3 ocaml-why3-devel why3 why3-all why3-emacs why3-examples why3-proofgeneral Size: 123.07 MiB Size change: -21.73 KiB Changelog: * Fri Aug 22 2025 Jerry James <loganjerry@xxxxxxxxx> - 1.8.1-7 - Rebuild for ocaml-unionfind 20250818 Package: yasm-1.3.0^20250625git121ab15-3.fc43 Old package: yasm-1.3.0^20250625git121ab15-1.fc43 Summary: Modular Assembler RPMs: yasm yasm-devel Size: 7.94 MiB Size change: 4.00 MiB Changelog: * Fri Jul 25 2025 Fedora Release Engineering <releng@xxxxxxxxxxxxxxxxx> - 1.3.0^20250625git121ab15-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild * Thu Aug 07 2025 Dominik Mierzejewski <dominik@xxxxxxxxxxxxxx> - 1.3.0^20250625git121ab15-3 - mark as deprecated, see https://fedoraproject.org/wiki/Changes/DeprecateYASM Package: zenon-0.8.5-35.fc43 Old package: zenon-0.8.5-34.fc43 Summary: Automated theorem prover for first-order classical logic RPMs: zenon Size: 6.67 MiB Size change: 601 B Changelog: * Fri Aug 22 2025 Jerry James <loganjerry@xxxxxxxxx> - 0.8.5-35 - Bump and rebuild ===== DOWNGRADED PACKAGES =====
-- _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@xxxxxxxxxxxxxxxxxxxxxxx Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue
