OLD: Fedora-Rawhide-20231212.n.0
NEW: Fedora-Rawhide-20231213.n.0

===== SUMMARY =====
Added images:        5
Dropped images:      4
Added packages:      7
Dropped packages:    1
Upgraded packages:   268
Downgraded packages: 0

Size of added packages:      5.94 MiB
Size of dropped packages:    7.56 MiB
Size of upgraded packages:   7.04 GiB
Size of downgraded packages: 0 B

Size change of upgraded packages:   -37.46 MiB
Size change of downgraded packages: 0 B

===== ADDED IMAGES =====
Image: Security live x86_64
Path: Labs/x86_64/iso/Fedora-Security-Live-x86_64-Rawhide-20231213.n.0.iso
Image: Kinoite dvd-ostree aarch64
Path: Kinoite/aarch64/iso/Fedora-Kinoite-ostree-aarch64-Rawhide-20231213.n.0.iso
Image: i3 live aarch64
Path: Spins/aarch64/iso/Fedora-i3-Live-aarch64-Rawhide-20231213.n.0.iso
Image: Python_Classroom raw-xz aarch64
Path: 
Labs/aarch64/images/Fedora-Python-Classroom-Rawhide-20231213.n.0.aarch64.raw.xz
Image: Python_Classroom live x86_64
Path: 
Labs/x86_64/iso/Fedora-Python-Classroom-Live-x86_64-Rawhide-20231213.n.0.iso

===== DROPPED IMAGES =====
Image: Silverblue dvd-ostree aarch64
Path: 
Silverblue/aarch64/iso/Fedora-Silverblue-ostree-aarch64-Rawhide-20231212.n.0.iso
Image: Workstation live-osbuild aarch64
Path: 
Workstation/aarch64/iso/Fedora-Workstation-Live-osb-Rawhide-20231212.n.0.aarch64.iso
Image: Workstation live-osbuild x86_64
Path: 
Workstation/x86_64/iso/Fedora-Workstation-Live-osb-Rawhide-20231212.n.0.x86_64.iso
Image: Silverblue dvd-ostree ppc64le
Path: 
Silverblue/ppc64le/iso/Fedora-Silverblue-ostree-ppc64le-Rawhide-20231212.n.0.iso

===== ADDED PACKAGES =====
Package: glimpse-4.12.6^git20161025.4945711-1.fc40
Summary: Powerful file indexing and query system
RPMs:    glimpse
Size:    1.57 MiB

Package: libxfce4windowing-4.19.2^git20231104.1fbbf17-1.fc40
Summary: Windowing concept abstraction library for X11 and Wayland
RPMs:    libxfce4windowing libxfce4windowing-devel
Size:    678.44 KiB

Package: nodejs-pnpm-8.12.0-1.fc40
Summary: Fast, disk space efficient package manager
RPMs:    pnpm
Size:    2.57 MiB

Package: rust-crypto-auditing-0.2.1-2.fc40
Summary: Client library for crypto-auditing project
RPMs:    rust-crypto-auditing+default-devel rust-crypto-auditing-devel
Size:    34.60 KiB

Package: rust-itertools0.11-0.11.0-1.fc40
Summary: Extra iterator adaptors, iterator methods, free functions, and macros
RPMs:    rust-itertools0.11+default-devel rust-itertools0.11+use_alloc-devel 
rust-itertools0.11+use_std-devel rust-itertools0.11-devel
Size:    150.53 KiB

Package: rust-toml_edit0.20-0.20.7-1.fc40
Summary: Yet another format-preserving TOML parser
RPMs:    rust-toml_edit0.20+default-devel rust-toml_edit0.20+perf-devel 
rust-toml_edit0.20+serde-devel rust-toml_edit0.20+unbounded-devel 
rust-toml_edit0.20-devel
Size:    239.83 KiB

Package: yyjson-0.8.0-1.20231205gite0bacd5.fc40
Summary: A high performance JSON library written in ANSI C
RPMs:    yyjson yyjson-devel
Size:    735.62 KiB


===== DROPPED PACKAGES =====
Package: onboard-1.4.1-34.fc40
Summary: On-screen keyboard for TabletPC and mobility impaired users (Xorg only)
RPMs:    onboard onboard-data
Size:    7.56 MiB


===== UPGRADED PACKAGES =====
Package:      Cython-3.0.6-1.fc40
Old package:  Cython-3.0.5-1.fc40
Summary:      Language for writing Python extension modules
RPMs:         python3-cython
Size:         15.35 MiB
Size change:  3.00 KiB
Changelog:
  * Thu Nov 30 2023 Miro Hron??ok <mhron...@redhat.com> - 3.0.6-1
  - Update to 3.0.6
  - Fixes: rhbz#2251973


Package:      PDAL-2.6.2-1.fc40
Old package:  PDAL-2.6.1-1.fc40
Summary:      Point Data Abstraction Library
RPMs:         PDAL PDAL-devel PDAL-doc PDAL-libs
Size:         44.99 MiB
Size change:  -11.69 KiB
Changelog:
  * Tue Dec 12 2023 Sandro Mani <manisan...@gmail.com> - 2.6.2-1
  - Update to 2.6.2


Package:      alt-ergo-2.3.3-12.fc40
Old package:  alt-ergo-2.3.3-11.fc40
Summary:      Automated theorem prover including linear arithmetic
RPMs:         alt-ergo alt-ergo-gui ocaml-alt-ergo-lib ocaml-alt-ergo-lib-devel 
ocaml-alt-ergo-parsers ocaml-alt-ergo-parsers-devel
Size:         88.19 MiB
Size change:  -5.34 MiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 2.3.3-12
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      apr-util-1.6.3-13.fc40
Old package:  apr-util-1.6.3-12.fc40
Summary:      Apache Portable Runtime Utility library
RPMs:         apr-util apr-util-devel apr-util-ldap apr-util-lmdb 
apr-util-mysql apr-util-odbc apr-util-openssl apr-util-pgsql apr-util-sqlite
Added RPMs:   apr-util-lmdb
Dropped RPMs: apr-util-bdb
Size:         1.36 MiB
Size change:  5.99 KiB
Changelog:
  * Tue Dec 12 2023 Joe Orton <jor...@redhat.com> - 1.6.3-13
  - re-enable LMDB by default again for Fedora >= 40 (#1779267)


Package:      apron-0.9.14-3.fc40
Old package:  apron-0.9.14-2.fc40
Summary:      Numerical abstract domain library
RPMs:         apron apron-devel japron ocaml-apron ocaml-apron-devel
Size:         14.37 MiB
Size change:  -35.48 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.9.14-3
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      brltty-6.6-6.fc40
Old package:  brltty-6.6-5.fc40
Summary:      Braille display driver for Linux/Unix
RPMs:         brlapi brlapi-devel brlapi-java brltty brltty-at-spi2 brltty-docs 
brltty-dracut brltty-espeak brltty-espeak-ng brltty-minimal 
brltty-speech-dispatcher brltty-xw ocaml-brlapi python3-brlapi tcl-brlapi
Size:         17.55 MiB
Size change:  3.97 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 6.6-6
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      catch-3.5.0-1.fc40
Old package:  catch-3.4.0-2.fc39
Summary:      Modern, C++-native, header-only, framework for unit-tests, TDD 
and BDD
RPMs:         catch catch-devel
Size:         2.90 MiB
Size change:  121.92 KiB
Changelog:
  * Tue Dec 12 2023 Tom Hughes <t...@compton.nu> - 3.5.0-1
  - Update to 3.5.0 upstream release


Package:      coccinelle-1.1.1-25.20230624git0afff7f.fc40
Old package:  coccinelle-1.1.1-24.20230624git0afff7f.fc40
Summary:      Semantic patching for Linux (spatch)
RPMs:         coccinelle coccinelle-bash-completion coccinelle-doc 
coccinelle-examples
Size:         122.42 MiB
Size change:  -5.64 MiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.1.1-25
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      conman-0.3.1-1.fc40
Old package:  conman-0.3.0-10.fc39
Summary:      ConMan - The Console Manager
RPMs:         conman
Size:         522.02 KiB
Size change:  2.29 KiB
Changelog:
  * Tue Dec 12 2023 Dan Hor??k <dan[at]danny.cz> - 0.3.1-1
  - updated to 0.3.1
  - modernize spec file


Package:      coq-8.17.1-7.fc40
Old package:  coq-8.17.1-6.fc40
Summary:      Proof management system
RPMs:         coq coq-coqide coq-coqide-server coq-core
Size:         854.63 MiB
Size change:  -19.28 MiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 8.17.1-7
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ddnet-17.4-1.fc40
Old package:  ddnet-17.0.3-2.fc39
Summary:      DDraceNetwork, a cooperative racing mod of Teeworlds
RPMs:         ddnet ddnet-data ddnet-server
Size:         43.27 MiB
Size change:  7.21 MiB
Changelog:
  * Tue Dec 12 2023 Rafael Fontenelle <rafae...@gnome.org>- 17.4-1
  - Update to 17.4 (#2219010)


Package:      edk2-20231122-11.fc40
Old package:  edk2-20231122-8.fc40
Summary:      UEFI firmware for 64-bit virtual machines
RPMs:         edk2-aarch64 edk2-arm edk2-experimental edk2-ext4 edk2-ovmf 
edk2-ovmf-ia32 edk2-ovmf-xen edk2-riscv64 edk2-tools edk2-tools-doc 
edk2-tools-python
Size:         41.00 MiB
Size change:  -400 B
Changelog:
  * Tue Dec 12 2023 Gerd Hoffmann <kra...@redhat.com> - 20231122-10
  - swap MemoryAttributeProtocol patch, again

  * Tue Dec 12 2023 Gerd Hoffmann <kra...@redhat.com> - 20231122-11
  - add PcdUninstallMemAttrProtocol configuration


Package:      emacs-common-tuareg-3.0.1-3.fc40
Old package:  emacs-common-tuareg-3.0.1-2.fc40
Summary:      Emacs mode for editing OCaml code
RPMs:         emacs-common-tuareg emacs-tuareg
Size:         139.88 KiB
Size change:  -180 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 3.0.1-3
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      enchant2-2.6.4-1.fc40
Old package:  enchant2-2.6.3-1.fc40
Summary:      An Enchanting Spell Checking Library
RPMs:         enchant2 enchant2-devel enchant2-nuspell enchant2-voikko 
mingw32-enchant2 mingw64-enchant2
Size:         780.92 KiB
Size change:  -390 B
Changelog:
  * Tue Dec 12 2023 Sandro Mani <manisan...@gmail.com> - 2.6.4-1
  - Update to 2.6.4


Package:      flatpak-builder-1.4.0-1.fc40
Old package:  flatpak-builder-1.3.5-1.fc40
Summary:      Tool to build flatpaks from source
RPMs:         flatpak-builder flatpak-builder-tests
Size:         1.07 MiB
Size change:  1.16 KiB
Changelog:
  * Tue Dec 12 2023 Kalev Lember <klem...@redhat.com> - 1.4.0-1
  - Update to 1.4.0


Package:      flocq-4.1.1-7.fc40
Old package:  flocq-4.1.1-6.fc40
Summary:      Formalization of floating point numbers for Coq
RPMs:         flocq flocq-source
Size:         11.85 MiB
Size change:  -1.07 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 4.1.1-7
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      frama-c-27.1-8.fc40
Old package:  frama-c-27.1-7.fc40
Summary:      Framework for source code analysis of C software
RPMs:         frama-c frama-c-doc frama-c-emacs
Size:         640.04 MiB
Size change:  -5.47 MiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 27.1-8
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      gamescope-3.13.18-1.fc40
Old package:  gamescope-3.12.7-1.fc40
Summary:      Micro-compositor for video games on Wayland
RPMs:         gamescope
Size:         2.81 MiB
Size change:  63.70 KiB
Changelog:
  * Fri Oct 27 2023 Benjamin A. Beasley <c...@musicinmybrain.net> - 3.12.7-2
  - Ensure stb_image contains the latest CVE patches

  * Fri Oct 27 2023 Benjamin A. Beasley <c...@musicinmybrain.net> - 3.12.7-3
  - Add -static BR???s for header-only stb libraries per guidelines

  * Tue Dec 12 2023 Franti??ek Zatloukal <fzatl...@redhat.com> - 3.13.18-1
  - Rebase to 3.13.18 (Fixes RHBZ#2249222)


Package:      gappalib-coq-1.5.3-7.fc40
Old package:  gappalib-coq-1.5.3-6.fc40
Summary:      Coq support library for gappa
RPMs:         gappalib-coq gappalib-coq-source
Size:         2.15 MiB
Size change:  -820 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.5.3-7
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      glibc-2.38.9000-27.fc40
Old package:  glibc-2.38.9000-26.fc40
Summary:      The GNU libc libraries
RPMs:         compat-libpthread-nonshared glibc glibc-all-langpacks 
glibc-benchtests glibc-common glibc-devel glibc-doc glibc-gconv-extra 
glibc-headers-s390 glibc-headers-x86 glibc-langpack-aa glibc-langpack-af 
glibc-langpack-agr glibc-langpack-ak glibc-langpack-am glibc-langpack-an 
glibc-langpack-anp glibc-langpack-ar glibc-langpack-as glibc-langpack-ast 
glibc-langpack-ayc glibc-langpack-az glibc-langpack-be glibc-langpack-bem 
glibc-langpack-ber glibc-langpack-bg glibc-langpack-bhb glibc-langpack-bho 
glibc-langpack-bi glibc-langpack-bn glibc-langpack-bo glibc-langpack-br 
glibc-langpack-brx glibc-langpack-bs glibc-langpack-byn glibc-langpack-ca 
glibc-langpack-ce glibc-langpack-chr glibc-langpack-ckb glibc-langpack-cmn 
glibc-langpack-crh glibc-langpack-cs glibc-langpack-csb glibc-langpack-cv 
glibc-langpack-cy glibc-langpack-da glibc-langpack-de glibc-langpack-doi 
glibc-langpack-dsb glibc-langpack-dv glibc-langpack-dz glibc-langpack-el 
glibc-langpack-en glibc-langpack-eo glibc-langpack-es glibc-langpack-et 
glibc-langpack-eu glibc-langpack-fa glibc-langpack-ff glibc-langpack-fi 
glibc-langpack-fil glibc-langpack-fo glibc-langpack-fr glibc-langpack-fur 
glibc-langpack-fy glibc-langpack-ga glibc-langpack-gd glibc-langpack-gez 
glibc-langpack-gl glibc-langpack-gu glibc-langpack-gv glibc-langpack-ha 
glibc-langpack-hak glibc-langpack-he glibc-langpack-hi glibc-langpack-hif 
glibc-langpack-hne glibc-langpack-hr glibc-langpack-hsb glibc-langpack-ht 
glibc-langpack-hu glibc-langpack-hy glibc-langpack-ia glibc-langpack-id 
glibc-langpack-ig glibc-langpack-ik glibc-langpack-is glibc-langpack-it 
glibc-langpack-iu glibc-langpack-ja glibc-langpack-ka glibc-langpack-kab 
glibc-langpack-kk glibc-langpack-kl glibc-langpack-km glibc-langpack-kn 
glibc-langpack-ko glibc-langpack-kok glibc-langpack-ks glibc-langpack-ku 
glibc-langpack-kw glibc-langpack-ky glibc-langpack-lb glibc-langpack-lg 
glibc-langpack-li glibc-langpack-lij glibc-langpack-ln glibc-langpack-lo 
glibc-langpack-lt glibc-langpack-lv glibc-langpack-lzh glibc-langpack-mag 
glibc-langpack-mai glibc-langpack-mfe glibc-langpack-mg glibc-langpack-mhr 
glibc-langpack-mi glibc-langpack-miq glibc-langpack-mjw glibc-langpack-mk 
glibc-langpack-ml glibc-langpack-mn glibc-langpack-mni glibc-langpack-mnw 
glibc-langpack-mr glibc-langpack-ms glibc-langpack-mt glibc-langpack-my 
glibc-langpack-nan glibc-langpack-nb glibc-langpack-nds glibc-langpack-ne 
glibc-langpack-nhn glibc-langpack-niu glibc-langpack-nl glibc-langpack-nn 
glibc-langpack-nr glibc-langpack-nso glibc-langpack-oc glibc-langpack-om 
glibc-langpack-or glibc-langpack-os glibc-langpack-pa glibc-langpack-pap 
glibc-langpack-pl glibc-langpack-ps glibc-langpack-pt glibc-langpack-quz 
glibc-langpack-raj glibc-langpack-rif glibc-langpack-ro glibc-langpack-ru 
glibc-langpack-rw glibc-langpack-sa glibc-langpack-sah glibc-langpack-sat 
glibc-langpack-sc glibc-langpack-sd glibc-langpack-se glibc-langpack-sgs 
glibc-langpack-shn glibc-langpack-shs glibc-langpack-si glibc-langpack-sid 
glibc-langpack-sk glibc-langpack-sl glibc-langpack-sm glibc-langpack-so 
glibc-langpack-sq glibc-langpack-sr glibc-langpack-ss glibc-langpack-st 
glibc-langpack-sv glibc-langpack-sw glibc-langpack-syr glibc-langpack-szl 
glibc-langpack-ta glibc-langpack-tcy glibc-langpack-te glibc-langpack-tg 
glibc-langpack-th glibc-langpack-the glibc-langpack-ti glibc-langpack-tig 
glibc-langpack-tk glibc-langpack-tl glibc-langpack-tn glibc-langpack-to 
glibc-langpack-tpi glibc-langpack-tr glibc-langpack-ts glibc-langpack-tt 
glibc-langpack-ug glibc-langpack-uk glibc-langpack-unm glibc-langpack-ur 
glibc-langpack-uz glibc-langpack-ve glibc-langpack-vi glibc-langpack-wa 
glibc-langpack-wae glibc-langpack-wal glibc-langpack-wo glibc-langpack-xh 
glibc-langpack-yi glibc-langpack-yo glibc-langpack-yue glibc-langpack-yuw 
glibc-langpack-zh glibc-langpack-zu glibc-locale-source glibc-minimal-langpack 
glibc-nss-devel glibc-static glibc-utils libnsl nss_db nss_hesiod
Size:         546.58 MiB
Size change:  1.19 MiB
Changelog:
  * Fri Dec 08 2023 Carlos O'Donell <car...@redhat.com> - 2.38.9000-27
  - Drop glibc-rh2248502.patch; fix applied upstream, and
  - Auto-sync with upstream branch master,
    commit b3bee76c5f59498b9c189608f0a3132e2013fa1a:
  - elf: Initialize GLRO(dl_lazy) before relocating libc in dynamic startup
  - Move CVE information into advisories directory
  - powerpc: Optimized strcmp for power10
  - elf: Fix wrong break removal from 8ee878592c
  - localedata: Convert day names in nn_NO locale to UTF-8
  - localedata: Remove trailing whitespace in weekday names in nn_NO locale
  - elf: Refactor process_envvars
  - elf: Ignore LD_BIND_NOW and LD_BIND_NOT for setuid binaries
  - elf: Ignore loader debug env vars for setuid
  - Adapt the security policy for the security page
  - aarch64: correct CFI in rawmemchr (bug 31113)
  - math: Add new exp10 implementation
  - aarch64: fix tested ifunc variants
  - stdlib: Fix array bounds protection in insertion sort phase of qsort
  - Revert "Update code to handle the new ABI for sending inlined port rights."
  - Revert "hurd: Fix build"
  - hurd: Fix build
  - Update code to handle the new ABI for sending inlined port rights.
  - hurd: [!__USE_MISC] Do not #undef BSD macros in ioctls
  - linux: Make fdopendir fail with O_PATH (BZ 30373)
  - Avoid padding in _init and _fini. [BZ #31042]
  - aarch64: Improve special-case handling in AdvSIMD double-precision libmvec 
routines
  - malloc: Improve MAP_HUGETLB with glibc.malloc.hugetlb=2
  - elf: Add a way to check if tunable is set (BZ 27069)


Package:      godot-4.2.1-1.fc40
Old package:  godot-4.1.2-1.fc40
Summary:      Multi-platform 2D and 3D game engine with a feature-rich editor
RPMs:         godot godot-runner
Size:         180.70 MiB
Size change:  6.92 MiB
Changelog:
  * Tue Dec 12 2023 R??mi Verschelde <ak...@fedoraproject.org> - 4.2.1-1
  - Version 4.2.1-stable
  - OIDN no longer bundled, recommend system package for the oidnDenoise binary


Package:      google-auth-httplib2-0.2.0-1.fc40
Old package:  google-auth-httplib2-0.1.1-1.fc40
Summary:      An httplib2 transport for google-auth
RPMs:         python3-google-auth-httplib2
Size:         20.65 KiB
Size change:  3 B
Changelog:
  * Tue Dec 12 2023 Gwyn Ciesla <gw...@protonmail.com> - 0.2.0-1
  - 0.2.0


Package:      graphviz-9.0.0-4.fc40
Old package:  graphviz-9.0.0-3.fc40
Summary:      Graph Visualization Tools
RPMs:         graphviz graphviz-R graphviz-devel graphviz-devil graphviz-doc 
graphviz-gd graphviz-go graphviz-graphs graphviz-gtk2 graphviz-guile 
graphviz-java graphviz-lua graphviz-ocaml graphviz-perl graphviz-python3 
graphviz-ruby graphviz-sharp graphviz-smyrna graphviz-tcl
Size:         43.28 MiB
Size change:  -6.70 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 9.0.0-4
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      gsm-1.0.22-4.fc40
Old package:  gsm-1.0.22-3.fc39
Summary:      Shared libraries for GSM speech compressor
RPMs:         gsm gsm-devel gsm-tools
Size:         349.20 KiB
Size change:  312 B
Changelog:
  * Tue Dec 12 2023 Jaroslav ??karvada <jskar...@redhat.com> - 1.0.22-4
  - License converted to SPDX


Package:      gtk+-1:1.2.10-105.fc40
Old package:  gtk+-1:1.2.10-104.fc39
Summary:      The GIMP ToolKit
RPMs:         gtk+ gtk+-devel
Size:         5.86 MiB
Size change:  -3.22 KiB
Changelog:
  * Tue Dec 12 2023 Paul Howarth <p...@city-fan.org> - 1:1.2.10-105
  - Fix incompatible pointer type in call to XmbTextListToTextProperty


Package:      haxe-4.3.3-2.fc40
Old package:  haxe-4.3.3-1.fc40
Summary:      Multi-target universal programming language
RPMs:         haxe haxe-stdlib
Size:         24.10 MiB
Size change:  -2.73 MiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 4.3.3-2
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      hevea-2.36-9.fc40
Old package:  hevea-2.36-8.fc40
Summary:      LaTeX to HTML translator
RPMs:         hevea
Size:         14.65 MiB
Size change:  -5.67 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 2.36-9
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      hivex-1.3.23-14.fc40
Old package:  hivex-1.3.23-13.fc40
Summary:      Read and write Windows Registry binary hive files
RPMs:         hivex hivex-devel hivex-libs hivex-static ocaml-hivex 
ocaml-hivex-devel perl-hivex python3-hivex ruby-hivex
Size:         2.49 MiB
Size change:  3.39 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.3.23-14
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      httpd-2.4.58-3.fc40
Old package:  httpd-2.4.58-2.fc40
Summary:      Apache HTTP Server
RPMs:         httpd httpd-core httpd-devel httpd-filesystem httpd-manual 
httpd-tools mod_ldap mod_lua mod_proxy_html mod_session mod_ssl
Size:         10.75 MiB
Size change:  -1.04 KiB
Changelog:
  * Fri Dec 08 2023 Joe Orton <jor...@redhat.com> - 2.4.58-3
  - mod_dav_fs: add DAVLockDBType, use global lock around lockdb
  - fix build with libxml2 2.12


Package:      intel-gmmlib-22.3.15-1.fc40
Old package:  intel-gmmlib-22.3.14-3.fc40
Summary:      Intel Graphics Memory Management Library
RPMs:         intel-gmmlib intel-gmmlib-devel
Size:         934.93 KiB
Size change:  -88 B
Changelog:
  * Tue Dec 12 2023 Nicolas Chauvet <kwiz...@gmail.com> - 22.3.15-1
  - Update to 22.3.15


Package:      ipython-8.18.1-1.fc40
Old package:  ipython-8.17.2-1.fc40
Summary:      An enhanced interactive Python shell
RPMs:         python3-ipython python3-ipython+notebook python3-ipython+test 
python3-ipython-doc python3-ipython-sphinx
Size:         5.55 MiB
Size change:  -1.14 KiB
Changelog:
  * Tue Nov 28 2023 Lumir Balhar <lbal...@redhat.com> - 8.18.0-1
  - Update to 8.18.0 (rhbz#2251565)

  * Mon Dec 11 2023 Lumir Balhar <lbal...@redhat.com> - 8.18.1-1
  - Update to 8.18.1 (rhbz#2251565)


Package:      jhead-3.08-1.fc40
Old package:  jhead-3.06.0.1-7.fc39
Summary:      Tool for displaying EXIF data embedded in JPEG images
RPMs:         jhead
Size:         256.19 KiB
Size change:  3.75 KiB
Changelog:
  * Tue Dec 12 2023 Adrian Reber <adr...@lisas.de> - 3.08-1
  - updated to 3.08


Package:      jna-5.14.0-1.fc40
Old package:  jna-5.13.0-3.fc39
Summary:      Pure Java access to native libraries
RPMs:         jna jna-contrib jna-javadoc
Size:         4.43 MiB
Size change:  4.94 KiB
Changelog:
  * Mon Dec 11 2023 Zuzana Miklankova <zmikl...@redhat.com> - 5.14.0-1
  - Rebase to version 5.14.0


Package:      kcbench-0.9.8-1.fc40
Old package:  kcbench-0.9.7-1.fc40
Summary:      Benchmark that compiles a Linux kernel
RPMs:         kcbench
Size:         40.34 KiB
Size change:  888 B
Changelog:
  * Tue Dec 12 2023 Thorsten Leemhuis <fedora [AT] leemhuis [DOT] info> - 
0.9.8-1
  - Update to 0.9.8


Package:      kernel-6.7.0-0.rc5.20231212git26aff849438c.42.fc40
Old package:  kernel-6.7.0-0.rc5.41.fc40
Summary:      The Linux kernel
RPMs:         kernel kernel-core kernel-debug kernel-debug-core 
kernel-debug-devel kernel-debug-devel-matched kernel-debug-modules 
kernel-debug-modules-core kernel-debug-modules-extra 
kernel-debug-modules-internal kernel-debug-uki-virt kernel-devel 
kernel-devel-matched kernel-doc kernel-modules kernel-modules-core 
kernel-modules-extra kernel-modules-internal kernel-uki-virt
Size:         1.04 GiB
Size change:  1.42 MiB
Changelog:
  * Tue Dec 12 2023 Fedora Kernel Team <kernel-t...@fedoraproject.org> 
[6.7.0-0.rc5.26aff849438c.42]
  - redhat: enable the kfence test (Nico Pache)
  - Linux v6.7.0-0.rc5.26aff849438c


Package:      kio-fuse-5.1.0-1.fc40
Old package:  kio-fuse-5.0.1-6.fc39
Summary:      KIO FUSE
RPMs:         kio-fuse
Size:         400.65 KiB
Size change:  15.43 KiB
Changelog:
  * Tue Dec 12 2023 Yaroslav Sidlovsky <zawer...@gmail.com> - 5.1.0-1
  - version 5.1.0


Package:      libcomps-0.1.20-2.fc40
Old package:  libcomps-0.1.20-1.fc40
Summary:      Comps XML file manipulation library
RPMs:         libcomps libcomps-devel libcomps-doc python-libcomps-doc 
python3-libcomps
Size:         1.02 MiB
Size change:  863 B
Changelog:
  * Wed Dec 13 2023 Yaakov Selkowitz <yselk...@redhat.com> - 0.1.20-2
  - Fix build with libxml2-2.12.0


Package:      libguestfs-1:1.51.9-2.fc40
Old package:  libguestfs-1:1.51.9-1.fc40
Summary:      Access and modify virtual machine disk images
RPMs:         libguestfs libguestfs-appliance libguestfs-bash-completion 
libguestfs-devel libguestfs-forensics libguestfs-gfs2 libguestfs-gobject 
libguestfs-gobject-devel libguestfs-hfsplus libguestfs-inspect-icons 
libguestfs-man-pages-ja libguestfs-man-pages-uk libguestfs-rescue 
libguestfs-rsync libguestfs-ufs libguestfs-vala libguestfs-xfs libguestfs-zfs 
lua-guestfs ocaml-libguestfs ocaml-libguestfs-devel perl-Sys-Guestfs 
php-libguestfs python3-libguestfs ruby-libguestfs
Size:         24.65 MiB
Size change:  -666 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1:1.51.9-2
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      liboauth2-1.6.0-1.fc40
Old package:  liboauth2-1.5.2-1.fc40
Summary:      Generic library to build OAuth 2.x and OpenID Connect servers and 
clients in C
RPMs:         liboauth2 liboauth2-apache liboauth2-apache-devel liboauth2-devel
Size:         789.37 KiB
Size change:  10.92 KiB
Changelog:
  * Thu Dec 07 2023 Packit <he...@packit.dev> - 1.6.0-1
  - 1.6.0: use libcurl version macro that works on older platforms (Hans 
Zandbelt)
  - 1.6.0: add support for the OAuth 2.0 Client Credentials grant type (Hans 
Zandbelt)
  - Use CURLOPT_REDIR_PROTOCOLS_STR when curl >= 7.85.0 (Nicolas Mora)
  - Resolves rhbz#2253482


Package:      libxml2-2.12.3-1.fc40
Old package:  libxml2-2.12.2-2.fc40
Summary:      Library providing XML and HTML support
RPMs:         libxml2 libxml2-devel libxml2-static python3-libxml2
Size:         10.12 MiB
Size change:  1.98 KiB
Changelog:
  * Tue Dec 12 2023 David King <amigad...@amigadave.com> - 2.12.3-1
  - Update to 2.12.3 (#2254194)


Package:      lorax-40.2-1.fc40
Old package:  lorax-40.0-1.fc40
Summary:      Tool for creating the anaconda install images
RPMs:         lorax lorax-docs lorax-lmc-novirt lorax-lmc-virt 
lorax-templates-generic
Size:         2.52 MiB
Size change:  -2.36 KiB
Changelog:
  * Mon Dec 11 2023 Brian C. Lane <b...@redhat.com> 40.1-1
  - ltmpl: Filter out other arches, clean up naming (b...@redhat.com)
  - test: Add pigz to test-packages (b...@redhat.com)
  - dnfbase: Fix url substitution support (b...@redhat.com)
  - ltmpl: Add transaction error handling (b...@redhat.com)
  - test-packages: Make sure python3-libdnf5 is installed (b...@redhat.com)
  - Updates for latest libdnf5 changes (b...@redhat.com)
  - spec: Switch to using python3-libdnf5 (b...@redhat.com)
  - Fix writing out debug info for package files and sizes (b...@redhat.com)
  - libdnf5: Switch lorax to use libdnf5 (b...@redhat.com)
  - Add python3-libdnf5 to the list of test packages (b...@redhat.com)
  - Adjust runtime-postinstall.tmpl for systemd config files move 
(zbys...@in.waw.pl)

  * Tue Dec 12 2023 Brian C. Lane <b...@redhat.com> 40.2-1
  - ltmpl: Remove duplicate package objects from dnf5 results (b...@redhat.com)
  - test-in-podman: Fix problem running in github actions (b...@redhat.com)


Package:      matrix-synapse-1.98.0-1.fc40
Old package:  matrix-synapse-1.96.1-1.fc40
Summary:      A Matrix reference homeserver written in Python using Twisted
RPMs:         matrix-synapse matrix-synapse+cache_memory matrix-synapse+jwt 
matrix-synapse+matrix-synapse-ldap3 matrix-synapse+oidc matrix-synapse+postgres 
matrix-synapse+saml2 matrix-synapse+systemd matrix-synapse+url_preview 
matrix-synapse+user-search
Size:         18.94 MiB
Size change:  42.83 KiB
Changelog:
  * Tue Nov 28 2023 Kai A. Hiller <v02...@gmail.com> - 1.97.0-1
  - Update to v1.97.0

  * Tue Dec 12 2023 Kai A. Hiller <v02...@gmail.com> - 1.98.0-1
  - Update to v1.98.0


Package:      maturin-1.4.0-1.fc40
Old package:  maturin-1.3.2-1.fc40
Summary:      Build and publish Rust crates as Python packages
RPMs:         maturin
Size:         16.06 MiB
Size change:  -67.14 KiB
Changelog:
  * Tue Dec 12 2023 Fabio Valentini <decatho...@gmail.com> - 1.4.0-1
  - Update to version 1.4.0; Fixes RHBZ#2252654


Package:      meson-1.3.0-1.fc40
Old package:  meson-1.2.3-1.fc40
Summary:      High productivity build system
RPMs:         meson
Size:         2.06 MiB
Size change:  38.73 KiB
Changelog:
  * Sun Nov 19 2023 Kalev Lember <klem...@redhat.com> - 1.3.0-1
  - Update to 1.3.0 (rhbz#2246772)


Package:      mingw-Cython-3.0.6-1.fc40
Old package:  mingw-Cython-3.0.5-1.fc40
Summary:      MinGW Windows Python Cython library
RPMs:         mingw32-python3-Cython mingw64-python3-Cython
Size:         109.18 MiB
Size change:  17.49 KiB
Changelog:
  * Tue Dec 12 2023 Sandro Mani <manisan...@gmail.com> - 3.0.6-1
  - Update to 3.0.6


Package:      mingw-libxml2-2.12.3-1.fc40
Old package:  mingw-libxml2-2.12.2-1.fc40
Summary:      MinGW Windows libxml2 XML processing library
RPMs:         mingw32-libxml2 mingw32-libxml2-static mingw64-libxml2 
mingw64-libxml2-static
Size:         2.40 MiB
Size change:  195 B
Changelog:
  * Tue Dec 12 2023 Sandro Mani <manisan...@gmail.com> - 2.12.3-1
  - Update to 2.12.3


Package:      mingw-python-psycopg2-2.9.9-1.fc40
Old package:  mingw-python-psycopg2-2.9.6-2.fc39
Summary:      MinGW Windows Python psycopg2 library
RPMs:         mingw32-python3-psycopg2 mingw64-python3-psycopg2
Size:         410.59 KiB
Size change:  -932 B
Changelog:
  * Tue Dec 12 2023 Sandro Mani <manisan...@gmail.com> - 2.9.9-1
  - Update to 2.9.9


Package:      mingw-sqlite-3.44.2-1.fc40
Old package:  mingw-sqlite-3.44.1-1.fc40
Summary:      MinGW Windows port of sqlite embeddable SQL database engine
RPMs:         mingw32-sqlite mingw32-sqlite-static mingw64-sqlite 
mingw64-sqlite-static
Size:         3.68 MiB
Size change:  291 B
Changelog:
  * Tue Dec 12 2023 Sandro Mani <manisan...@gmail.com> - 3.44.2-1
  - Update to 3.44.2


Package:      not-ocamlfind-0.12-3.fc40
Old package:  not-ocamlfind-0.12-2.fc40
Summary:      Front-end to ocamlfind that adds a few new commands
RPMs:         not-ocamlfind
Size:         25.40 MiB
Size change:  30.78 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.12-3
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-5.1.1-1.fc40
Old package:  ocaml-5.1.0-5.fc40
Summary:      OCaml compiler and programming environment
RPMs:         ocaml ocaml-compiler-libs ocaml-docs ocaml-ocamldoc 
ocaml-rpm-macros ocaml-runtime ocaml-source
Size:         445.92 MiB
Size change:  -13.39 MiB
Changelog:
  * Mon Dec 11 2023 Richard W.M. Jones <rjo...@redhat.com> - 5.1.1-1
  - New upstream version 5.1.1 (RHBZ#2239227)


Package:      ocaml-SDL-0.9.1-64.fc40
Old package:  ocaml-SDL-0.9.1-63.fc40
Summary:      OCaml bindings for SDL
RPMs:         ocaml-SDL ocaml-SDL-devel
Size:         1.28 MiB
Size change:  627 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.9.1-64
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-alcotest-1.7.0-6.fc40
Old package:  ocaml-alcotest-1.7.0-5.fc40
Summary:      Lightweight and colorful test framework for OCaml
RPMs:         ocaml-alcotest ocaml-alcotest-devel
Size:         5.19 MiB
Size change:  177 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.7.0-6
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-astring-0.8.5-19.fc40
Old package:  ocaml-astring-0.8.5-18.fc40
Summary:      Alternative String module for OCaml
RPMs:         ocaml-astring ocaml-astring-devel
Size:         1.99 MiB
Size change:  483 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.8.5-19
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-atd-2.15.0-2.fc40
Old package:  ocaml-atd-2.15.0-1.fc40
Summary:      Adaptable Type Definitions for cross-language data types
RPMs:         ocaml-atd ocaml-atd-devel ocaml-atdd ocaml-atdgen 
ocaml-atdgen-codec-runtime ocaml-atdgen-codec-runtime-devel ocaml-atdgen-devel 
ocaml-atdgen-runtime ocaml-atdgen-runtime-devel ocaml-atdj ocaml-atdpy 
ocaml-atds ocaml-atdts
Size:         35.60 MiB
Size change:  -726.67 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 2.15.0-2
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-augeas-0.6-28.fc40
Old package:  ocaml-augeas-0.6-27.fc40
Summary:      OCaml bindings for Augeas configuration API
RPMs:         ocaml-augeas ocaml-augeas-devel
Size:         245.81 KiB
Size change:  568 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.6-28
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-autoconf-1.1-37.fc40
Old package:  ocaml-autoconf-1.1-36.fc40
Summary:      Autoconf macros for OCaml
RPMs:         ocaml-autoconf
Size:         17.37 KiB
Size change:  89 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.1-37
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-base-0.16.3-3.fc40
Old package:  ocaml-base-0.16.3-2.fc40
Summary:      Jane Street standard library for OCaml
RPMs:         ocaml-base ocaml-base-devel
Size:         50.85 MiB
Size change:  221 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.16.3-3
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-base64-3.5.1-6.fc40
Old package:  ocaml-base64-3.5.1-5.fc40
Summary:      Base64 library for OCaml
RPMs:         ocaml-base64 ocaml-base64-devel
Size:         1.12 MiB
Size change:  239 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 3.5.1-6
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-benchmark-1.6-8.fc40
Old package:  ocaml-benchmark-1.6-7.fc40
Summary:      Benchmarking module for OCaml
RPMs:         ocaml-benchmark ocaml-benchmark-devel
Size:         1.69 MiB
Size change:  83 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.6-8
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-bigarray-compat-1.1.0-10.fc40
Old package:  ocaml-bigarray-compat-1.1.0-9.fc40
Summary:      Compatibility library to use Stdlib.Bigarray when possible
RPMs:         ocaml-bigarray-compat ocaml-bigarray-compat-devel
Size:         163.11 KiB
Size change:  735 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.1.0-10
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-bin-prot-1:0.16.0-5.fc40
Old package:  ocaml-bin-prot-1:0.16.0-4.fc40
Summary:      Read and write OCaml values in a type-safe binary protocol
RPMs:         ocaml-bin-prot ocaml-bin-prot-devel
Size:         7.46 MiB
Size change:  516 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1:0.16.0-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-biniou-1.2.2-5.fc40
Old package:  ocaml-biniou-1.2.2-4.fc40
Summary:      Safe and fast binary data format
RPMs:         ocaml-biniou ocaml-biniou-devel
Size:         4.10 MiB
Size change:  993 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.2.2-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-bisect-ppx-2.8.3-4.fc40
Old package:  ocaml-bisect-ppx-2.8.3-3.fc40
Summary:      Code coverage for OCaml and Reason
RPMs:         ocaml-bisect-ppx ocaml-bisect-ppx-devel
Size:         20.16 MiB
Size change:  -37.56 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 2.8.3-4
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-bos-0.2.1-13.fc40
Old package:  ocaml-bos-0.2.1-12.fc40
Summary:      Basic OS interaction for OCaml
RPMs:         ocaml-bos ocaml-bos-devel
Size:         3.17 MiB
Size change:  737 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.2.1-13
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-cairo-2:0.6.4-8.fc40
Old package:  ocaml-cairo-2:0.6.4-7.fc40
Summary:      OCaml library for accessing cairo graphics
RPMs:         ocaml-cairo ocaml-cairo-devel ocaml-cairo-gtk 
ocaml-cairo-gtk-devel ocaml-cairo-pango ocaml-cairo-pango-devel
Size:         2.45 MiB
Size change:  2.41 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 2:0.6.4-8
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-calendar-3.0.0-5.fc40
Old package:  ocaml-calendar-3.0.0-4.fc40
Summary:      Objective Caml library for managing dates and times
RPMs:         ocaml-calendar ocaml-calendar-devel
Size:         5.48 MiB
Size change:  1.12 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 3.0.0-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-camlbz2-0.7.0-14.fc40
Old package:  ocaml-camlbz2-0.7.0-13.fc40
Summary:      OCaml bindings for bzip2
RPMs:         ocaml-camlbz2 ocaml-camlbz2-devel
Size:         217.72 KiB
Size change:  151 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.7.0-14
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-camlidl-1.12-3.fc40
Old package:  ocaml-camlidl-1.12-2.fc40
Summary:      Stub code generator and COM binding for Objective Caml
RPMs:         ocaml-camlidl ocaml-camlidl-devel
Size:         4.83 MiB
Size change:  9.03 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.12-3
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-camlimages-5.0.4-16.fc40
Old package:  ocaml-camlimages-5.0.4-15.fc40
Summary:      OCaml image processing library
RPMs:         ocaml-camlimages ocaml-camlimages-devel
Size:         14.38 MiB
Size change:  2.23 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 5.0.4-16
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-camlp-streams-5.0.1-9.fc40
Old package:  ocaml-camlp-streams-5.0.1-8.fc40
Summary:      Stream and Genlex libraries for OCaml
RPMs:         ocaml-camlp-streams ocaml-camlp-streams-devel
Size:         778.62 KiB
Size change:  1023 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 5.0.1-9
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-camlp5-8.02.01-3.fc40
Old package:  ocaml-camlp5-8.02.01-2.fc40
Summary:      Preprocessor and pretty printer for OCaml
RPMs:         ocaml-camlp5 ocaml-camlp5-devel
Size:         137.04 MiB
Size change:  22.83 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 8.02.01-3
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-camlp5-buildscripts-0.03-5.fc40
Old package:  ocaml-camlp5-buildscripts-0.03-4.fc40
Summary:      Sysadmin scripts for camlp5 projects
RPMs:         ocaml-camlp5-buildscripts
Size:         8.99 MiB
Size change:  -4.56 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.03-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-camomile-2.0.0-7.fc40
Old package:  ocaml-camomile-2.0.0-5.fc40
Summary:      Unicode library for OCaml
RPMs:         ocaml-camomile ocaml-camomile-data ocaml-camomile-devel
Size:         17.31 MiB
Size change:  1.59 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 2.0.0-6
  - OCaml 5.1.1 rebuild for Fedora 40

  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 2.0.0-7
  - Bump release and rebuild


Package:      ocaml-cinaps-0.15.1-15.fc40
Old package:  ocaml-cinaps-0.15.1-14.fc40
Summary:      Trivial Metaprogramming tool using the OCaml toplevel
RPMs:         ocaml-cinaps ocaml-cinaps-devel
Size:         2.63 MiB
Size change:  -9.80 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.15.1-15
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-cmdliner-1.2.0-5.fc40
Old package:  ocaml-cmdliner-1.2.0-4.fc40
Summary:      Declarative definition of command line interfaces for OCaml
RPMs:         ocaml-cmdliner ocaml-cmdliner-devel
Size:         5.95 MiB
Size change:  492 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.2.0-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-compiler-libs-janestreet-0.12.4-15.fc40
Old package:  ocaml-compiler-libs-janestreet-0.12.4-14.fc40
Summary:      OCaml compiler libraries repackaged
RPMs:         ocaml-compiler-libs-janestreet 
ocaml-compiler-libs-janestreet-devel
Size:         729.17 KiB
Size change:  3.02 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.12.4-15
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-cppo-1.6.9-5.fc40
Old package:  ocaml-cppo-1.6.9-4.fc40
Summary:      Equivalent of the C preprocessor for OCaml programs
RPMs:         ocaml-cppo ocaml-cppo-ocamlbuild
Size:         2.44 MiB
Size change:  7.27 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.6.9-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-crunch-3.3.1-2.fc40
Old package:  ocaml-crunch-3.3.1-1.fc40
Summary:      Convert a filesystem into a static OCaml module
RPMs:         ocaml-crunch ocaml-crunch-devel
Size:         2.98 MiB
Size change:  3.94 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 3.3.1-2
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-cryptokit-1.18-6.fc40
Old package:  ocaml-cryptokit-1.18-5.fc40
Summary:      OCaml library of cryptographic and hash functions
RPMs:         ocaml-cryptokit ocaml-cryptokit-devel
Size:         4.72 MiB
Size change:  862 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.18-6
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-csexp-1.5.2-7.fc40
Old package:  ocaml-csexp-1.5.2-6.fc40
Summary:      Parsing and printing of S-expressions in canonical form
RPMs:         ocaml-csexp ocaml-csexp-devel
Size:         706.49 KiB
Size change:  597 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.5.2-7
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-csv-2.4-15.fc40
Old package:  ocaml-csv-2.4-14.fc40
Summary:      OCaml library for reading and writing CSV files
RPMs:         ocaml-csv ocaml-csv-devel ocaml-csv-lwt ocaml-csv-lwt-devel
Size:         5.47 MiB
Size change:  -6.14 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 2.4-15
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-ctypes-0.21.1-3.fc40
Old package:  ocaml-ctypes-0.21.1-2.fc40
Summary:      Combinators for binding to C libraries without writing any C
RPMs:         ocaml-ctypes ocaml-ctypes-devel
Size:         11.23 MiB
Size change:  -833 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.21.1-3
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-cudf-0.10-5.fc40
Old package:  ocaml-cudf-0.10-4.fc40
Summary:      Format for describing upgrade scenarios
RPMs:         ocaml-cudf ocaml-cudf-devel
Size:         5.79 MiB
Size change:  1.76 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.10-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-curl-0.9.2-10.fc40
Old package:  ocaml-curl-0.9.2-9.fc40
Summary:      OCaml Curl library (ocurl)
RPMs:         ocaml-curl ocaml-curl-devel
Size:         2.88 MiB
Size change:  924 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.9.2-10
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-curses-1.0.11-5.fc40
Old package:  ocaml-curses-1.0.11-4.fc40
Summary:      OCaml bindings for ncurses
RPMs:         ocaml-curses ocaml-curses-devel
Size:         1.57 MiB
Size change:  698 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.0.11-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-dbus-0.30-50.fc40
Old package:  ocaml-dbus-0.30-49.fc40
Summary:      OCaml library for using D-Bus
RPMs:         ocaml-dbus ocaml-dbus-devel
Size:         481.04 KiB
Size change:  698 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.30-50
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-dose3-7.0.0-20.fc40
Old package:  ocaml-dose3-7.0.0-19.fc40
Summary:      Framework for managing distribution packages and dependencies
RPMs:         dose3-tools ocaml-dose3 ocaml-dose3-devel
Size:         44.05 MiB
Size change:  -38.13 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 7.0.0-20
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-dune-3.12.1-2.fc40
Old package:  ocaml-dune-3.12.1-1.fc40
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:         59.28 MiB
Size change:  32.59 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 3.12.1-2
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-easy-format-1.3.4-5.fc40
Old package:  ocaml-easy-format-1.3.4-4.fc40
Summary:      High-level and functional interface to the Format module
RPMs:         ocaml-easy-format ocaml-easy-format-devel
Size:         762.19 KiB
Size change:  765 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.3.4-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-expat-1.3.0-5.fc40
Old package:  ocaml-expat-1.3.0-4.fc40
Summary:      OCaml wrapper for the Expat XML parsing library
RPMs:         ocaml-expat ocaml-expat-devel
Size:         224.93 KiB
Size change:  702 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.3.0-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-extlib-1.7.9-5.fc40
Old package:  ocaml-extlib-1.7.9-4.fc40
Summary:      OCaml ExtLib additions to the standard library
RPMs:         ocaml-extlib ocaml-extlib-devel
Size:         6.82 MiB
Size change:  -1.04 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.7.9-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-facile-1.1.4-5.fc40
Old package:  ocaml-facile-1.1.4-4.fc40
Summary:      OCaml library for constraint programming
RPMs:         ocaml-facile ocaml-facile-devel
Size:         11.15 MiB
Size change:  1.25 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.1.4-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-fieldslib-0.16.0-5.fc40
Old package:  ocaml-fieldslib-0.16.0-4.fc40
Summary:      OCaml record fields as first class values
RPMs:         ocaml-fieldslib ocaml-fieldslib-devel
Size:         194.41 KiB
Size change:  171 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.16.0-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-fileutils-0.6.4-5.fc40
Old package:  ocaml-fileutils-0.6.4-4.fc40
Summary:      OCaml library for common file and filename operations
RPMs:         ocaml-fileutils ocaml-fileutils-devel
Size:         4.12 MiB
Size change:  238 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.6.4-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-findlib-1.9.6-7.fc40
Old package:  ocaml-findlib-1.9.6-6.fc40
Summary:      Objective CAML package manager and build helper
RPMs:         ocaml-findlib ocaml-findlib-devel
Size:         4.11 MiB
Size change:  861 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.9.6-7
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-fmt-0.9.0-11.fc40
Old package:  ocaml-fmt-0.9.0-10.fc40
Summary:      OCaml Format pretty-printer combinators
RPMs:         ocaml-fmt ocaml-fmt-devel
Size:         1.53 MiB
Size change:  411 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.9.0-11
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-fpath-0.7.3-16.fc40
Old package:  ocaml-fpath-0.7.3-15.fc40
Summary:      File paths for OCaml
RPMs:         ocaml-fpath ocaml-fpath-devel
Size:         994.34 KiB
Size change:  761 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.7.3-16
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-gen-1.1-6.fc40
Old package:  ocaml-gen-1.1-5.fc40
Summary:      Simple, efficient iterators for OCaml
RPMs:         ocaml-gen ocaml-gen-devel
Size:         3.78 MiB
Size change:  1.93 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.1-6
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-gettext-0.4.2-16.fc40
Old package:  ocaml-gettext-0.4.2-15.fc40
Summary:      OCaml library for i18n
RPMs:         ocaml-gettext ocaml-gettext-camomile ocaml-gettext-camomile-devel 
ocaml-gettext-devel
Size:         18.11 MiB
Size change:  -41.66 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.4.2-16
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-graphics-5.1.2-14.fc40
Old package:  ocaml-graphics-5.1.2-13.fc40
Summary:      Portable drawing primitives for OCaml
RPMs:         ocaml-graphics ocaml-graphics-devel ocaml-graphics-doc
Size:         793.43 KiB
Size change:  820 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 5.1.2-14
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-gsl-1.24.3-5.fc40
Old package:  ocaml-gsl-1.24.3-4.fc40
Summary:      Interface to GSL (GNU scientific library) for OCaml
RPMs:         ocaml-gsl ocaml-gsl-devel
Size:         10.11 MiB
Size change:  1.04 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.24.3-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-integers-0.7.0-10.fc40
Old package:  ocaml-integers-0.7.0-9.fc40
Summary:      Various signed and unsigned integer types for OCaml
RPMs:         ocaml-integers ocaml-integers-devel
Size:         1.42 MiB
Size change:  641 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.7.0-10
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-jane-street-headers-0.16.0-5.fc40
Old package:  ocaml-jane-street-headers-0.16.0-4.fc40
Summary:      Jane Street header files
RPMs:         ocaml-jane-street-headers-devel
Size:         54.60 KiB
Size change:  86 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.16.0-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-jst-config-0.16.0-5.fc40
Old package:  ocaml-jst-config-0.16.0-4.fc40
Summary:      Compile-time configuration for Jane Street libraries
RPMs:         ocaml-jst-config-devel
Size:         45.08 KiB
Size change:  -206 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.16.0-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-lablgl-1:1.07-6.fc40
Old package:  ocaml-lablgl-1:1.07-4.fc40
Summary:      LablGL is an OpenGL interface for Objective Caml
RPMs:         ocaml-lablgl ocaml-lablgl-devel
Size:         3.29 MiB
Size change:  1.43 KiB
Changelog:
  * Fri Dec 01 2023 Jerry James <loganje...@gmail.com> - 1:1.07-5
  - Fix a build error with the Modern C initiative

  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1:1.07-6
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-lablgtk-2.18.13-8.fc40
Old package:  ocaml-lablgtk-2.18.13-7.fc40
Summary:      Objective Caml interface to gtk+
RPMs:         ocaml-lablgtk ocaml-lablgtk-devel
Size:         31.90 MiB
Size change:  9.28 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 2.18.13-8
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-lablgtk3-3.1.3-8.fc40
Old package:  ocaml-lablgtk3-3.1.3-7.fc40
Summary:      OCaml interface to gtk3
RPMs:         ocaml-lablgtk3 ocaml-lablgtk3-devel ocaml-lablgtk3-goocanvas2 
ocaml-lablgtk3-goocanvas2-devel ocaml-lablgtk3-gtkspell3 
ocaml-lablgtk3-gtkspell3-devel ocaml-lablgtk3-sourceview3 
ocaml-lablgtk3-sourceview3-devel
Size:         61.25 MiB
Size change:  -4.75 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 3.1.3-8
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-labltk-8.06.13-7.fc40
Old package:  ocaml-labltk-8.06.13-6.fc40
Summary:      Tcl/Tk interface for OCaml
RPMs:         ocaml-labltk ocaml-labltk-devel ocaml-labltk-doc
Size:         44.46 MiB
Size change:  136.91 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 8.06.13-7
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-lacaml-11.0.10-5.fc40
Old package:  ocaml-lacaml-11.0.10-4.fc40
Summary:      BLAS/LAPACK-interface for OCaml
RPMs:         ocaml-lacaml ocaml-lacaml-devel
Size:         24.96 MiB
Size change:  103 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 11.0.10-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-lambda-term-3.3.2-4.fc40
Old package:  ocaml-lambda-term-3.3.2-3.fc40
Summary:      Terminal manipulation library for OCaml
RPMs:         ocaml-lambda-term ocaml-lambda-term-devel
Size:         24.69 MiB
Size change:  17.54 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 3.3.2-4
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-libvirt-0.6.1.7-6.fc40
Old package:  ocaml-libvirt-0.6.1.7-5.fc40
Summary:      OCaml binding for libvirt
RPMs:         ocaml-libvirt ocaml-libvirt-devel
Size:         1.15 MiB
Size change:  1.00 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.6.1.7-6
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-logs-0.7.0-14.fc40
Old package:  ocaml-logs-0.7.0-13.fc40
Summary:      Logging infrastructure for OCaml
RPMs:         ocaml-logs ocaml-logs-devel
Size:         1.06 MiB
Size change:  41 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.7.0-14
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-luv-0.5.12-8.fc40
Old package:  ocaml-luv-0.5.12-7.fc40
Summary:      OCaml binding to libuv for cross-platform asynchronous I/O
RPMs:         ocaml-luv ocaml-luv-devel
Size:         17.07 MiB
Size change:  5.63 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.5.12-8
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-lwt-5.7.0-4.fc40
Old package:  ocaml-lwt-5.7.0-2.fc40
Summary:      OCaml lightweight thread library
RPMs:         ocaml-lwt ocaml-lwt-devel ocaml-lwt-ppx ocaml-lwt-ppx-devel 
ocaml-lwt-react ocaml-lwt-react-devel
Size:         31.65 MiB
Size change:  -103.87 KiB
Changelog:
  * Fri Dec 01 2023 Jerry James <loganje...@gmail.com> - 5.7.0-3
  - Add patch for stricter checking in GCC 14

  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 5.7.0-4
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-markup-1.0.3-11.fc40
Old package:  ocaml-markup-1.0.3-10.fc40
Summary:      Error-recovering streaming HTML5 and XML parsers for OCaml
RPMs:         ocaml-markup ocaml-markup-devel ocaml-markup-lwt 
ocaml-markup-lwt-devel
Size:         12.10 MiB
Size change:  -730 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.0.3-11
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-mccs-1.1-45.16.fc40
Old package:  ocaml-mccs-1.1-43.16.fc40
Summary:      Multi Criteria CUDF Solver with OCaml bindings
RPMs:         ocaml-mccs ocaml-mccs-devel
Size:         847.06 KiB
Size change:  717 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.1-44.16
  - OCaml 5.1.1 rebuild for Fedora 40

  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.1-45.16
  - Bump release and rebuild


Package:      ocaml-mdx-2.3.1-3.fc40
Old package:  ocaml-mdx-2.3.1-2.fc40
Summary:      Executable code blocks inside markdown files
RPMs:         ocaml-mdx ocaml-mdx-devel
Size:         56.34 MiB
Size change:  -8.16 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 2.3.1-3
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-menhir-20230608-5.fc40
Old package:  ocaml-menhir-20230608-4.fc40
Summary:      LR(1) parser generator for OCaml
RPMs:         ocaml-menhir ocaml-menhirlib ocaml-menhirlib-devel
Size:         11.33 MiB
Size change:  8.05 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 20230608-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-merlin-4.13.1-2.fc40
Old package:  ocaml-merlin-4.13-1.fc40
Summary:      Context sensitive completion for OCaml
RPMs:         dot-merlin-reader emacs-merlin ocaml-merlin ocaml-merlin-lib 
vim-merlin
Size:         145.91 MiB
Size change:  7.20 MiB
Changelog:
  * Mon Dec 11 2023 Jerry James <loganje...@gmail.com> - 4.13.1-1
  - Version 4.13.1

  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 4.13.1-2
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-mew-0.1.0-22.fc40
Old package:  ocaml-mew-0.1.0-21.fc40
Summary:      Modal Editing Witch
RPMs:         ocaml-mew ocaml-mew-devel
Size:         812.98 KiB
Size change:  123 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.1.0-22
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-mew-vi-0.5.0-22.fc40
Old package:  ocaml-mew-vi-0.5.0-21.fc40
Summary:      Modal Editing Witch, VI interpreter
RPMs:         ocaml-mew-vi ocaml-mew-vi-devel
Size:         2.04 MiB
Size change:  262 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.5.0-22
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-mlgmpidl-1.3.0-5.fc40
Old package:  ocaml-mlgmpidl-1.3.0-4.fc40
Summary:      OCaml interface to GMP and MPFR libraries
RPMs:         ocaml-mlgmpidl ocaml-mlgmpidl-devel ocaml-mlgmpidl-doc
Size:         1.28 MiB
Size change:  679 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.3.0-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-mlmpfr-4.2.0-4.20230928git72fd3f3.fc40
Old package:  ocaml-mlmpfr-4.2.0-3.20230928git72fd3f3.fc40
Summary:      OCaml bindings for MPFR
RPMs:         ocaml-mlmpfr ocaml-mlmpfr-devel
Size:         1.20 MiB
Size change:  543 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 4.2.0-4
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-mtime-2.0.0-6.fc40
Old package:  ocaml-mtime-2.0.0-5.fc40
Summary:      Monotonic wall-clock time for OCaml
RPMs:         ocaml-mtime ocaml-mtime-devel
Size:         446.70 KiB
Size change:  -66 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 2.0.0-6
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-mysql-1.2.4-7.fc40
Old package:  ocaml-mysql-1.2.4-6.fc40
Summary:      OCaml library for accessing MySQL databases
RPMs:         ocaml-mysql ocaml-mysql-devel
Size:         652.46 KiB
Size change:  662 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.2.4-7
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-newt-0.9-77.fc40
Old package:  ocaml-newt-0.9-76.fc40
Summary:      OCaml library for using newt text mode window system
RPMs:         ocaml-newt ocaml-newt-devel
Size:         719.64 KiB
Size change:  392 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.9-77
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-num-1.4-14.fc40
Old package:  ocaml-num-1.4-13.fc40
Summary:      Legacy Num library for arbitrary-precision integer and rational 
arithmetic
RPMs:         ocaml-num ocaml-num-devel
Size:         2.11 MiB
Size change:  498 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.4-14
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-obuild-0.1.10-24.20230115git5845999.fc40
Old package:  ocaml-obuild-0.1.10-23.20230115git5845999.fc40
Summary:      Simple package build system for OCaml
RPMs:         ocaml-obuild
Size:         3.63 MiB
Size change:  -9.21 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.1.10-24
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-ocamlbuild-0.14.2-5.fc40
Old package:  ocaml-ocamlbuild-0.14.2-4.fc40
Summary:      Build tool for OCaml libraries and programs
RPMs:         ocaml-ocamlbuild ocaml-ocamlbuild-doc
Size:         15.28 MiB
Size change:  17.66 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.14.2-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-ocamlgraph-2.1.0-3.fc40
Old package:  ocaml-ocamlgraph-2.1.0-2.fc40
Summary:      OCaml library for arc and node graphs
RPMs:         ocaml-ocamlgraph ocaml-ocamlgraph-devel ocaml-ocamlgraph-gtk 
ocaml-ocamlgraph-gtk-devel ocaml-ocamlgraph-tools
Size:         54.78 MiB
Size change:  37.56 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 2.1.0-3
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-ocamlnet-4.1.9-16.fc40
Old package:  ocaml-ocamlnet-4.1.9-15.fc40
Summary:      Network protocols for OCaml
RPMs:         ocaml-ocamlnet ocaml-ocamlnet-devel ocaml-ocamlnet-nethttpd 
ocaml-ocamlnet-nethttpd-devel
Size:         71.06 MiB
Size change:  2.62 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 4.1.9-16
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-ocp-indent-1.8.2-22.fc40
Old package:  ocaml-ocp-indent-1.8.2-21.fc40
Summary:      A simple tool to indent OCaml programs
RPMs:         ocaml-ocp-indent ocaml-ocp-indent-devel
Size:         7.74 MiB
Size change:  -2.73 MiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.8.2-22
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-ocplib-endian-1.2-12.fc40
Old package:  ocaml-ocplib-endian-1.2-11.fc40
Summary:      Functions to read/write int16/32/64 from strings, bigarrays
RPMs:         ocaml-ocplib-endian ocaml-ocplib-endian-devel
Size:         1.53 MiB
Size change:  -275 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.2-12
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-ocplib-simplex-0.4.1-5.fc40
Old package:  ocaml-ocplib-simplex-0.4.1-4.fc40
Summary:      Simplex algorithm for solving systems of linear inequalities
RPMs:         ocaml-ocplib-simplex ocaml-ocplib-simplex-devel
Size:         3.49 MiB
Size change:  1.11 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.4.1-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-octavius-1.2.2-18.fc40
Old package:  ocaml-octavius-1.2.2-17.fc40
Summary:      Ocamldoc comment syntax parser
RPMs:         ocaml-octavius ocaml-octavius-devel
Size:         12.72 MiB
Size change:  -40.64 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.2.2-18
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-odoc-2.3.1-2.fc40
Old package:  ocaml-odoc-2.3.1-1.fc40
Summary:      Documentation compiler for OCaml and Reason
RPMs:         ocaml-odoc ocaml-odoc-devel ocaml-odoc-doc ocaml-odoc-parser 
ocaml-odoc-parser-devel
Size:         74.97 MiB
Size change:  34.78 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 2.3.1-2
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-omake-0.10.6-6.fc40
Old package:  ocaml-omake-0.10.6-5.fc40
Summary:      Build system with automated dependency analysis
RPMs:         ocaml-omake
Size:         11.98 MiB
Size change:  2.15 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.10.6-6
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-opam-file-format-2.1.6-7.fc40
Old package:  ocaml-opam-file-format-2.1.6-6.fc40
Summary:      Parser and printer for the opam file syntax
RPMs:         ocaml-opam-file-format ocaml-opam-file-format-devel
Size:         2.40 MiB
Size change:  -359 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 2.1.6-7
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-ounit-2.2.7-5.fc40
Old package:  ocaml-ounit-2.2.7-4.fc40
Summary:      Unit test framework for OCaml
RPMs:         ocaml-ounit ocaml-ounit-devel ocaml-ounit-lwt 
ocaml-ounit-lwt-devel
Size:         6.87 MiB
Size change:  36 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 2.2.7-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-parmap-1.2.5-8.fc40
Old package:  ocaml-parmap-1.2.5-7.fc40
Summary:      OCaml library for exploiting multicore architectures
RPMs:         ocaml-parmap ocaml-parmap-devel
Size:         1.52 MiB
Size change:  -656 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.2.5-8
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-parsexp-0.16.0-6.fc40
Old package:  ocaml-parsexp-0.16.0-5.fc40
Summary:      S-expression parsing library
RPMs:         ocaml-parsexp ocaml-parsexp-devel
Size:         4.50 MiB
Size change:  185 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.16.0-6
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-pcre-7.5.0-14.fc40
Old package:  ocaml-pcre-7.5.0-13.fc40
Summary:      Perl compatibility regular expressions (PCRE) for OCaml
RPMs:         ocaml-pcre ocaml-pcre-devel
Size:         1.79 MiB
Size change:  759 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 7.5.0-14
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-pcre2-7.5.2-3.fc40
Old package:  ocaml-pcre2-7.5.2-2.fc40
Summary:      OCaml bindings to the pcre2 library
RPMs:         ocaml-pcre2 ocaml-pcre2-devel
Size:         1.81 MiB
Size change:  825 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 7.5.2-3
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-perl4caml-0.9.5-104.fc40
Old package:  ocaml-perl4caml-0.9.5-103.fc40
Summary:      OCaml library for calling Perl libraries and code
RPMs:         ocaml-perl4caml ocaml-perl4caml-devel
Size:         1.52 MiB
Size change:  424 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.9.5-104
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-postgresql-5.0.0-5.fc40
Old package:  ocaml-postgresql-5.0.0-4.fc40
Summary:      OCaml library for accessing PostgreSQL databases
RPMs:         ocaml-postgresql ocaml-postgresql-devel
Size:         2.45 MiB
Size change:  608 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 5.0.0-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-pp-1.2.0-3.fc40
Old package:  ocaml-pp-1.2.0-2.fc40
Summary:      Pretty printing library for OCaml
RPMs:         ocaml-pp ocaml-pp-devel
Size:         661.41 KiB
Size change:  347 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.2.0-3
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-ppx-assert-0.16.0-5.fc40
Old package:  ocaml-ppx-assert-0.16.0-4.fc40
Summary:      Assert-like extension nodes that raise useful errors on failure
RPMs:         ocaml-ppx-assert ocaml-ppx-assert-devel
Size:         17.70 MiB
Size change:  -54.78 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.16.0-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-ppx-base-0.16.0-5.fc40
Old package:  ocaml-ppx-base-0.16.0-4.fc40
Summary:      Base set of OCaml ppx rewriters
RPMs:         ocaml-ppx-base ocaml-ppx-base-devel
Size:         35.05 MiB
Size change:  -27.18 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.16.0-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-ppx-cold-0.16.0-5.fc40
Old package:  ocaml-ppx-cold-0.16.0-4.fc40
Summary:      OCaml definition of [@@cold] attribute
RPMs:         ocaml-ppx-cold ocaml-ppx-cold-devel
Size:         16.01 MiB
Size change:  -7.78 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.16.0-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-ppx-compare-0.16.0-5.fc40
Old package:  ocaml-ppx-compare-0.16.0-4.fc40
Summary:      Generate comparison functions from types
RPMs:         ocaml-ppx-compare ocaml-ppx-compare-devel
Size:         1.51 MiB
Size change:  -771 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.16.0-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-ppx-custom-printf-0.16.0-5.fc40
Old package:  ocaml-ppx-custom-printf-0.16.0-4.fc40
Summary:      Printf-style format-strings for user-defined string conversion
RPMs:         ocaml-ppx-custom-printf ocaml-ppx-custom-printf-devel
Size:         18.83 MiB
Size change:  71.89 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.16.0-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-ppx-derivers-1.2.1-32.fc40
Old package:  ocaml-ppx-derivers-1.2.1-31.fc40
Summary:      Deriving plugin registry
RPMs:         ocaml-ppx-derivers ocaml-ppx-derivers-devel
Size:         163.28 KiB
Size change:  92 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.2.1-32
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-ppx-deriving-5.2.1-24.fc40
Old package:  ocaml-ppx-deriving-5.2.1-23.fc40
Summary:      Type-driven code generation for OCaml
RPMs:         ocaml-ppx-deriving ocaml-ppx-deriving-devel
Size:         22.63 MiB
Size change:  -2.42 MiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 5.2.1-24
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-ppx-deriving-yaml-0.2.1-7.fc40
Old package:  ocaml-ppx-deriving-yaml-0.2.1-6.fc40
Summary:      Derive conversion functions between OCaml types and YAML
RPMs:         ocaml-ppx-deriving-yaml ocaml-ppx-deriving-yaml-devel
Size:         1.94 MiB
Size change:  707 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.2.1-7
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-ppx-deriving-yojson-3.7.0-9.fc40
Old package:  ocaml-ppx-deriving-yojson-3.7.0-8.fc40
Summary:      JSON codec generator for OCaml
RPMs:         ocaml-ppx-deriving-yojson ocaml-ppx-deriving-yojson-devel
Size:         2.89 MiB
Size change:  -1.29 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 3.7.0-9
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-ppx-enumerate-0.16.0-5.fc40
Old package:  ocaml-ppx-enumerate-0.16.0-4.fc40
Summary:      Generate a list containing all values of a finite type
RPMs:         ocaml-ppx-enumerate ocaml-ppx-enumerate-devel
Size:         848.59 KiB
Size change:  -532 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.16.0-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-ppx-expect-0.16.0-5.fc40
Old package:  ocaml-ppx-expect-0.16.0-4.fc40
Summary:      Framework for writing tests in OCaml
RPMs:         ocaml-ppx-expect ocaml-ppx-expect-devel
Size:         21.49 MiB
Size change:  47.41 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.16.0-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-ppx-fields-conv-0.16.0-5.fc40
Old package:  ocaml-ppx-fields-conv-0.16.0-4.fc40
Summary:      Generate accessor & iteration functions for OCaml records
RPMs:         ocaml-ppx-fields-conv ocaml-ppx-fields-conv-devel
Size:         1.95 MiB
Size change:  -500 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.16.0-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-ppx-globalize-0.16.0-7.fc40
Old package:  ocaml-ppx-globalize-0.16.0-6.fc40
Summary:      Generate functions to copy local values to the global heap
RPMs:         ocaml-ppx-globalize ocaml-ppx-globalize-devel
Size:         1.72 MiB
Size change:  190 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.16.0-7
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-ppx-hash-0.16.0-5.fc40
Old package:  ocaml-ppx-hash-0.16.0-4.fc40
Summary:      Generate hash functions from type expressions and definitions
RPMs:         ocaml-ppx-hash ocaml-ppx-hash-devel
Size:         1.32 MiB
Size change:  -1.02 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.16.0-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-ppx-here-0.16.0-5.fc40
Old package:  ocaml-ppx-here-0.16.0-4.fc40
Summary:      Expands [@here] into its location
RPMs:         ocaml-ppx-here ocaml-ppx-here-devel
Size:         15.98 MiB
Size change:  805 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.16.0-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-ppx-import-1.10.0-11.fc40
Old package:  ocaml-ppx-import-1.10.0-10.fc40
Summary:      Syntax extension for importing declarations from interface files
RPMs:         ocaml-ppx-import ocaml-ppx-import-devel
Size:         15.85 MiB
Size change:  -48.03 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.10.0-11
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-ppx-inline-test-0.16.0-5.fc40
Old package:  ocaml-ppx-inline-test-0.16.0-4.fc40
Summary:      Syntax extension for writing inline tests in OCaml code
RPMs:         ocaml-ppx-inline-test ocaml-ppx-inline-test-devel
Size:         33.37 MiB
Size change:  -11.44 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.16.0-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-ppx-js-style-0.16.0-5.fc40
Old package:  ocaml-ppx-js-style-0.16.0-4.fc40
Summary:      Code style checker for Jane Street OCaml packages
RPMs:         ocaml-ppx-js-style ocaml-ppx-js-style-devel
Size:         17.43 MiB
Size change:  -11.23 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.16.0-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-ppx-let-0.16.0-5.fc40
Old package:  ocaml-ppx-let-0.16.0-4.fc40
Summary:      Monadic let-bindings for OCaml
RPMs:         ocaml-ppx-let ocaml-ppx-let-devel
Size:         17.50 MiB
Size change:  3.29 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.16.0-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-ppx-optcomp-0.16.0-5.fc40
Old package:  ocaml-ppx-optcomp-0.16.0-4.fc40
Summary:      Optional compilation for OCaml
RPMs:         ocaml-ppx-optcomp ocaml-ppx-optcomp-devel
Size:         2.08 MiB
Size change:  -837 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.16.0-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-ppx-sexp-conv-0.16.0-5.fc40
Old package:  ocaml-ppx-sexp-conv-0.16.0-4.fc40
Summary:      Generate S-expression conversion functions from type definitions
RPMs:         ocaml-ppx-sexp-conv ocaml-ppx-sexp-conv-devel
Size:         6.84 MiB
Size change:  -1.53 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.16.0-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-ppx-stable-witness-0.16.0-7.fc40
Old package:  ocaml-ppx-stable-witness-0.16.0-6.fc40
Summary:      Derive a witness that a type is intended to be stable
RPMs:         ocaml-ppx-stable-witness ocaml-ppx-stable-witness-devel
Size:         1.02 MiB
Size change:  1.15 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.16.0-7
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-ppx-variants-conv-0.16.0-5.fc40
Old package:  ocaml-ppx-variants-conv-0.16.0-4.fc40
Summary:      Generate accessor & iteration functions for OCaml variant types
RPMs:         ocaml-ppx-variants-conv ocaml-ppx-variants-conv-devel
Size:         1.23 MiB
Size change:  -1.62 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.16.0-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-ppxlib-1:0.31.0-3.fc40
Old package:  ocaml-ppxlib-1:0.31.0-2.fc40
Summary:      Base library and tools for ppx rewriters
RPMs:         ocaml-ppxlib ocaml-ppxlib-devel
Size:         96.67 MiB
Size change:  -22.67 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1:0.31.0-3
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-psmt2-frontend-0.4.0-13.fc40
Old package:  ocaml-psmt2-frontend-0.4.0-12.fc40
Summary:      Parser and typechecker for an extension of SMT-LIB 2
RPMs:         ocaml-psmt2-frontend ocaml-psmt2-frontend-devel 
ocaml-psmt2-frontend-docs
Size:         13.62 MiB
Size change:  -1.87 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.4.0-13
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-ptime-1.1.0-2.fc40
Old package:  ocaml-ptime-1.1.0-1.fc40
Summary:      POSIX time for OCaml
RPMs:         ocaml-ptime ocaml-ptime-devel
Size:         918.95 KiB
Size change:  721 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.1.0-2
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-ptmap-2.0.5-16.fc40
Old package:  ocaml-ptmap-2.0.5-15.fc40
Summary:      Maps over integers implemented as Patricia trees
RPMs:         ocaml-ptmap ocaml-ptmap-devel
Size:         690.17 KiB
Size change:  634 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 2.0.5-16
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-pyml-20231101-2.fc40
Old package:  ocaml-pyml-20231101-1.fc40
Summary:      OCaml bindings for Python
RPMs:         ocaml-pyml ocaml-pyml-devel
Size:         7.97 MiB
Size change:  2.04 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 20231101-2
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-qcheck-0.21.3-2.fc40
Old package:  ocaml-qcheck-0.21.3-1.fc40
Summary:      QuickCheck inspired property-based testing for OCaml
RPMs:         ocaml-ppx-deriving-qcheck ocaml-ppx-deriving-qcheck-devel 
ocaml-qcheck ocaml-qcheck-alcotest ocaml-qcheck-alcotest-devel 
ocaml-qcheck-core ocaml-qcheck-core-devel ocaml-qcheck-devel ocaml-qcheck-ounit 
ocaml-qcheck-ounit-devel
Size:         11.91 MiB
Size change:  2.35 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.21.3-2
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-qtest-2.11.2-17.fc40
Old package:  ocaml-qtest-2.11.2-16.fc40
Summary:      Inline (Unit) Tests for OCaml
RPMs:         ocaml-qtest ocaml-qtest-devel
Size:         1.92 MiB
Size change:  -3.83 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 2.11.2-17
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-re-1.11.0-3.fc40
Old package:  ocaml-re-1.11.0-2.fc40
Summary:      A regular expression library for OCaml
RPMs:         ocaml-re ocaml-re-devel
Size:         5.92 MiB
Size change:  658 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.11.0-3
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-react-1.2.2-5.fc40
Old package:  ocaml-react-1.2.2-4.fc40
Summary:      OCaml framework for Functional Reactive Programming (FRP)
RPMs:         ocaml-react ocaml-react-devel
Size:         2.00 MiB
Size change:  2.12 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.2.2-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-res-5.0.1-10.fc40
Old package:  ocaml-res-5.0.1-9.fc40
Summary:      OCaml library for resizing arrays and strings
RPMs:         ocaml-res ocaml-res-devel
Size:         4.56 MiB
Size change:  865 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 5.0.1-10
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-result-1.5-20.fc40
Old package:  ocaml-result-1.5-19.fc40
Summary:      Compat result type
RPMs:         ocaml-result ocaml-result-devel
Size:         139.88 KiB
Size change:  701 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.5-20
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-rresult-0.7.0-12.fc40
Old package:  ocaml-rresult-0.7.0-11.fc40
Summary:      Result value combinators for OCaml
RPMs:         ocaml-rresult ocaml-rresult-devel
Size:         382.95 KiB
Size change:  54 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.7.0-12
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-sedlex-3.2-5.fc40
Old package:  ocaml-sedlex-3.2-4.fc40
Summary:      Unicode-friendly lexer generator
RPMs:         ocaml-sedlex ocaml-sedlex-devel
Size:         21.66 MiB
Size change:  -31.08 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 3.2-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-sexplib-1:0.16.0-6.fc40
Old package:  ocaml-sexplib-1:0.16.0-4.fc40
Summary:      Automated S-expression conversion
RPMs:         ocaml-sexplib ocaml-sexplib-devel ocaml-sexplib-vim
Size:         5.17 MiB
Size change:  1.27 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1:0.16.0-5
  - OCaml 5.1.1 rebuild for Fedora 40

  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1:0.16.0-6
  - Bump release and rebuild


Package:      ocaml-sexplib0-0.16.0-5.fc40
Old package:  ocaml-sexplib0-0.16.0-4.fc40
Summary:      Definition of S-expressions and some base converters
RPMs:         ocaml-sexplib0 ocaml-sexplib0-devel
Size:         1.98 MiB
Size change:  295 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.16.0-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-sha-1.15.4-5.fc40
Old package:  ocaml-sha-1.15.4-4.fc40
Summary:      Binding to the SHA cryptographic functions
RPMs:         ocaml-sha ocaml-sha-devel
Size:         697.50 KiB
Size change:  -1.40 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.15.4-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-sqlite-5.1.0-10.fc40
Old package:  ocaml-sqlite-5.1.0-9.fc40
Summary:      OCaml library for accessing SQLite3 databases
RPMs:         ocaml-sqlite ocaml-sqlite-devel
Size:         1.08 MiB
Size change:  786 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 5.1.0-10
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-ssl-0.7.0-4.20230714gitffc634d.fc40
Old package:  ocaml-ssl-0.7.0-3.20230714gitffc634d.fc40
Summary:      SSL bindings for OCaml
RPMs:         ocaml-ssl ocaml-ssl-devel
Size:         1.10 MiB
Size change:  742 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.7.0-4
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-stdcompat-19-11.fc40
Old package:  ocaml-stdcompat-19-10.fc40
Summary:      Compatibility module for the OCaml standard library
RPMs:         ocaml-stdcompat ocaml-stdcompat-devel
Size:         7.52 MiB
Size change:  702 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 19-11
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-stdio-0.16.0-5.fc40
Old package:  ocaml-stdio-0.16.0-4.fc40
Summary:      Jane Street Standard I/O library for OCaml
RPMs:         ocaml-stdio ocaml-stdio-devel
Size:         737.97 KiB
Size change:  362 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.16.0-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-stdlib-random-1.1.0-2.fc40
Old package:  ocaml-stdlib-random-1.1.0-1.fc40
Summary:      Versioned Random module from the OCaml standard library
RPMs:         ocaml-stdlib-random ocaml-stdlib-random-devel
Size:         1.67 MiB
Size change:  1000 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.1.0-2
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-time-now-0.16.0-5.fc40
Old package:  ocaml-time-now-0.16.0-4.fc40
Summary:      Get the current time in OCaml
RPMs:         ocaml-time-now ocaml-time-now-devel
Size:         245.67 KiB
Size change:  -447 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.16.0-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-topkg-1.0.7-7.fc40
Old package:  ocaml-topkg-1.0.7-6.fc40
Summary:      The transitory OCaml software packager
RPMs:         ocaml-topkg ocaml-topkg-devel
Size:         4.18 MiB
Size change:  -477 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.0.7-7
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-trie-1.0.0-21.fc40
Old package:  ocaml-trie-1.0.0-20.fc40
Summary:      Strict impure trie tree
RPMs:         ocaml-trie ocaml-trie-devel
Size:         226.14 KiB
Size change:  777 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.0.0-21
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-tyxml-4.6.0-3.fc40
Old package:  ocaml-tyxml-4.6.0-2.fc40
Summary:      Build valid HTML and SVG documents
RPMs:         ocaml-tyxml ocaml-tyxml-devel ocaml-tyxml-jsx 
ocaml-tyxml-jsx-devel ocaml-tyxml-ppx ocaml-tyxml-ppx-devel ocaml-tyxml-syntax 
ocaml-tyxml-syntax-devel
Size:         52.24 MiB
Size change:  -12.79 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 4.6.0-3
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-uucd-15.1.0-3.fc40
Old package:  ocaml-uucd-15.1.0-2.fc40
Summary:      Unicode character database decoder for OCaml
RPMs:         ocaml-uucd ocaml-uucd-devel
Size:         1.61 MiB
Size change:  347 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 15.1.0-3
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-uucp-15.1.0-3.fc40
Old package:  ocaml-uucp-15.1.0-2.fc40
Summary:      Unicode character properties for OCaml
RPMs:         ocaml-uucp ocaml-uucp-devel
Size:         23.62 MiB
Size change:  13.63 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 15.1.0-3
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-uunf-15.1.0-3.fc40
Old package:  ocaml-uunf-15.1.0-2.fc40
Summary:      Unicode text normalization for OCaml
RPMs:         ocaml-uunf ocaml-uunf-devel
Size:         6.94 MiB
Size change:  16.28 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 15.1.0-3
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-uuseg-15.1.0-3.fc40
Old package:  ocaml-uuseg-15.1.0-2.fc40
Summary:      Unicode text segmentation for OCaml
RPMs:         ocaml-uuseg ocaml-uuseg-devel
Size:         4.39 MiB
Size change:  7.14 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 15.1.0-3
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-uutf-1.0.3-11.fc40
Old package:  ocaml-uutf-1.0.3-10.fc40
Summary:      Non-blocking streaming Unicode codec for OCaml
RPMs:         ocaml-uutf ocaml-uutf-devel
Size:         4.18 MiB
Size change:  -5.88 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.0.3-11
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-variantslib-0.16.0-5.fc40
Old package:  ocaml-variantslib-0.16.0-4.fc40
Summary:      OCaml variants as first class values
RPMs:         ocaml-variantslib ocaml-variantslib-devel
Size:         190.82 KiB
Size change:  203 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.16.0-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-version-3.6.3-2.fc40
Old package:  ocaml-version-3.6.2-2.fc40
Summary:      Manipulate, parse and generate OCaml compiler version strings
RPMs:         ocaml-version ocaml-version-devel
Size:         1.01 MiB
Size change:  2.46 KiB
Changelog:
  * Mon Dec 11 2023 Jerry James <loganje...@gmail.com> - 3.6.3-1
  - Version 3.6.3

  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 3.6.3-2
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-xml-light-2.5-6.fc40
Old package:  ocaml-xml-light-2.5-5.fc40
Summary:      Minimal XML parser and printer for OCaml
RPMs:         ocaml-xml-light ocaml-xml-light-devel
Size:         2.38 MiB
Size change:  1.55 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 2.5-6
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-xmlm-1.4.0-5.fc40
Old package:  ocaml-xmlm-1.4.0-4.fc40
Summary:      A streaming XML codec
RPMs:         ocaml-xmlm ocaml-xmlm-devel
Size:         3.59 MiB
Size change:  723 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.4.0-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-xmlrpc-light-0.6.1-76.fc40
Old package:  ocaml-xmlrpc-light-0.6.1-75.fc40
Summary:      OCaml library for writing XML-RPC clients and servers
RPMs:         ocaml-xmlrpc-light ocaml-xmlrpc-light-devel
Size:         973.02 KiB
Size change:  741 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.6.1-76
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-yaml-3.2.0-2.fc40
Old package:  ocaml-yaml-3.2.0-1.fc40
Summary:      Parse and generate YAML 1.1/1.2 files
RPMs:         ocaml-yaml ocaml-yaml-devel ocaml-yaml-sexp ocaml-yaml-sexp-devel
Size:         5.14 MiB
Size change:  -950 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 3.2.0-2
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-yojson-2.1.2-2.fc40
Old package:  ocaml-yojson-2.1.0-4.fc40
Summary:      An optimized parsing and printing library for the JSON format
RPMs:         ocaml-yojson ocaml-yojson-devel
Size:         10.86 MiB
Size change:  326.04 KiB
Changelog:
  * Mon Dec 11 2023 Jerry James <loganje...@gmail.com> - 2.1.2-1
  - Version 2.1.2

  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 2.1.2-2
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-zarith-1.13-3.fc40
Old package:  ocaml-zarith-1.13-2.fc40
Summary:      OCaml interface to GMP
RPMs:         ocaml-zarith ocaml-zarith-devel
Size:         2.04 MiB
Size change:  1.01 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.13-3
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-zed-3.2.3-3.fc40
Old package:  ocaml-zed-3.2.3-2.fc40
Summary:      Abstract engine for text editing in OCaml
RPMs:         ocaml-zed ocaml-zed-devel
Size:         5.70 MiB
Size change:  1.24 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 3.2.3-3
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-zip-1.11-12.fc40
Old package:  ocaml-zip-1.11-11.fc40
Summary:      OCaml library for reading and writing zip, jar and gzip files
RPMs:         ocaml-zip ocaml-zip-devel
Size:         1.52 MiB
Size change:  664 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.11-12
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocaml-zmq-5.2.2-2.fc40
Old package:  ocaml-zmq-5.2.2-1.fc40
Summary:      ZeroMQ bindings for OCaml
RPMs:         ocaml-zmq ocaml-zmq-devel ocaml-zmq-lwt ocaml-zmq-lwt-devel
Size:         1.85 MiB
Size change:  1.42 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 5.2.2-2
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocamlify-0.0.2-39.fc40
Old package:  ocamlify-0.0.2-38.fc40
Summary:      Include files in OCaml code
RPMs:         ocamlify
Size:         2.13 MiB
Size change:  -1.86 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.0.2-39
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      ocamlmod-0.0.9-36.fc40
Old package:  ocamlmod-0.0.9-35.fc40
Summary:      Generate OCaml modules from source files
RPMs:         ocamlmod
Size:         2.13 MiB
Size change:  2.80 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.0.9-36
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      opam-2.1.5-8.fc40
Old package:  opam-2.1.5-7.fc40
Summary:      Source-based package manager for OCaml
RPMs:         opam opam-installer
Size:         19.22 MiB
Size change:  52.01 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 2.1.5-8
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      pg-semver-0.32.1-2.fc40
Old package:  pg-semver-0.31.0-10.fc38
Summary:      A semantic version data type for PostgreSQL
RPMs:         pg-semver
Size:         133.95 KiB
Size change:  -54.04 KiB
Changelog:
  * Fri Jul 21 2023 Fedora Release Engineering <rel...@fedoraproject.org> - 
0.31.0-11
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild

  * Mon Dec 11 2023 Ondrej Sloup <osl...@redhat.com> - 0.32.1-1
  - Rebase to the latest upstream version

  * Mon Dec 11 2023 Ondrej Sloup <osl...@redhat.com> - 0.32.1-2
  - Remove macro %{?postgresql_module_requires}


Package:      planets-0.1.13-39.fc40
Old package:  planets-0.1.13-38.fc40
Summary:      A celestial simulator
RPMs:         planets
Size:         3.38 MiB
Size change:  19.11 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.1.13-39
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      plplot-5.15.0-59.fc40
Old package:  plplot-5.15.0-58.fc40
Summary:      Library of functions for making scientific plots
RPMs:         ocaml-plplot ocaml-plplot-devel plplot plplot-ada 
plplot-ada-devel plplot-data plplot-devel plplot-doc plplot-fortran-devel 
plplot-java plplot-java-devel plplot-libs plplot-lua plplot-octave plplot-pyqt 
plplot-qt plplot-qt-devel plplot-tk plplot-tk-devel plplot-wxGTK 
plplot-wxGTK-devel
Size:         37.29 MiB
Size change:  -291.95 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 5.15.0-59
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      plug-1.4.5-1.fc40
Old package:  plug-1.4.4-1.fc40
Summary:      Linux software for Fender Mustang amplifiers
RPMs:         plug
Size:         748.80 KiB
Size change:  205 B
Changelog:
  * Tue Dec 12 2023 Dan Hor??k <dan[at]danny.cz> - 1.4.5-1
  - Updated to 1.4.5 (rhbz#2253592)


Package:      postfix-2:3.8.3-2.fc40
Old package:  postfix-2:3.8.3-1.fc40
Summary:      Postfix Mail Transport Agent
RPMs:         postfix postfix-cdb postfix-ldap postfix-lmdb postfix-mysql 
postfix-pcre postfix-perl-scripts postfix-pgsql postfix-sqlite
Size:         7.09 MiB
Size change:  -4.10 KiB
Changelog:
  * Tue Dec 12 2023 Jaroslav ??karvada <jskar...@redhat.com> - 2:3.8.3-2
  - Converted license tag to SPDX


Package:      powertop-2.15-4.fc40
Old package:  powertop-2.15-3.fc39
Summary:      Power consumption monitor
RPMs:         powertop
Size:         924.96 KiB
Size change:  -1.05 KiB
Changelog:
  * Tue Dec 12 2023 Jaroslav ??karvada <jskar...@redhat.com> - 2.15-4
  - Converted license to SPDX


Package:      pptp-1.10.0-18.fc40
Old package:  pptp-1.10.0-17.fc39
Summary:      Point-to-Point Tunneling Protocol (PPTP) Client
RPMs:         pptp pptp-setup
Size:         327.27 KiB
Size change:  592 B
Changelog:
  * Tue Dec 12 2023 Jaroslav ??karvada <jskar...@redhat.com> - 1.10.0-18
  - Converted license tag to SPDX


Package:      procmail-3.24-3.fc40
Old package:  procmail-3.24-2.fc39
Summary:      Mail processing program
RPMs:         procmail
Size:         746.06 KiB
Size change:  -147 B
Changelog:
  * Tue Dec 12 2023 Jaroslav ??karvada <jskar...@redhat.com> - 3.24-3
  - Converted license tag to SPDX


Package:      prooftree-0.13-28.fc40
Old package:  prooftree-0.13-27.fc40
Summary:      Proof tree visualization for Proof General
RPMs:         prooftree
Size:         8.97 MiB
Size change:  -2.67 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.13-28
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      pylint-3.0.3-2.fc40
Old package:  pylint-3.0.3-1.fc40
Summary:      Analyzes Python code looking for bugs and signs of poor quality
RPMs:         pylint python3-pylint
Size:         1.04 MiB
Size change:  229 B
Changelog:
  * Tue Dec 12 2023 Gwyn Ciesla <gw...@protonmail.com> - 3.0.3-2
  - Fix isort pin


Package:      python-boto3-1.33.13-1.fc40
Old package:  python-boto3-1.33.11-1.fc40
Summary:      The AWS SDK for Python
RPMs:         python3-boto3
Size:         216.79 KiB
Size change:  -41 B
Changelog:
  * Tue Dec 12 2023 Gwyn Ciesla <gw...@protonmail.com> - 1.33.12-1
  - 1.33.12

  * Tue Dec 12 2023 Gwyn Ciesla <gw...@protonmail.com> - 1.33.13-1
  - 1.33.13


Package:      python-botocore-1.33.13-1.fc40
Old package:  python-botocore-1.33.11-1.fc40
Summary:      Low-level, data-driven core of boto 3
RPMs:         python3-botocore
Size:         6.86 MiB
Size change:  6.22 KiB
Changelog:
  * Tue Dec 12 2023 Gwyn Ciesla <gw...@protonmail.com> - 1.33.12-1
  - 1.33.12

  * Tue Dec 12 2023 Gwyn Ciesla <gw...@protonmail.com> - 1.33.13-1
  - 1.33.13


Package:      python-conda-index-0.3.0-2.fc40
Old package:  python-conda-index-0.3.0-1.fc40~bootstrap
Summary:      Create repodata.json for collections of conda packages
RPMs:         python3-conda-index
Size:         106.57 KiB
Size change:  20 B
Changelog:
  * Wed Dec 13 2023 Orion Poplawski <or...@nwra.com> - 0.3.0-2
  - Disable bootstrap


Package:      python-damo-2.1.1-1.fc40
Old package:  python-damo-2.1.0-1.fc40
Summary:      Data Access Monitoring Operator
RPMs:         damo
Size:         220.89 KiB
Size change:  771 B
Changelog:
  * Tue Dec 12 2023 Miroslav Such?? <msu...@redhat.com> - 2.1.0-2
  - add packit automation for pull_from_upstream

  * Tue Dec 12 2023 Michel Lind <sali...@fedoraproject.org> - 2.1.0-3
  - Use Packit only for Rawhide to keep history from diverging

  * Tue Dec 12 2023 Michel Lind <sali...@fedoraproject.org> - 2.1.0-4
  - Override commit-message, not changelog-entry

  * Tue Dec 12 2023 Packit <he...@packit.dev> - 2.1.1-1
  - Update to 2.1.1


Package:      python-fastapi-0.105.0-1.fc40
Old package:  python-fastapi-0.104.1-3.fc40
Summary:      FastAPI framework
RPMs:         python3-fastapi python3-fastapi+all
Size:         252.02 KiB
Size change:  572 B
Changelog:
  * Tue Dec 12 2023 Benjamin A. Beasley <c...@musicinmybrain.net> - 0.105.0-1
  - Update to 0.105.0 (close RHBZ#2254111)


Package:      python-google-auth-1:2.25.2-1.fc40
Old package:  python-google-auth-1:2.25.1-1.fc40
Summary:      Google Auth Python Library
RPMs:         python3-google-auth
Size:         269.99 KiB
Size change:  121 B
Changelog:
  * Sat Dec 09 2023 Fedora Release Monitoring 
<release-monitor...@fedoraproject.org> - 1:2.25.2-1
  - Update to 2.25.2 (#2253755)


Package:      python-hidapi-0.14.0-5.fc40
Old package:  python-hidapi-0.14.0-4.fc40
Summary:      Interface to the hidapi library
RPMs:         python3-hidapi
Size:         301.92 KiB
Size change:  41.76 KiB
Changelog:
  * Tue Dec 12 2023 Miro Hron??ok <mhron...@redhat.com> - 0.14.0-5
  - Backport Cython 3 support
  - Fixes: rhbz#2254042


Package:      python-ibm-cloud-sdk-core-3.18.2-1.fc40
Old package:  python-ibm-cloud-sdk-core-3.18.0-1.fc40
Summary:      Core library used by SDKs for IBM Cloud Services
RPMs:         python3-ibm-cloud-sdk-core
Size:         96.41 KiB
Size change:  56 B
Changelog:
  * Mon Dec 11 2023 Packit <he...@packit.dev> - 3.18.2-1
  - chore(release): 3.18.2 release notes (semantic-release-bot)
  - Bump version: 3.18.1 ??? 3.18.2 (semantic-release-bot)
  - fix: use retry_interval as retry backoff_max (#184) (Phil Adams)
  - Resolves rhbz#2254090


Package:      python-isort-5.13.1-1.fc40
Old package:  python-isort-5.13.0-1.fc40
Summary:      Python utility / library to sort Python imports
RPMs:         python3-isort
Size:         240.75 KiB
Size change:  -244 B
Changelog:
  * Tue Dec 12 2023 Gwyn Ciesla <gw...@protonmail.com> - 5.13.1-1
  - 5.13.1


Package:      python-landslide-1.1.8-12.fc40
Old package:  python-landslide-1.1.8-11.fc39
Summary:      Lightweight markup language-based html5 slideshow generator
RPMs:         python3-landslide
Size:         171.20 KiB
Size change:  -25 B
Changelog:
  * Tue Dec 12 2023 Michel Lind <sali...@fedoraproject.org> - 1.1.8-12
  - Explicitly BR on six


Package:      python-lsp-server-1.9.0-2.fc40
Old package:  python-lsp-server-1.9.0-1.fc40
Summary:      Python implementation of language server protocol
RPMs:         python3-lsp-server python3-lsp-server+all
Size:         192.42 KiB
Size change:  10 B
Changelog:
  * Tue Dec 12 2023 Sandro <de...@penguinpee.nl> - 1.9.0-2
  - Remove obsolete dependencies on linters


Package:      python-notebook-7.0.6-2.fc40
Old package:  python-notebook-7.0.6-1.fc40
Summary:      A web-based notebook environment for interactive computing
RPMs:         python3-notebook
Size:         3.07 MiB
Size change:  -423 B
Changelog:
  * Tue Dec 12 2023 Miro Hron??ok <m...@hroncok.cz> - 7.0.6-2
  - Obsolete python-notebook-doc < 7
  - Don't put README.md and LICENSE to a custom folder
  - Fixes: rhbz#2254087


Package:      python-probeinterface-0.2.20-1.fc40
Old package:  python-probeinterface-0.2.19-1.fc40
Summary:      Handles probe layout, geometry, and wiring to device
RPMs:         python-probeinterface-doc python3-probeinterface
Size:         1.18 MiB
Size change:  5.53 KiB
Changelog:
  * Tue Dec 12 2023 Benjamin A. Beasley <c...@musicinmybrain.net> - 0.2.20-1
  - Update to 0.2.20 (close RHBZ#2254044)


Package:      python-prompt-toolkit-3.0.41-1.fc40
Old package:  python-prompt-toolkit-3.0.38-3.fc39
Summary:      Library for building powerful interactive command line 
applications in Python
RPMs:         python3-prompt-toolkit
Size:         840.95 KiB
Size change:  1.33 KiB
Changelog:
  * Wed Nov 29 2023 Lumir Balhar <lbal...@redhat.com> - 3.0.41-1
  - Update to 3.0.41 (rhbz#2219586)


Package:      python-rich-13.7.0-3.fc40
Old package:  python-rich-13.7.0-2.fc40
Summary:      Render rich text and beautiful formatting in the terminal
RPMs:         python3-rich
Size:         581.66 KiB
Size change:  -285 B
Changelog:
  * Tue Dec 12 2023 Karolina Surma <ksu...@redhat.com> - 13.7.0-3
  - Skip tests failing with Python 3.13


Package:      python-sphinx-1:7.2.6-4.fc40
Old package:  python-sphinx-1:7.2.6-3.fc40
Summary:      Python documentation generator
RPMs:         python-sphinx-doc python3-sphinx python3-sphinx-latex
Size:         4.12 MiB
Size change:  -488 B
Changelog:
  * Tue Dec 12 2023 Karolina Surma <ksu...@redhat.com> - 1:7.2.6-4
  - Fix the tests run when building with Python 3.11.7, 3.12.1 and later


Package:      python-statsmodels-0.14.0-5.fc40
Old package:  python-statsmodels-0.14.0-4.fc40
Summary:      Statistics in Python
RPMs:         python3-statsmodels python3-statsmodels-doc
Size:         46.72 MiB
Size change:  684.65 KiB
Changelog:
  * Mon Dec 11 2023 Miro Hron??ok <mhron...@redhat.com> - 0.14.0-5
  - Add compatibility with Cython 3
  - Fixes: rhbz#2254039


Package:      python-tables-3.9.2-2.fc40
Old package:  python-tables-3.9.1-1.fc40
Summary:      HDF5 support in Python
RPMs:         python-tables-doc python3-tables
Size:         8.91 MiB
Size change:  18.19 KiB
Changelog:
  * Thu Dec 07 2023 jonathanspw <jonat...@almalinux.org> - 3.9.2-1
  - update to 3.9.2 rhbz#2251711

  * Wed Dec 13 2023 jonathanspw <jonat...@almalinux.org> - 3.9.2-2
  - fix sources


Package:      python-testtools-2.7.1-1.fc40
Old package:  python-testtools-2.6.0-2.fc40
Summary:      Extensions to the Python standard library unit testing framework
RPMs:         python-testtools-doc python3-testtools
Size:         578.22 KiB
Size change:  -1.77 KiB
Changelog:
  * Fri Nov 03 2023 Joel Capitao <jcapi...@redhat.com> - 2.7.1-1
  - Update to 2.7.1 (rhbz#2247544)


Package:      python-textual-0.45.1-1.fc40
Old package:  python-textual-0.44.1-1.fc40
Summary:      TUI (Text User Interface) framework for Python
RPMs:         python3-textual python3-textual-doc
Size:         23.55 MiB
Size change:  827 B
Changelog:
  * Tue Dec 12 2023 Jonathan Wright <jonat...@almalinux.org> - 0.45.1-1
  - Update to 0.45.1 rhbz#2254187


Package:      python-zope-testrunner-6.2-2.fc40
Old package:  python-zope-testrunner-6.2-1.fc40
Summary:      Zope testrunner script
RPMs:         python-zope-testrunner-doc python3-zope-testrunner 
python3-zope-testrunner+subunit
Size:         302.27 KiB
Size change:  69 B
Changelog:
  * Tue Dec 12 2023 Jerry James <loganje...@gmail.com> - 6.2-2
  - Add patch for python 3.13 compatibility


Package:      rpm-4.19.1-1.fc40
Old package:  rpm-4.19.0-3.fc40
Summary:      The RPM package management system
RPMs:         python3-rpm rpm rpm-apidocs rpm-build rpm-build-libs rpm-cron 
rpm-devel rpm-libs rpm-plugin-audit rpm-plugin-dbus-announce 
rpm-plugin-fapolicyd rpm-plugin-fsverity rpm-plugin-ima rpm-plugin-prioreset 
rpm-plugin-selinux rpm-plugin-syslog rpm-plugin-systemd-inhibit rpm-sign 
rpm-sign-libs
Size:         9.57 MiB
Size change:  21.70 KiB
Changelog:
  * Tue Dec 12 2023 Michal Domonkos <mdomo...@redhat.com> - 4.19.1-1
  - Update to 4.19.1 (https://rpm.org/wiki/Releases/4.19.1)


Package:      rust-cargo-config2-0.1.16-1.fc40
Old package:  rust-cargo-config2-0.1.15-1.fc40
Summary:      Load and resolve Cargo configuration
RPMs:         rust-cargo-config2+default-devel rust-cargo-config2-devel
Size:         70.87 KiB
Size change:  473 B
Changelog:
  * Tue Dec 12 2023 Fabio Valentini <decatho...@gmail.com> - 0.1.16-1
  - Update to version 0.1.16


Package:      rust-cargo-options-0.7.2-1.fc40
Old package:  rust-cargo-options-0.6.0-2.fc39
Summary:      Reusable common Cargo command line options
RPMs:         rust-cargo-options+default-devel rust-cargo-options-devel
Size:         37.53 KiB
Size change:  1009 B
Changelog:
  * Tue Dec 12 2023 Fabio Valentini <decatho...@gmail.com> - 0.7.2-1
  - Update to version 0.7.2; FixesRHBZ#2250875


Package:      rust-itertools-0.12.0-2.fc40
Old package:  rust-itertools-0.11.0-2.fc39
Summary:      Extra iterator adaptors, iterator methods, free functions, and 
macros
RPMs:         rust-itertools+default-devel rust-itertools+use_alloc-devel 
rust-itertools+use_std-devel rust-itertools-devel
Size:         160.63 KiB
Size change:  6.98 KiB
Changelog:
  * Tue Dec 12 2023 Fabio Valentini <decatho...@gmail.com> - 0.12.0-1
  - Update to version 0.12.0; Fixes RHBZ#2249677

  * Wed Dec 13 2023 Fabio Valentini <decatho...@gmail.com> - 0.12.0-2
  - Skip a test that fails on 32-bit architectures


Package:      rust-pyproject-toml-0.8.1-1.fc40
Old package:  rust-pyproject-toml-0.6.1-1.fc39
Summary:      Pyproject.toml parser in Rust
RPMs:         rust-pyproject-toml+default-devel rust-pyproject-toml-devel
Size:         21.96 KiB
Size change:  733 B
Changelog:
  * Fri Jul 21 2023 Fedora Release Engineering <rel...@fedoraproject.org> - 
0.6.1-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild

  * Tue Dec 12 2023 Fabio Valentini <decatho...@gmail.com> - 0.8.1-1
  - Update to version 0.8.1; Fixes RHBZ#2213530


Package:      rust-toml-0.8.8-1.fc40
Old package:  rust-toml-0.8.2-1.fc40
Summary:      Native Rust encoder and decoder of TOML-formatted files and 
streams
RPMs:         rust-toml+default-devel rust-toml+display-devel 
rust-toml+indexmap-devel rust-toml+parse-devel rust-toml+preserve_order-devel 
rust-toml-devel
Size:         101.36 KiB
Size change:  709 B
Changelog:
  * Tue Dec 12 2023 Fabio Valentini <decatho...@gmail.com> - 0.8.8-1
  - Update to version 0.8.8, Fixes RHBZ#2245686


Package:      rust-toml_edit-0.21.0-1.fc40
Old package:  rust-toml_edit-0.20.2-1.fc40
Summary:      Yet another format-preserving TOML parser
RPMs:         rust-toml_edit+default-devel rust-toml_edit+display-devel 
rust-toml_edit+parse-devel rust-toml_edit+perf-devel rust-toml_edit+serde-devel 
rust-toml_edit+unbounded-devel rust-toml_edit-devel
Added RPMs:   rust-toml_edit+display-devel rust-toml_edit+parse-devel
Size:         264.08 KiB
Size change:  50.67 KiB
Changelog:
  * Tue Dec 12 2023 Fabio Valentini <decatho...@gmail.com> - 0.21.0-1
  - Update to version 0.21.0; Fixes RHBZ#2245688


Package:      spyder-6.0.0~a1-11.20231010gitv6.0.0a1.fc40
Old package:  spyder-6.0.0~a1-10.20231010gitv6.0.0a1.fc40
Summary:      Scientific Python Development Environment
RPMs:         python3-spyder
Size:         7.61 MiB
Size change:  -1.34 KiB
Changelog:
  * Tue Dec 12 2023 Sandro <de...@penguinpee.nl> - 6.0.0~a1-11
  - Drop BR on `pylint` and `pylint-venv`


Package:      supermin-5.3.3-18.fc40
Old package:  supermin-5.3.3-17.fc40
Summary:      Tool for creating supermin appliances
RPMs:         supermin supermin-devel
Size:         2.79 MiB
Size change:  -4.72 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 5.3.3-18
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      swig-4.1.1-14.fc40
Old package:  swig-4.1.1-13.fc40
Summary:      Connects C/C++/Objective C to some high-level programming 
languages
RPMs:         ccache-swig swig swig-doc swig-gdb
Size:         10.84 MiB
Size change:  1.62 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 4.1.1-14
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      targetd-0.10.3-1.fc40
Old package:  targetd-0.10.2-3.fc39
Summary:      Service to make storage remotely configurable
RPMs:         targetd
Size:         101.38 KiB
Size change:  242 B
Changelog:
  * Mon Dec 11 2023 Tony Asleson <tasle...@redhat.com> - 0.10.3-1
  - New upstream release


Package:      thunderbird-115.5.2-1.fc40
Old package:  thunderbird-115.5.1-1.fc40
Summary:      Mozilla Thunderbird mail/newsgroup client
RPMs:         thunderbird thunderbird-librnp-rnp thunderbird-wayland
Size:         315.70 MiB
Size change:  271.19 KiB
Changelog:
  * Tue Dec 12 2023 Eike Rathke <er...@redhat.com> - 115.5.2-1
  - Update to 115.5.2


Package:      tk-1:8.6.13-2.fc40
Old package:  tk-1:8.6.13-1.fc40
Summary:      The graphical toolkit for the Tcl scripting language
RPMs:         tk tk-devel
Size:         10.91 MiB
Size change:  -1.24 KiB
Changelog:
  * Tue Dec 12 2023 Jaroslav ??karvada <jskar...@redhat.com> - 1:8.6.13-2
  - Converted license to SPDX


Package:      utop-2.13.1-5.fc40
Old package:  utop-2.13.1-4.fc40
Summary:      Improved toplevel for OCaml
RPMs:         emacs-utop utop utop-devel
Size:         102.79 MiB
Size change:  20.67 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 2.13.1-5
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      virt-top-1.1.1-16.fc40
Old package:  virt-top-1.1.1-15.fc40
Summary:      Utility like top(1) for displaying virtualization stats
RPMs:         virt-top
Size:         3.77 MiB
Size change:  174 B
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.1.1-16
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      vkroots-0^20231119git2ceb105-1.fc40
Old package:  vkroots-0^20230313gite554d4c-1.fc39
Summary:      A stupid simple method of making Vulkan layers, at home
RPMs:         vkroots-devel
Size:         396.89 KiB
Size change:  36.55 KiB
Changelog:
  * Tue Dec 12 2023 Franti??ek Zatloukal <fzatl...@redhat.com> - 
0^20231119git2ceb105-1
  - Rebase to 20231119


Package:      weasyprint-60.2-1.fc40
Old package:  weasyprint-60.1-1.fc40
Summary:      Utility to render HTML and CSS to PDF
RPMs:         python3-weasyprint weasyprint
Size:         637.11 KiB
Size change:  363 B
Changelog:
  * Tue Dec 12 2023 Felix Schwarz <fschw...@fedoraproject.org> - 60.2-1
  - update to 60.2


Package:      why3-1.6.0-8.fc40
Old package:  why3-1.6.0-7.fc40
Summary:      Software verification platform
RPMs:         ocaml-why3 ocaml-why3-devel why3 why3-all why3-emacs 
why3-examples why3-proofgeneral
Size:         96.06 MiB
Size change:  -5.33 MiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 1.6.0-8
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      xfce4-power-manager-4.18.3-1.fc40
Old package:  xfce4-power-manager-4.18.2-2.fc39
Summary:      Power management for the Xfce desktop environment
RPMs:         xfce4-power-manager
Size:         3.05 MiB
Size change:  115.91 KiB
Changelog:
  * Tue Dec 12 2023 Kevin Fenzi <ke...@scrye.com> - 4.18.3-1
  - Update to 4.18.3 release


Package:      xlockmore-5.74-1.fc40
Old package:  xlockmore-5.70-4.fc39
Summary:      Screen lock and screen saver
RPMs:         xlockmore xlockmore-gtk xlockmore-motif
Size:         5.14 MiB
Size change:  86.58 KiB
Changelog:
  * Tue Dec 12 2023 Adrian Reber <adr...@lisas.de> - 5.74-1
  - Updated to 5.74 (#1837169)


Package:      xorg-x11-server-1.20.14-28.fc40
Old package:  xorg-x11-server-1.20.14-27.fc40
Summary:      X.Org X11 X server
RPMs:         xorg-x11-server-Xdmx xorg-x11-server-Xephyr xorg-x11-server-Xnest 
xorg-x11-server-Xorg xorg-x11-server-Xvfb xorg-x11-server-common 
xorg-x11-server-devel xorg-x11-server-source
Size:         24.36 MiB
Size change:  13.81 KiB
Changelog:
  * Wed Dec 13 2023 Peter Hutterer <peter.hutte...@redhat.com> - 1.20.14-28
  - CVE fix for: CVE-2023-6377, CVE-2023-6478


Package:      xorg-x11-server-Xwayland-23.2.3-1.fc40
Old package:  xorg-x11-server-Xwayland-23.2.2-2.fc40
Summary:      Xwayland
RPMs:         xorg-x11-server-Xwayland xorg-x11-server-Xwayland-devel
Size:         5.19 MiB
Size change:  4.32 KiB
Changelog:
  * Wed Dec 13 2023 Peter Hutterer <peter.hutte...@redhat.com> - 23.2.3-1
  - xwayland 23.2.3 
    CVE fix for: CVE-2023-6377, CVE-2023-6478


Package:      z3-4.12.4-2.fc40
Old package:  z3-4.12.4-1.fc40
Summary:      Satisfiability Modulo Theories (SMT) solver
RPMs:         java-z3 ocaml-z3 ocaml-z3-devel python3-z3 z3 z3-devel z3-doc 
z3-libs
Size:         74.11 MiB
Size change:  5.98 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 4.12.4-2
  - OCaml 5.1.1 rebuild for Fedora 40


Package:      zenon-0.8.5-21.fc40
Old package:  zenon-0.8.5-20.fc40
Summary:      Automated theorem prover for first-order classical logic
RPMs:         zenon
Size:         5.11 MiB
Size change:  -7.00 KiB
Changelog:
  * Tue Dec 12 2023 Richard W.M. Jones <rjo...@redhat.com> - 0.8.5-21
  - OCaml 5.1.1 rebuild for Fedora 40



===== DOWNGRADED PACKAGES =====
--
_______________________________________________
devel mailing list -- devel@lists.fedoraproject.org
To unsubscribe send an email to devel-le...@lists.fedoraproject.org
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@lists.fedoraproject.org
Do not reply to spam, report it: 
https://pagure.io/fedora-infrastructure/new_issue

Reply via email to