Fedora rawhide compose report: 20190907.n.0 changes

[Fedora Rawhide Report]

OLD: Fedora-Rawhide-20190906.n.2
NEW: Fedora-Rawhide-20190907.n.0

===== SUMMARY =====
Added images:        0
Dropped images:      0
Added packages:      2
Dropped packages:    1
Upgraded packages:   38
Downgraded packages: 0

Size of added packages:      326.92 KiB
Size of dropped packages:    185.05 KiB
Size of upgraded packages:   2.44 GiB
Size of downgraded packages: 0 B

Size change of upgraded packages:   1.11 MiB
Size change of downgraded packages: 0 B

===== ADDED IMAGES =====

===== DROPPED IMAGES =====

===== ADDED PACKAGES =====
Package: libeconf-0.3.0-1.fc32
Summary: Enhanced config file parser library
RPMs:    libeconf libeconf-devel
Size:    258.98 KiB

Package: python-webscrapbook-0.6.2-1.fc32
Summary: A backend toolkit for management of WebScrapBook collection
RPMs:    python3-webscrapbook
Size:    67.94 KiB


===== DROPPED PACKAGES =====
Package: ovirt-engine-cli-3.6.9.2-8.fc31
Summary: oVirt Engine Command Line Interface
RPMs:    ovirt-engine-cli
Size:    185.05 KiB


===== UPGRADED PACKAGES =====
Package:      CharLS-2.0.0-1.fc32
Old package:  CharLS-1.0-19.fc31
Summary:      An optimized implementation of the JPEG-LS standard
RPMs:         CharLS CharLS-devel
Size:         793.33 KiB
Size change:  173.96 KiB
Changelog:
  * Sun Jul 28 2019 Ankur Sinha <ankursinha AT fedoraproject DOT org> - 2.0.0-1
  - Update to version 2.0.0
  - Remove unneded patches
  - Note: soname changes here


Package:      Singular-4.1.1p3-7.fc32
Old package:  Singular-4.1.1p3-6.fc32
Summary:      Computer Algebra System for polynomial computations
RPMs:         Singular Singular-devel Singular-doc Singular-emacs Singular-libpolys
Singular-libpolys-devel Singular-libs Singular-polymake Singular-surfex factory
factory-devel factory-gftables
Size:         108.88 MiB
Size change:  -2.85 MiB
Changelog:
  * Fri Sep 06 2019 pcpa <paulo.cesar.pereira.de.andrade(a)gmail.com&gt; - 4.1.1p3-7
  - Disable the python interface (#1741426)


Package:      amtk-5.0.1-1.fc32
Old package:  amtk-5.0.0-4.fc31
Summary:      Actions, Menus and Toolbars Kit for GTK+ applications
RPMs:         amtk amtk-devel amtk-tests
Size:         762.09 KiB
Size change:  6.70 KiB
Changelog:
  * Fri Sep 06 2019 Kalev Lember <klember(a)redhat.com&gt; - 5.0.1-1
  - Update to 5.0.1


Package:      barrage-1.0.5-1.fc32
Old package:  barrage-1.0.4-17.fc31
Summary:      Kill and destroy as many targets as possible within 3 minutes
RPMs:         barrage
Size:         1.46 MiB
Size change:  -324 B
Changelog:
  * Fri Sep 06 2019 Gwyn Ciesla <gwync(a)protonmail.com&gt; - 1.0.5-1
  - 1.0.5


Package:      buildah-1.12.0-0.9.dev.gitf54c965.fc32
Old package:  buildah-1.12.0-0.8.dev.git3f6ad0f.fc32
Summary:      A command line tool used for creating OCI Images
RPMs:         buildah
Size:         36.84 MiB
Size change:  -20.56 KiB
Changelog:
  * Fri Sep 06 2019 Lokesh Mandvekar (Bot) <lsm5+bot(a)fedoraproject.org&gt; -
1.12.0-0.9.dev.gitf54c965
  - autobuilt f54c965


Package:      clevis-11-7.fc32
Old package:  clevis-11-6.fc31
Summary:      Automated decryption framework
RPMs:         clevis clevis-dracut clevis-luks clevis-systemd clevis-udisks2
Size:         531.99 KiB
Size change:  -3.19 KiB
Changelog:
  * Fri Sep 06 2019 Javier Martinez Canillas <javierm(a)redhat.com&gt; - 11-7
  - Add support for tpm2-tools 4.0


Package:      cryptsetup-2.2.1-1.fc32
Old package:  cryptsetup-2.2.0-1.fc32
Summary:      A utility for setting up encrypted disks
RPMs:         cryptsetup cryptsetup-devel cryptsetup-libs cryptsetup-reencrypt
integritysetup veritysetup
Size:         4.27 MiB
Size change:  34.22 KiB
Changelog:
  * Fri Sep 06 2019 Ondrej Kozina <okozina(a)redhat.com&gt; - 2.2.1-1
  - Update to cryptsetup 2.2.1.


Package:      dcmtk-3.6.4-4.fc32
Old package:  dcmtk-3.6.4-2.fc31
Summary:      Offis DICOM Toolkit (DCMTK)
RPMs:         dcmtk dcmtk-devel
Size:         49.80 MiB
Size change:  13.00 KiB
Changelog:
  * Fri Sep 06 2019 Devrim G��nd��z <devrim(a)gunduz.org&gt; - 3.6.4-3
  - Rebuild for new CharLS

  * Fri Sep 06 2019 Ankur Sinha <ankursinha AT fedoraproject DOT org> - 3.6.4-4
  - Update to use CharLS v2


Package:      flocq-3.2.0-2.fc32
Old package:  flocq-3.2.0-1.fc31
Summary:      Formalization of floating point numbers for Coq
RPMs:         flocq flocq-source
Size:         25.31 MiB
Size change:  -47.06 KiB
Changelog:
  * Fri Sep 06 2019 Jerry James <loganjerry(a)gmail.com&gt; - 3.2.0-2
  - OCaml 4.08.1 (final) rebuild.


Package:      frama-c-19.0-3.fc32
Old package:  frama-c-19.0-2.fc31
Summary:      Framework for source code analysis of C software
RPMs:         frama-c frama-c-doc frama-c-emacs frama-c-xemacs
Size:         248.30 MiB
Size change:  235.82 KiB
Changelog:
  * Fri Sep 06 2019 Jerry James <loganjerry(a)gmail.com&gt; - 19.0-3
  - Unbundle flamegraph
  - Install bash completions in the right place


Package:      frysk-0.4-67.fc32
Old package:  frysk-0.4-65.fc31
Summary:      Execution analysis and debugging tool-suite
RPMs:         frysk
Size:         1.86 MiB
Size change:  -453 B
Changelog:
  * Thu Sep 05 2019 Andrew Cagney <cagney(a)fedoraproject.org&gt; - 0.4-66
  - Depend on jline, not jline1

  * Thu Sep 05 2019 Andrew Cagney <cagney(a)fedoraproject.org&gt; - 0.4-67
  - Updates for jline(2)
  - Pacify GCC - fix some indentation
  - Default to no 32-bit tests (drop config's --disable-arch32-tests)


Package:      gappalib-coq-1.4.2-2.fc32
Old package:  gappalib-coq-1.4.2-1.fc31
Summary:      Coq support library for gappa
RPMs:         gappalib-coq gappalib-coq-source
Size:         3.62 MiB
Size change:  -1.41 KiB
Changelog:
  * Fri Sep 06 2019 Jerry James <loganjerry(a)gmail.com&gt; - 1.4.2-2
  - OCaml 4.08.1 (final) rebuild.


Package:      git-extras-5.0.0-1.fc32
Old package:  git-extras-4.7.0-2.fc31
Summary:      Little git extras
RPMs:         git-extras
Size:         180.89 KiB
Size change:  1.90 KiB
Changelog:
  * Fri Sep 06 2019 S��rgio Basto <sergio(a)serjux.com&gt; - 5.0.0-1
  - Update to 5.0.0 (#1742787)


Package:      golang-github-mholt-certmagic-0.6.2-1.fc32
Old package:  golang-github-mholt-certmagic-0.5.1-2.fc31
Summary:      Automatic HTTPS for any Go program
RPMs:         golang-github-mholt-certmagic-devel
Size:         62.53 KiB
Size change:  1.37 KiB
Changelog:
  * Mon Aug 26 2019 Carl George <carl(a)george.computer&gt; - 0.6.2-1
  - Latest upstream


Package:      gspell-1.8.2-1.fc32
Old package:  gspell-1.8.1-4.fc31
Summary:      Spell-checking library for GTK+
RPMs:         gspell gspell-devel gspell-doc
Size:         841.08 KiB
Size change:  11.07 KiB
Changelog:
  * Fri Sep 06 2019 Kalev Lember <klember(a)redhat.com&gt; - 1.8.2-1
  - Update to 1.8.2


Package:      igt-gpu-tools-1.24-1.20190906git3fb0f22.fc32
Old package:  igt-gpu-tools-1.24-1.20190830gite62ea30.fc32
Summary:      Test suite and tools for DRM drivers
RPMs:         igt-gpu-tools igt-gpu-tools-docs
Size:         12.36 MiB
Size change:  18.83 KiB
Changelog:
  * Fri Sep 06 2019 Lyude Paul <lyude(a)redhat.com&gt; - 1.24-1.20190906git3fb0f22
  - New git snapshot


Package:      kio-gdrive-1.2.7-1.fc32
Old package:  kio-gdrive-1.2.6-3.fc31
Summary:      An Google Drive KIO slave for KDE
RPMs:         kio-gdrive
Size:         494.18 KiB
Size change:  -637 B
Changelog:
  * Fri Sep 06 2019 Vasiliy N. Glazov <vascom2(a)gmail.com&gt; - 1.2.7-1
  - Update to 1.2.7


Package:      libreoffice-1:6.3.1.2-1.fc32
Old package:  libreoffice-1:6.3.0.4-6.fc32
Summary:      Free Software Productivity Suite
RPMs:         autocorr-af autocorr-bg autocorr-ca autocorr-cs autocorr-da autocorr-de
autocorr-dsb autocorr-el autocorr-en autocorr-es autocorr-fa autocorr-fi autocorr-fr
autocorr-ga autocorr-hr autocorr-hsb autocorr-hu autocorr-is autocorr-it autocorr-ja
autocorr-ko autocorr-lb autocorr-lt autocorr-mn autocorr-nl autocorr-pl autocorr-pt
autocorr-ro autocorr-ru autocorr-sk autocorr-sl autocorr-sr autocorr-sv autocorr-tr
autocorr-vi autocorr-zh libreoffice libreoffice-base libreoffice-bsh libreoffice-calc
libreoffice-core libreoffice-data libreoffice-draw libreoffice-emailmerge
libreoffice-filters libreoffice-gdb-debug-support libreoffice-glade
libreoffice-graphicfilter libreoffice-gtk3 libreoffice-help-ar libreoffice-help-bg
libreoffice-help-bn libreoffice-help-ca libreoffice-help-cs libreoffice-help-da
libreoffice-help-de libreoffice-help-dz libreoffice-help-el libreoffice-help-en
libreoffice-help-eo libreoffice-help-es libreoffice-help-et libreoffice-help-eu
libreoffice-help-fi libreoffice-help-fr libreoffice-help-gl libreoffice-help-gu
libreoffice-help-he libreoffice-help-hi libreoffice-help-hr libreoffice-help-hu
libreoffice-help-id libreoffice-help-it libreoffice-help-ja libreoffice-help-ko
libreoffice-help-lt libreoffice-help-lv libreoffice-help-nb libreoffice-help-nl
libreoffice-help-nn libreoffice-help-pl libreoffice-help-pt-BR libreoffice-help-pt-PT
libreoffice-help-ro libreoffice-help-ru libreoffice-help-si libreoffice-help-sk
libreoffice-help-sl libreoffice-help-sv libreoffice-help-ta libreoffice-help-tr
libreoffice-help-uk libreoffice-help-zh-Hans libreoffice-help-zh-Hant libreoffice-impress
libreoffice-kde5 libreoffice-kf5 libreoffice-langpack-af libreoffice-langpack-ar
libreoffice-langpack-as libreoffice-langpack-bg libreoffice-langpack-bn
libreoffice-langpack-br libreoffice-langpack-ca libreoffice-langpack-cs
libreoffice-langpack-cy libreoffice-langpack-da libreoffice-langpack-de
libreoffice-langpack-dz libreoffice-langpack-el libreoffice-langpack-en
libreoffice-langpack-eo libreoffice-langpack-es libreoffice-langpack-et
libreoffice-langpack-eu libreoffice-langpack-fa libreoffice-langpack-fi
libreoffice-langpack-fr libreoffice-langpack-ga libreoffice-langpack-gl
libreoffice-langpack-gu libreoffice-langpack-he libreoffice-langpack-hi
libreoffice-langpack-hr libreoffice-langpack-hu libreoffice-langpack-id
libreoffice-langpack-it libreoffice-langpack-ja libreoffice-langpack-kk
libreoffice-langpack-kn libreoffice-langpack-ko libreoffice-langpack-lt
libreoffice-langpack-lv libreoffice-langpack-mai libreoffice-langpack-ml
libreoffice-langpack-mr libreoffice-langpack-nb libreoffice-langpack-nl
libreoffice-langpack-nn libreoffice-langpack-nr libreoffice-langpack-nso
libreoffice-langpack-or libreoffice-langpack-pa libreoffice-langpack-pl
libreoffice-langpack-pt-BR libreoffice-langpack-pt-PT libreoffice-langpack-ro
libreoffice-langpack-ru libreoffice-langpack-si libreoffice-langpack-sk
libreoffice-langpack-sl libreoffice-langpack-sr libreoffice-langpack-ss
libreoffice-langpack-st libreoffice-langpack-sv libreoffice-langpack-ta
libreoffice-langpack-te libreoffice-langpack-th libreoffice-langpack-tn
libreoffice-langpack-tr libreoffice-langpack-ts libreoffice-langpack-uk
libreoffice-langpack-ve libreoffice-langpack-xh libreoffice-langpack-zh-Hans
libreoffice-langpack-zh-Hant libreoffice-langpack-zu libreoffice-librelogo
libreoffice-math libreoffice-nlpsolver libreoffice-officebean
libreoffice-officebean-common libreoffice-ogltrans libreoffice-opensymbol-fonts
libreoffice-pdfimport libreoffice-postgresql libreoffice-pyuno libreoffice-rhino
libreoffice-sdk libreoffice-sdk-doc libreoffice-ure libreoffice-ure-common
libreoffice-wiki-publisher libreoffice-writer libreoffice-x11 libreoffice-xsltfilter
libreofficekit libreofficekit-devel
Size:         1.58 GiB
Size change:  1.42 MiB
Changelog:
  * Thu Sep 05 2019 Caol��n McNamara <caolanm(a)redhat.com&gt; - 1:6.3.1.2-1
  - latest stable release


Package:      lsp-plugins-1.1.10-2.fc32
Old package:  lsp-plugins-1.1.10-2.fc31
Summary:      Linux Studio Plugins
RPMs:         lsp-plugins lsp-plugins-doc lsp-plugins-jack lsp-plugins-ladspa
lsp-plugins-lv2 lsp-plugins-vst
Size:         29.10 MiB
Size change:  -16.84 KiB

Package:      minuet-19.08.1-1.fc32
Old package:  minuet-19.04.1-3.fc31
Summary:      A KDE Software for Music Education
RPMs:         minuet minuet-data minuet-devel
Size:         32.20 MiB
Size change:  -111.35 KiB
Changelog:
  * Fri Sep 06 2019 Vasiliy N. Glazov <vascom2(a)gmail.com&gt; - 19.08.1-1
  - Update to 19.08.1


Package:      openmpi-4.0.2-0.3.rc1.fc32
Old package:  openmpi-4.0.2-0.2.rc1.fc32
Summary:      Open Message Passing Interface
RPMs:         openmpi openmpi-devel openmpi-java openmpi-java-devel python2-openmpi
python3-openmpi
Size:         22.53 MiB
Size change:  43.25 KiB
Changelog:
  * Fri Sep 06 2019 Philip Kovacs <pkdevel(a)yahoo.com&gt; - 4.0.2-0.3.rc1
  - Rebuild for annobin update to correct aarch64 build (bug #1748529)


Package:      phpPgAdmin-5.6-11.fc32
Old package:  phpPgAdmin-5.1-11.fc31
Summary:      Web-based PostgreSQL administration
RPMs:         phpPgAdmin
Size:         612.38 KiB
Size change:  8.87 KiB
Changelog:
  * Fri Sep 06 2019 Devrim G��nd��z <devrim(a)gunduz.org&gt; - 5.6-1
  - Update to 5.6
  - Fix a few rpmlint warnings
  - Update URLs
  - Use more macros


Package:      prusa-slicer-2.1.0~rc0-2.fc32
Old package:  prusa-slicer-2.0.0-4.fc31
Summary:      3D printing slicer optimized for Prusa printers
RPMs:         prusa-slicer
Size:         21.20 MiB
Size change:  -3.03 MiB
Changelog:
  * Tue Aug 13 2019 Jason L Tibbitts III <tibbs(a)math.uh.edu&gt; - 2.1.0~alpha1-1
  - Update to the current alpha.
  - Drop several upstreamed patches.

  * Wed Sep 04 2019 Jason L Tibbitts III <tibbs(a)math.uh.edu&gt; - 2.1.0~rc0-1
  - Update to rc0.
  - Drop tests which are known to fail.

  * Fri Sep 06 2019 Jason L Tibbitts III <tibbs(a)math.uh.edu&gt; - 2.1.0~rc0-2
  - Temporarily disable build on s390x because of a new bug in the code upstream:
    https://github.com/prusa3d/PrusaSlicer/issues/2879


Package:      python-dbus-python-client-gen-0.7-6.fc32
Old package:  python-dbus-python-client-gen-0.7-5.fc31
Summary:      Python Library for Generating dbus-python Client Code
RPMs:         python3-dbus-python-client-gen
Size:         27.07 KiB
Size change:  147 B
Changelog:
  * Mon Aug 19 2019 Miro Hron��ok <mhroncok(a)redhat.com&gt; - 0.7-6
  - Rebuilt for Python 3.8


Package:      python-into-dbus-python-0.07-2.fc32
Old package:  python-into-dbus-python-0.06-5.fc30
Summary:      Transformer to dbus-python types
RPMs:         python3-into-dbus-python
Size:         27.23 KiB
Size change:  448 B
Changelog:
  * Fri Jul 26 2019 Fedora Release Engineering <releng(a)fedoraproject.org&gt; - 0.06-6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild

  * Mon Aug 19 2019 Miro Hron��ok <mhroncok(a)redhat.com&gt; - 0.06-7
  - Rebuilt for Python 3.8

  * Fri Sep 06 2019 mulhenr <amulhern(a)redhat.com&gt; - 0.07-1
  - New version: 0.07

  * Fri Sep 06 2019 mulhern <amulhern(a)redhat.com&gt; - 0.07-2
  - Use tracing profile for tests


Package:      python-more-executors-2.3.0-1.fc32
Old package:  python-more-executors-2.2.0-1.fc32
Summary:      A library of composable Python executors and futures
RPMs:         python3-more-executors
Size:         78.82 KiB
Size change:  3.25 KiB
Changelog:
  * Sat Sep 07 2019 Rohan McGovern <rohanpm(a)fedoraproject.org&gt; 2.3.0-1
  - Update to 2.3.0


Package:      python-pyvmomi-6.7.3-1.fc32
Old package:  python-pyvmomi-6.7.1-6.fc32
Summary:      vSphere Python SDK
RPMs:         python3-pyvmomi
Size:         408.00 KiB
Size change:  14.23 KiB
Changelog:
  * Fri Sep 06 2019 Raphael Groner <projects.rg(a)smart.ms&gt; - 6.7.3-1
  - new version


Package:      remmina-1.3.6-1.fc32
Old package:  remmina-1.3.5-2.fc32
Summary:      Remote Desktop Client
RPMs:         remmina remmina-devel remmina-gnome-session remmina-plugins-exec
remmina-plugins-kwallet remmina-plugins-nx remmina-plugins-rdp remmina-plugins-secret
remmina-plugins-spice remmina-plugins-st remmina-plugins-vnc remmina-plugins-www
remmina-plugins-xdmcp
Size:         4.45 MiB
Size change:  329.41 KiB
Changelog:
  * Fri Sep 06 2019 Simone Caronni <negativo17(a)gmail.com&gt; - 1.3.5-3
  - Allow building on RHEL/CentOS 7.

  * Fri Sep 06 2019 Simone Caronni <negativo17(a)gmail.com&gt; - 1.3.6-1
  - Update to 1.3.6.


Package:      reuse-0.5.0-1.fc32
Old package:  reuse-0.3.4-3.fc32
Summary:      A tool for compliance with the REUSE recommendations
RPMs:         reuse
Size:         4.78 MiB
Size change:  4.72 MiB
Changelog:
  * Fri Sep 06 2019 Carmen Bianca Bakker <carmenbianca(a)fedoraproject.org&gt; - 0.5.0-1
  - New upstream version.
  - Now compatible with REUSE v3.0.
  - Added Sphinx-generated documentation.
  - Now also contains code under ASL 2.0.


Package:      rust-devicemapper-0.28.0-1.fc32
Old package:  rust-devicemapper-0.27.0-3.fc31
Summary:      Library for using Linux device mapper
RPMs:         rust-devicemapper+default-devel rust-devicemapper-devel
Size:         68.89 KiB
Size change:  784 B
Changelog:
  * Fri Sep 06 2019 Igor Gnatenko <ignatenkobrain(a)fedoraproject.org&gt; - 0.28.0-1
  - Update to 0.28.0


Package:      rust-libudev-0.2.0-8.fc32
Old package:  rust-libudev-0.2.0-7.fc31
Summary:      Rust wrapper for libudev
RPMs:         rust-libudev+default-devel rust-libudev-devel
Size:         26.15 KiB
Size change:  346 B
Changelog:
  * Fri Sep 06 2019 Igor Gnatenko <ignatenkobrain(a)fedoraproject.org&gt; - 0.2.0-8
  - Regenerate


Package:      rust-once_cell-1.1.0-1.fc32
Old package:  rust-once_cell-1.0.2-1.fc32
Summary:      Single assignment cells and lazy static values without macros
RPMs:         rust-once_cell+default-devel rust-once_cell+parking_lot-devel
rust-once_cell+std-devel rust-once_cell-devel
Added RPMs:   rust-once_cell+std-devel
Dropped RPMs: rust-once_cell+lock_api-devel
Size:         53.63 KiB
Size change:  652 B
Changelog:
  * Fri Sep 06 2019 Igor Gnatenko <ignatenkobrain(a)fedoraproject.org&gt; - 1.1.0-1
  - Update to 1.1.0


Package:      stratisd-1.0.5-1.fc32
Old package:  stratisd-1.0.4-3.fc31
Summary:      Daemon that manages block devices to create filesystems
RPMs:         stratisd
Size:         7.51 MiB
Size change:  153.12 KiB
Changelog:
  * Fri Sep 06 2019 Igor Gnatenko <ignatenkobrain(a)fedoraproject.org&gt; - 1.0.5-1
  - Update to 1.0.5


Package:      tpm2-tools-4.0-0.4.rc2.fc32
Old package:  tpm2-tools-4.0-0.3.rc2.fc32
Summary:      A TPM2.0 testing tool build upon TPM2.0-TSS
RPMs:         tpm2-tools
Size:         3.99 MiB
Size change:  82 B
Changelog:
  * Fri Sep 06 2019 Javier Martinez Canillas <javierm(a)redhat.com&gt; 4.0-0.4-rc2
  - Use a release tarball instead of a source code tarball


Package:      virtualbox-guest-additions-6.0.12-1.fc32
Old package:  virtualbox-guest-additions-6.0.10-2.fc31
Summary:      VirtualBox Guest Additions
RPMs:         virtualbox-guest-additions virtualbox-guest-additions-ogl
Size:         2.26 MiB
Size change:  -7.94 KiB
Changelog:
  * Fri Sep 06 2019 S��rgio Basto <sergio(a)serjux.com&gt; - 6.0.12-1
  - Update Virtualbox Guest Additions to 6.0.12


Package:      why-2.41-5.fc32
Old package:  why-2.41-4.fc31
Summary:      Software verification platform
RPMs:         why why-all why-jessie why-pvs-support
Size:         32.64 MiB
Size change:  -1.36 KiB
Changelog:
  * Fri Sep 06 2019 Jerry James <loganjerry(a)gmail.com&gt; - 2.41-5
  - Rebuild for ocaml-zarith 1.9

  * Fri Aug 02 2019 Jerry James <loganjerry(a)gmail.com&gt; - 2.41-4
  - Rebuild for frama-c 19.0

  * Sat Jul 27 2019 Fedora Release Engineering <releng(a)fedoraproject.org&gt; - 2.41-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild

  * Wed Jun 05 2019 Jerry James <loganjerry(a)gmail.com&gt; - 2.41-3
  - Rebuild for coq 8.9.1, why3 1.2.0, and frama-c 18.0

  * Sun Feb 03 2019 Fedora Release Engineering <releng(a)fedoraproject.org&gt; - 2.41-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild

  * Sat Jan 26 2019 Jerry James <loganjerry(a)gmail.com&gt; - 2.41-1
  - New upstream release
  - All patches have been upstreamed; drop them all

  * Sat Jul 14 2018 Fedora Release Engineering <releng(a)fedoraproject.org&gt; - 2.40-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild

  * Mon Feb 12 2018 Jerry James <loganjerry(a)gmail.com&gt; - 2.40-1
  - New upstream release
  - Add -num patch to fix incomplete num to zarith conversion

  * Fri Feb 09 2018 Fedora Release Engineering <releng(a)fedoraproject.org&gt; - 2.39-5
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild

  * Thu Jan 18 2018 Igor Gnatenko <ignatenkobrain(a)fedoraproject.org&gt; - 2.39-4
  - Remove obsolete scriptlets

  * Sat Dec 09 2017 Jerry James <loganjerry(a)gmail.com&gt; - 2.39-3
  - Bring back the -project patch, still needed (bz 1520483)
  - Add the -safe-string patch for building with ocaml 4.06.0
  - Build the Jessie plugin with -runtime-variant _pic

  * Sat Dec 02 2017 Richard W.M. Jones <rjones(a)redhat.com&gt; - 2.39-3
  - OCaml 4.06.0 rebuild.

  * Sat Oct 07 2017 Jerry James <loganjerry(a)gmail.com&gt; - 2.39-2
  - Rebuild for why3 0.88.0

  * Thu Sep 07 2017 Jerry James <loganjerry(a)gmail.com&gt; - 2.39-1
  - New upstream release


Package:      why3-1.2.0-5.fc32
Old package:  why3-1.2.0-4.fc31
Summary:      Software verification platform
RPMs:         ocaml-why3 ocaml-why3-devel why3 why3-all why3-emacs why3-examples
why3-xemacs
Size:         214.20 MiB
Size change:  45.34 KiB
Changelog:
  * Fri Sep 06 2019 Jerry James <loganjerry(a)gmail.com&gt; - 1.2.0-5
  - Rebuild for ocaml-zarith 1.9


Package:      zenon-0.8.4-6.fc32
Old package:  zenon-0.8.4-5.fc31
Summary:      Automated theorem prover for first-order classical logic
RPMs:         zenon
Size:         7.35 MiB
Size change:  -11.37 KiB
Changelog:
  * Fri Sep 06 2019 Jerry James <loganjerry(a)gmail.com&gt; - 0.8.4-6
  - OCaml 4.08.1 (final) rebuild.



===== DOWNGRADED PACKAGES =====