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.andr...@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 <klem...@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 <gw...@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+...@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 <javi...@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 <okoz...@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 <dev...@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 <loganje...@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 <loganje...@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 <cag...@fedoraproject.org> - 0.4-66
- Depend on jline, not jline1
* Thu Sep 05 2019 Andrew Cagney <cag...@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 <loganje...@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 <ser...@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 <klem...@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 <ly...@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 <vasc...@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 <caol...@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 <vasc...@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 <pkde...@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 <dev...@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 <ti...@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 <ti...@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 <ti...@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 <mhron...@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 <rel...@fedoraproject.org> -
0.06-6
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
* Mon Aug 19 2019 Miro Hron??ok <mhron...@redhat.com> - 0.06-7
- Rebuilt for Python 3.8
* Fri Sep 06 2019 mulhenr <amulh...@redhat.com> - 0.07-1
- New version: 0.07
* Fri Sep 06 2019 mulhern <amulh...@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 <roha...@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...@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 <negativ...@gmail.com> - 1.3.5-3
- Allow building on RHEL/CentOS 7.
* Fri Sep 06 2019 Simone Caronni <negativ...@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 <carmenbia...@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 <ignatenkobr...@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 <ignatenkobr...@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 <ignatenkobr...@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 <ignatenkobr...@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 <javi...@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 <ser...@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 <loganje...@gmail.com> - 2.41-5
- Rebuild for ocaml-zarith 1.9
* Fri Aug 02 2019 Jerry James <loganje...@gmail.com> - 2.41-4
- Rebuild for frama-c 19.0
* Sat Jul 27 2019 Fedora Release Engineering <rel...@fedoraproject.org> -
2.41-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
* Wed Jun 05 2019 Jerry James <loganje...@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 <rel...@fedoraproject.org> -
2.41-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
* Sat Jan 26 2019 Jerry James <loganje...@gmail.com> - 2.41-1
- New upstream release
- All patches have been upstreamed; drop them all
* Sat Jul 14 2018 Fedora Release Engineering <rel...@fedoraproject.org> -
2.40-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Mon Feb 12 2018 Jerry James <loganje...@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 <rel...@fedoraproject.org> -
2.39-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
* Thu Jan 18 2018 Igor Gnatenko <ignatenkobr...@fedoraproject.org> - 2.39-4
- Remove obsolete scriptlets
* Sat Dec 09 2017 Jerry James <loganje...@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 <rjo...@redhat.com> - 2.39-3
- OCaml 4.06.0 rebuild.
* Sat Oct 07 2017 Jerry James <loganje...@gmail.com> - 2.39-2
- Rebuild for why3 0.88.0
* Thu Sep 07 2017 Jerry James <loganje...@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 <loganje...@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 <loganje...@gmail.com> - 0.8.4-6
- OCaml 4.08.1 (final) rebuild.
===== 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
