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@gmail.com - 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@redhat.com - 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@protonmail.com - 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@fedoraproject.org - 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@redhat.com - 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@redhat.com - 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@gunduz.org - 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@gmail.com - 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@gmail.com - 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@fedoraproject.org - 0.4-66 - Depend on jline, not jline1
* Thu Sep 05 2019 Andrew Cagney cagney@fedoraproject.org - 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@gmail.com - 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@serjux.com - 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@george.computer - 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@redhat.com - 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@redhat.com - 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@gmail.com - 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@redhat.com - 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@gmail.com - 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@yahoo.com - 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@gunduz.org - 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@math.uh.edu - 2.1.0~alpha1-1 - Update to the current alpha. - Drop several upstreamed patches.
* Wed Sep 04 2019 Jason L Tibbitts III tibbs@math.uh.edu - 2.1.0~rc0-1 - Update to rc0. - Drop tests which are known to fail.
* Fri Sep 06 2019 Jason L Tibbitts III tibbs@math.uh.edu - 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@redhat.com - 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@fedoraproject.org - 0.06-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
* Mon Aug 19 2019 Miro Hron��ok mhroncok@redhat.com - 0.06-7 - Rebuilt for Python 3.8
* Fri Sep 06 2019 mulhenr amulhern@redhat.com - 0.07-1 - New version: 0.07
* Fri Sep 06 2019 mulhern amulhern@redhat.com - 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@fedoraproject.org 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@smart.ms - 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@gmail.com - 1.3.5-3 - Allow building on RHEL/CentOS 7.
* Fri Sep 06 2019 Simone Caronni negativo17@gmail.com - 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@fedoraproject.org - 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@fedoraproject.org - 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@fedoraproject.org - 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@fedoraproject.org - 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@fedoraproject.org - 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@redhat.com 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@serjux.com - 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@gmail.com - 2.41-5 - Rebuild for ocaml-zarith 1.9
* Fri Aug 02 2019 Jerry James loganjerry@gmail.com - 2.41-4 - Rebuild for frama-c 19.0
* Sat Jul 27 2019 Fedora Release Engineering releng@fedoraproject.org - 2.41-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
* Wed Jun 05 2019 Jerry James loganjerry@gmail.com - 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@fedoraproject.org - 2.41-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
* Sat Jan 26 2019 Jerry James loganjerry@gmail.com - 2.41-1 - New upstream release - All patches have been upstreamed; drop them all
* Sat Jul 14 2018 Fedora Release Engineering releng@fedoraproject.org - 2.40-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Mon Feb 12 2018 Jerry James loganjerry@gmail.com - 2.40-1 - New upstream release - Add -num patch to fix incomplete num to zarith conversion
* Fri Feb 09 2018 Fedora Release Engineering releng@fedoraproject.org - 2.39-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
* Thu Jan 18 2018 Igor Gnatenko ignatenkobrain@fedoraproject.org - 2.39-4 - Remove obsolete scriptlets
* Sat Dec 09 2017 Jerry James loganjerry@gmail.com - 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@redhat.com - 2.39-3 - OCaml 4.06.0 rebuild.
* Sat Oct 07 2017 Jerry James loganjerry@gmail.com - 2.39-2 - Rebuild for why3 0.88.0
* Thu Sep 07 2017 Jerry James loganjerry@gmail.com - 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@gmail.com - 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@gmail.com - 0.8.4-6 - OCaml 4.08.1 (final) rebuild.
===== DOWNGRADED PACKAGES =====