Fedora 34 compose report: 20210221.n.0 changes

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



OLD: Fedora-34-20210220.n.0
NEW: Fedora-34-20210221.n.0

===== SUMMARY =====
Added images:        3
Dropped images:      0
Added packages:      7
Dropped packages:    0
Upgraded packages:   90
Downgraded packages: 0

Size of added packages:      23.54 MiB
Size of dropped packages:    0 B
Size of upgraded packages:   2.17 GiB
Size of downgraded packages: 0 B

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

===== ADDED IMAGES =====
Image: SoaS raw-xz armhfp
Path: Spins/armhfp/images/Fedora-SoaS-34-20210221.n.0.armhfp.raw.xz
Image: SoaS raw-xz aarch64
Path: Spins/aarch64/images/Fedora-SoaS-34-20210221.n.0.aarch64.raw.xz
Image: Jam_KDE live x86_64
Path: Labs/x86_64/iso/Fedora-Jam_KDE-Live-x86_64-34-20210221.n.0.iso

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

===== ADDED PACKAGES =====
Package: fcitx5-hangul-5.0.2-1.fc34
Summary: Hangul Wrapper for Fcitx5
RPMs:    fcitx5-hangul
Size:    326.98 KiB

Package: fcitx5-libthai-5.0.2-1.fc34
Summary: Libthai Wrapper for Fcitx5
RPMs:    fcitx5-libthai
Size:    190.02 KiB

Package: fcitx5-m17n-5.0.3-1.fc34
Summary: m17n Wrapper for Fcitx5
RPMs:    fcitx5-m17n
Size:    502.61 KiB

Package: fcitx5-sayura-5.0.2-1.fc34
Summary: Sinhala Transe IME engine for Fcitx5
RPMs:    fcitx5-sayura
Size:    216.02 KiB

Package: fcitx5-table-extra-5.0.2-1.fc34
Summary: Extra tables for Fcitx5
RPMs:    fcitx5-table-extra
Size:    22.19 MiB

Package: python-prefixed-0.3.2-2.fc34
Summary: Prefixed alternative numeric library
RPMs:    python3-prefixed
Size:    22.55 KiB

Package: reprotest-0.7.16-3.fc34
Summary: Build packages and check them for reproducibility
RPMs:    reprotest
Size:    130.07 KiB


===== DROPPED PACKAGES =====

===== UPGRADED PACKAGES =====
Package:      adcli-0.9.1-2.fc34
Old package:  adcli-0.9.0-7.fc34
Summary:      Active Directory enrollment
RPMs:         adcli adcli-doc
Size:         664.90 KiB
Size change:  157.74 KiB
Changelog:
  * Sat Feb 20 2021 Sumit Bose <sbose@xxxxxxxxxx> - 0.9.1-1
  - Update to upstream release 0.9.1

  * Sat Feb 20 2021 Sumit Bose <sbose@xxxxxxxxxx> - 0.9.1-2
  - Add Conflicts to avoid update/downgrade issues


Package:      ansible-2.9.18-1.fc34
Old package:  ansible-2.9.17-3.fc34
Summary:      SSH-based configuration management, deployment, and task execution system
RPMs:         ansible ansible-doc
Size:         25.64 MiB
Size change:  -242 B
Changelog:
  * Sat Feb 20 2021 Kevin Fenzi <kevin@xxxxxxxxx> - 2.9.18-1
  - Update to 2.9.18.
  - Fixes: CVE-2021-20228 CVE-2021-20178 CVE-2021-20180 CVE-2021-20191


Package:      audacity-2.4.2-4.fc34
Old package:  audacity-2.3.3-8.fc34
Summary:      Multitrack audio editor
RPMs:         audacity audacity-manual
Size:         35.92 MiB
Size change:  -7.76 MiB
Changelog:
  * Tue Feb 09 2021 Gwyn Ciesla <gwync@xxxxxxxxxxxxxx> - 2.4.2-2
  - Python2 -> 3

  * Tue Feb 09 2021 Gwyn Ciesla <gwync@xxxxxxxxxxxxxx> - 2.4.2-3
  - Specify system ogg.

  * Thu Feb 11 2021 Gwyn Ciesla <gwync@xxxxxxxxxxxxxx> - 2.4.2-4
  - Use system for lv2 and midi.


Package:      awscli-1.19.12-1.fc34
Old package:  awscli-1.19.11-1.fc34
Summary:      Universal Command Line Environment for AWS
RPMs:         awscli
Size:         1.99 MiB
Size change:  16 B
Changelog:
  * Sat Feb 20 2021 Gwyn Ciesla <gwync@xxxxxxxxxxxxxx> - 1.19.12-1
  - 1.19.12


Package:      cairomm-1.14.2-8.fc34
Old package:  cairomm-1.14.2-7.fc34
Summary:      C++ API for the cairo graphics library
RPMs:         cairomm cairomm-devel cairomm-doc
Size:         1.31 MiB
Size change:  1.54 KiB
Changelog:
  * Sat Feb 20 2021 Benjamin A. Beasley <code@xxxxxxxxxxxxxxxxxx> - 1.14.2-8
  - Verify source with new strong signatures from upstream


Package:      cairomm1.16-1.16.0-3.fc34
Old package:  cairomm1.16-1.16.0-2.fc34
Summary:      C++ API for the cairo graphics library
RPMs:         cairomm1.16 cairomm1.16-devel cairomm1.16-doc
Size:         1.27 MiB
Size change:  1.08 KiB
Changelog:
  * Sat Feb 20 2021 Benjamin A. Beasley <code@xxxxxxxxxxxxxxxxxx> - 1.16.0-3
  - Verify source with new strong signatures from upstream


Package:      coq-8.13.0-1.fc34
Old package:  coq-8.12.2-2.fc34
Summary:      Proof management system
RPMs:         coq coq-coqide coq-coqide-server coq-doc
Size:         377.26 MiB
Size change:  -330.13 MiB
Changelog:
  * Sat Feb 20 2021 Jerry James <loganjerry@xxxxxxxxx> - 8.13.0-1
  - Version 8.13.0
  - Revert to make; dune is unable to build the native compilation version
  - Install into the metainfo dir instead of the appdata dir


Package:      cqrlog-2.5.2-1.fc34
Old package:  cqrlog-2.5.1-1.fc34
Summary:      An amateur radio contact logging program
RPMs:         cqrlog
Size:         61.89 MiB
Size change:  72.23 KiB
Changelog:
  * Sat Feb 13 2021 Richard Shaw <hobbes1069@xxxxxxxxx> - 2.5.2-1
  - Update to 2.5.2.


Package:      dialect-1.1.1-5.fc34
Old package:  dialect-1.1.1-4.fc34
Summary:      A translation app for GNOME based on Google Translate
RPMs:         dialect
Size:         50.66 KiB
Size change:  79 B
Changelog:
  * Sat Feb 20 2021 Lyes Saadi <fedora@xxxxxxx> - 1.1.1-5
  - Fixing Dialect's error messages by using the translate_legacy function


Package:      distgen-1.7-1.fc34
Old package:  distgen-1.6-2.fc34
Summary:      Templating system/generator for distributions
RPMs:         distgen
Size:         63.14 KiB
Size change:  208 B
Changelog:
  * Sat Feb 20 2021 Pavel Raiskup <praiskup@xxxxxxxxxx> - 1.7-1
  - new upstream release


Package:      drumkv1-0.9.20-1.fc34
Old package:  drumkv1-0.9.19-2.fc34
Summary:      An old-school drum-kit sampler
RPMs:         drumkv1 lv2-drumkv1
Size:         3.02 MiB
Size change:  1.24 KiB
Changelog:
  * Mon Feb 15 2021 Guido Aulisi <guido.aulisi@xxxxxxxxx> - 0.9.20-1
  - Update to 0.9.20


Package:      electrum-4.0.9-3.fc34
Old package:  electrum-4.0.9-2.fc34
Summary:      A lightweight Bitcoin Client
RPMs:         electrum
Size:         3.31 MiB
Size change:  -422 B
Changelog:
  * Sun Feb 21 2021 Timothy Redaelli <tredaelli@xxxxxxxxxx> - 4.0.9-3
  - Add python3-cryptography dependency (#1909753)


Package:      fcitx5-5.0.5-1.fc34
Old package:  fcitx5-5.0.4-3.fc34
Summary:      Next generation of fcitx
RPMs:         fcitx5 fcitx5-autostart fcitx5-data fcitx5-devel
Size:         10.29 MiB
Size change:  56.96 KiB
Changelog:
  * Sat Feb 20 2021 Qiyu Yan <yanqiyu@xxxxxxxxxxxxxxxxx> - 5.0.5-1
  - update to 5.0.5 upstream release


Package:      fcitx5-chewing-5.0.4-1.fc34
Old package:  fcitx5-chewing-5.0.3-2.fc34
Summary:      Chewing Wrapper for Fcitx
RPMs:         fcitx5-chewing
Size:         251.13 KiB
Size change:  463 B
Changelog:
  * Sat Feb 20 2021 Qiyu Yan <yanqiyu@xxxxxxxxxxxxxxxxx> - 5.0.4-1
  - update to 5.0.4 upstream release


Package:      fcitx5-chinese-addons-5.0.4-1.fc34
Old package:  fcitx5-chinese-addons-5.0.3-3.fc34
Summary:      Chinese related addon for fcitx5
RPMs:         fcitx5-chinese-addons fcitx5-chinese-addons-data fcitx5-chinese-addons-devel
Size:         3.53 MiB
Size change:  13.80 KiB
Changelog:
  * Sat Feb 20 2021 Qiyu Yan <yanqiyu@xxxxxxxxxxxxxxxxx> - 5.0.4-1
  - update to 5.0.4 upstream release


Package:      fcitx5-configtool-5.0.3-1.fc34
Old package:  fcitx5-configtool-5.0.2-2.fc34
Summary:      Configuration tools used by fcitx5
RPMs:         fcitx5-configtool fcitx5-migrator fcitx5-migrator-devel kcm-fcitx5
Size:         2.90 MiB
Size change:  15.90 KiB
Changelog:
  * Sat Feb 20 2021 Qiyu Yan <yanqiyu@xxxxxxxxxxxxxxxxx> - 5.0.3-1
  - update to 5.0.3 upstream release


Package:      fcitx5-gtk-5.0.4-1.fc34
Old package:  fcitx5-gtk-5.0.2-3.fc34
Summary:      Gtk im module and glib based dbus client library
RPMs:         fcitx5-gtk fcitx5-gtk-devel fcitx5-gtk2 fcitx5-gtk3 fcitx5-gtk4
Size:         867.83 KiB
Size change:  228.05 KiB
Changelog:
  * Sat Feb 20 2021 Qiyu Yan <yanqiyu@xxxxxxxxxxxxxxxxx> - 5.0.4-1
  - update to 5.0.4 upstream release
  - a sobump from libFcitx5GClient.so.1 to libFcitx5GClient.so.2
  - no external dependecies exist.


Package:      fcitx5-kkc-5.0.4-1.fc34
Old package:  fcitx5-kkc-5.0.3-2.fc34
Summary:      Libkkc input method support for Fcitx5
RPMs:         fcitx5-kkc
Size:         589.34 KiB
Size change:  2.73 KiB
Changelog:
  * Sat Feb 20 2021 Qiyu Yan <yanqiyu@xxxxxxxxxxxxxxxxx> - 5.0.4-1
  - update to 5.0.4 upstream release


Package:      fcitx5-lua-5.0.3-1.fc34
Old package:  fcitx5-lua-5.0.2-2.fc34
Summary:      Lua support for fcitx
RPMs:         fcitx5-lua fcitx5-lua-devel
Size:         438.54 KiB
Size change:  3.88 KiB
Changelog:
  * Sat Feb 20 2021 Qiyu Yan <yanqiyu@xxxxxxxxxxxxxxxxx> - 5.0.3-1
  - update to 5.0.3 upstream release


Package:      fcitx5-qt-5.0.3-1.fc34
Old package:  fcitx5-qt-5.0.2-2.fc34
Summary:      Qt library and IM module for fcitx5
RPMs:         fcitx5-qt fcitx5-qt-devel fcitx5-qt-libfcitx5qt5widgets fcitx5-qt-libfcitx5qtdbus fcitx5-qt-module
Size:         1.84 MiB
Size change:  193.25 KiB
Changelog:
  * Sat Feb 20 2021 Qiyu Yan <yanqiyu@xxxxxxxxxxxxxxxxx> - 5.0.3-1
  - update to 5.0.3 upstream release


Package:      fcitx5-rime-5.0.4-1.fc34
Old package:  fcitx5-rime-5.0.3-2.fc34
Summary:      RIME support for Fcitx
RPMs:         fcitx5-rime
Size:         437.74 KiB
Size change:  816 B
Changelog:
  * Sat Feb 20 2021 Qiyu Yan <yanqiyu@xxxxxxxxxxxxxxxxx> - 5.0.4-1
  - update to 5.0.4 upstream release


Package:      fcitx5-skk-5.0.4-1.fc34
Old package:  fcitx5-skk-5.0.3-2.fc34
Summary:      Japanese SKK (Simple Kana Kanji) Engine for Fcitx5
RPMs:         fcitx5-skk
Size:         546.96 KiB
Size change:  2.58 KiB
Changelog:
  * Sat Feb 20 2021 Qiyu Yan <yanqiyu@xxxxxxxxxxxxxxxxx> - 5.0.4-1
  - update to 5.0.4 upstream release


Package:      flocq-3.4.0-3.fc34
Old package:  flocq-3.4.0-2.fc34
Summary:      Formalization of floating point numbers for Coq
RPMs:         flocq flocq-source
Size:         20.21 MiB
Size change:  4.56 MiB
Changelog:
  * Sat Feb 20 2021 Jerry James <loganjerry@xxxxxxxxx> - 3.4.0-3
  - Rebuild for coq 8.13.0
  - Use native compilation when available


Package:      gedit-2:3.38.1-3.fc34
Old package:  gedit-2:3.38.1-2.fc34
Summary:      Text editor for the GNOME desktop
RPMs:         gedit gedit-devel
Size:         14.79 MiB
Size change:  -2.13 KiB
Changelog:
  * Sat Feb 20 2021 Kalev Lember <klember@xxxxxxxxxx> - 2:3.38.1-3
  - Don't use gsettings key that was removed from nautilus 40 (#1931020)


Package:      golang-github-ulikunitz-xz-0.5.10-1.fc34
Old package:  golang-github-ulikunitz-xz-0.5.9-2.fc34
Summary:      Pure golang package for reading and writing xz-compressed files
RPMs:         golang-github-ulikunitz-xz golang-github-ulikunitz-xz-devel
Size:         7.20 MiB
Size change:  10.10 KiB
Changelog:
  * Sat Feb 20 2021 Dominik Mierzejewski <dominik@xxxxxxxxxxxxxx> - 0.5.10-1
  - update to 0.5.10 (#1924347)


Package:      libgexiv2-0.12.2-2.fc34
Old package:  libgexiv2-0.12.1-4.fc34
Summary:      Gexiv2 is a GObject-based wrapper around the Exiv2 library
RPMs:         libgexiv2 libgexiv2-devel python3-gexiv2
Size:         901.12 KiB
Size change:  111.35 KiB
Changelog:
  * Sat Feb 20 2021 Kalev Lember <klember@xxxxxxxxxx> - 0.12.2-1
  - Update to 0.12.2

  * Sat Feb 20 2021 Kalev Lember <klember@xxxxxxxxxx> - 0.12.2-2
  - Remove no longer needed ldconfig_scriptlets macro call
  - Remove explicit byte compilation as the automatic works for flatpak builds now


Package:      libime-1.0.4-1.fc34
Old package:  libime-1.0.3-3.fc34
Summary:      This is a library to support generic input method implementation
RPMs:         libime libime-data libime-devel
Size:         118.70 MiB
Size change:  4.87 KiB
Changelog:
  * Sat Feb 20 2021 Qiyu Yan <yanqiyu@xxxxxxxxxxxxxxxxx> - 1.0.3-1
  - update to 1.0.3 upstream release

  * Sat Feb 20 2021 Qiyu Yan <yanqiyu@xxxxxxxxxxxxxxxxx> - 1.0.4-1
  - update to 1.0.4 upstream release


Package:      libusbx-1.0.24-2.fc34
Old package:  libusbx-1.0.23-3.fc34
Summary:      Library for accessing USB devices
RPMs:         libusbx libusbx-devel libusbx-devel-doc libusbx-tests-examples
Size:         1005.34 KiB
Size change:  21.52 KiB
Changelog:
  * Thu Feb 11 2021 Victor Toso <victortoso@xxxxxxxxxx> - 1.0.24-1
  - Update to 1.0.24

  * Tue Feb 16 2021 Benjamin Berg <bberg@xxxxxxxxxx> - 1.0.24-2
  - Pull in upstream bugfixes
    Resolves: #1929148


Package:      libvoikko-4.3-4.fc34
Old package:  libvoikko-4.3-3.fc34
Summary:      Voikko is a library for spellcheckers and hyphenators
RPMs:         libvoikko libvoikko-devel python3-libvoikko voikko-tools
Size:         1.23 MiB
Size change:  -425 B
Changelog:
  * Fri Feb 19 2021 Mike FABIAN <mfabian@xxxxxxxxxx> - 4.3-4
  - Add Requires: voikko-fi


Package:      libxcrypt-4.4.18-1.fc34
Old package:  libxcrypt-4.4.17-2.fc34
Summary:      Extended crypt library for descrypt, md5crypt, bcrypt, and others
RPMs:         libxcrypt libxcrypt-compat libxcrypt-devel libxcrypt-static
Size:         2.12 MiB
Size change:  -24.95 KiB
Changelog:
  * Sat Feb 20 2021 Björn Esser <besser82@xxxxxxxxxxxxxxxxx> - 4.4.18-1
  - New upstream release
  - Add explicit BR: perl-core


Package:      magic-8.3.130-1.fc34
Old package:  magic-8.3.126-1.fc34
Summary:      A very capable VLSI layout tool
RPMs:         magic magic-doc
Size:         9.12 MiB
Size change:  1.64 KiB
Changelog:
  * Sun Feb 21 2021 Mamoru TASAKA <mtasaka@xxxxxxxxxxxxxxxxx> - 8.3.130-1
  - 8.3.130


Package:      marble-1:20.12.2-5.fc34
Old package:  marble-1:20.12.2-4.fc34
Summary:      Virtual globe and world atlas
RPMs:         marble marble-astro marble-astro-devel marble-common marble-qt marble-widget-data marble-widget-qt5 marble-widget-qt5-devel
Size:         64.43 MiB
Size change:  6.26 KiB
Changelog:
  * Fri Feb 19 2021 Kevin Kofler <Kevin@xxxxxxxxxxxxxxxx> - 1:20.12.2-5
  - fix GeoNames web service URL, is now api.geonames.org (kde#432598)


Package:      moserial-3.0.16-1.fc34
Old package:  moserial-3.0.15-1.fc34
Summary:      Serial terminal for the gnome desktop
RPMs:         moserial
Size:         4.44 MiB
Size change:  970 B
Changelog:
  * Sat Feb 20 2021 Terje Rosten <terje.rosten@xxxxxxx> - 3.0.16-1
  - 3.0.16


Package:      mozilla-privacy-badger-2021.2.2-1.fc34
Old package:  mozilla-privacy-badger-2020.12.10-2.fc34
Summary:      Protects your privacy by blocking spying ads and invisible trackers
RPMs:         mozilla-privacy-badger
Size:         1.13 MiB
Size change:  -30.11 KiB
Changelog:
  * Sat Feb 20 2021 Dominik 'Rathann' Mierzejewski <rpm@xxxxxxxxxxxxxx> - 2021.2.2-1
  - update to 2021.2.2 (#1924367)


Package:      nagios-4.4.6-1.fc34
Old package:  nagios-4.4.5-10.fc34
Summary:      Host/service/network monitoring program
RPMs:         nagios nagios-common nagios-contrib nagios-devel nagios-selinux
Size:         10.18 MiB
Size change:  -505 B
Changelog:
  * Sat Feb 20 2021 Guido Aulisi <guido.aulisi@xxxxxxxxx> - 4.4.6-1
  - Update to 4.4.6
  - Fix for CVE-2020-13977 #BZ1849087
  - Some spec cleanup


Package:      nextcloud-20.0.7-1.fc34
Old package:  nextcloud-20.0.5-2.fc34
Summary:      Private file sync and share server
RPMs:         nextcloud nextcloud-httpd nextcloud-mysql nextcloud-nginx nextcloud-postgresql nextcloud-sqlite
Size:         84.22 MiB
Size change:  372.46 KiB
Changelog:
  * Sat Feb 20 2021 Christopher Engelhard <ce@xxxxxxx> - 20.0.7-1
  - Update to 20.0.7


Package:      nodejs-svgo-2.0.2-1.fc34
Old package:  nodejs-svgo-2.0.1-1.fc34
Summary:      Nodejs-based tool for optimizing SVG vector graphics files
RPMs:         nodejs-svgo
Size:         634.78 KiB
Size change:  -11.65 KiB
Changelog:
  * Sat Feb 20 2021 Benjamin A. Beasley <code@xxxxxxxxxxxxxxxxxx> - 2.0.2-1
  - Update to 2.0.2


Package:      notejot-2.6.8-2.fc34
Old package:  notejot-2.6.8-1.fc34
Summary:      Jot your ideas
RPMs:         notejot
Size:         423.12 KiB
Size change:  10.01 KiB
Changelog:
  * Sat Feb 20 2021 Benjamin A. Beasley <code@xxxxxxxxxxxxxxxxxx> - 2.6.8-2
  - Add localized summaries and descriptions, where available


Package:      ocaml-alcotest-1.3.0-1.fc34
Old package:  ocaml-alcotest-1.2.3-4.fc34
Summary:      Lightweight and colorful test framework for OCaml
RPMs:         ocaml-alcotest ocaml-alcotest-devel
Size:         4.88 MiB
Size change:  306.46 KiB
Changelog:
  * Tue Feb 16 2021 Jerry James <loganjerry@xxxxxxxxx> - 1.3.0-1
  - Version 1.3.0


Package:      ocaml-base-0.14.1-1.fc34
Old package:  ocaml-base-0.14.0-6.fc34
Summary:      Jane Street standard library for OCaml
RPMs:         ocaml-base ocaml-base-devel
Size:         61.25 MiB
Size change:  177.57 KiB
Changelog:
  * Sat Feb 20 2021 Jerry James <loganjerry@xxxxxxxxx> - 0.14.1-1
  - Version 0.14.1


Package:      ocaml-bisect-ppx-2.6.0-1.fc34
Old package:  ocaml-bisect-ppx-2.5.0-4.fc34
Summary:      Code coverage for OCaml and Reason
RPMs:         ocaml-bisect-ppx ocaml-bisect-ppx-devel
Size:         25.97 MiB
Size change:  -523.66 KiB
Changelog:
  * Sat Feb 20 2021 Jerry James <loganjerry@xxxxxxxxx> - 2.6.0-1
  - Version 2.6.0


Package:      ocaml-fieldslib-0.14.0-7.fc34
Old package:  ocaml-fieldslib-0.14.0-5.fc34
Summary:      OCaml record fields as first class values
RPMs:         ocaml-fieldslib ocaml-fieldslib-devel
Size:         357.02 KiB
Size change:  1.88 KiB
Changelog:
  * Sat Feb 20 2021 Jerry James <loganjerry@xxxxxxxxx> - 0.14.0-6
  - Rebuild for ocaml-base 0.14.1

  * Sat Feb 20 2021 Jerry James <loganjerry@xxxxxxxxx> - 0.14.0-7
  - Bump and rebuild


Package:      ocaml-lambda-term-3.1.0-6.fc34
Old package:  ocaml-lambda-term-3.1.0-5.fc34
Summary:      Terminal manipulation library for OCaml
RPMs:         ocaml-lambda-term ocaml-lambda-term-devel
Size:         32.72 MiB
Size change:  15.59 KiB
Changelog:
  * Sat Feb 20 2021 Jerry James <loganjerry@xxxxxxxxx> - 3.1.0-6
  - Rebuild for ocaml-lwt 5.4.0


Package:      ocaml-lwt-5.4.0-1.fc34
Old package:  ocaml-lwt-5.3.0-9.fc34
Summary:      OCaml lightweight thread library
RPMs:         ocaml-lwt ocaml-lwt-devel ocaml-lwt-luv ocaml-lwt-luv-devel ocaml-lwt-ppx ocaml-lwt-ppx-devel ocaml-lwt-react ocaml-lwt-react-devel
Added RPMs:   ocaml-lwt-luv ocaml-lwt-luv-devel
Size:         40.34 MiB
Size change:  949.72 KiB
Changelog:
  * Sat Feb 20 2021 Jerry James <loganjerry@xxxxxxxxx> - 5.4.0-1
  - New upstream version 5.4.0
  - Add luv subpackage


Package:      ocaml-lwt-log-1.1.1-14.fc34
Old package:  ocaml-lwt-log-1.1.1-13.fc34
Summary:      Lwt logging library
RPMs:         ocaml-lwt-log ocaml-lwt-log-devel
Size:         1.80 MiB
Size change:  -926 B
Changelog:
  * Sat Feb 20 2021 Jerry James <loganjerry@xxxxxxxxx> - 1.1.1-14
  - Rebuild for ocaml-lwt 5.4.0


Package:      ocaml-migrate-parsetree-2.1.0-1.fc34
Old package:  ocaml-migrate-parsetree-1.8.0-3.fc34
Summary:      Convert OCaml parsetrees between different major versions
RPMs:         ocaml-migrate-parsetree ocaml-migrate-parsetree-devel
Size:         23.69 MiB
Size change:  -52.53 MiB
Changelog:
  * Sat Feb 20 2021 Jerry James <loganjerry@xxxxxxxxx> - 2.1.0-1
  - Version 2.1.0


Package:      ocaml-ppx-assert-0.14.0-7.fc34
Old package:  ocaml-ppx-assert-0.14.0-6.fc34
Summary:      Assert-like extension nodes that raise useful errors on failure
RPMs:         ocaml-ppx-assert ocaml-ppx-assert-devel
Size:         23.43 MiB
Size change:  -3.63 MiB
Changelog:
  * Sat Feb 20 2021 Jerry James <loganjerry@xxxxxxxxx> - 0.14.0-7
  - Rebuild for ocaml-base 0.14.1


Package:      ocaml-ppx-cold-0.14.0-7.fc34
Old package:  ocaml-ppx-cold-0.14.0-6.fc34
Summary:      OCaml definition of [@@cold] attribute
RPMs:         ocaml-ppx-cold ocaml-ppx-cold-devel
Size:         20.90 MiB
Size change:  -3.51 MiB
Changelog:
  * Sat Feb 20 2021 Jerry James <loganjerry@xxxxxxxxx> - 0.14.0-7
  - Rebuild for ocaml-base 0.14.1


Package:      ocaml-ppx-compare-0.14.0-8.fc34
Old package:  ocaml-ppx-compare-0.14.0-7.fc34
Summary:      Generate comparison functions from types
RPMs:         ocaml-ppx-compare ocaml-ppx-compare-devel
Size:         2.04 MiB
Size change:  -98.01 KiB
Changelog:
  * Sat Feb 20 2021 Jerry James <loganjerry@xxxxxxxxx> - 0.14.0-8
  - Rebuild for ocaml-base 0.14.1


Package:      ocaml-ppx-custom-printf-0.14.1-1.fc34
Old package:  ocaml-ppx-custom-printf-0.14.0-6.fc34
Summary:      Printf-style format-strings for user-defined string conversion
RPMs:         ocaml-ppx-custom-printf ocaml-ppx-custom-printf-devel
Size:         25.16 MiB
Size change:  -3.64 MiB
Changelog:
  * Sat Feb 20 2021 Jerry James <loganjerry@xxxxxxxxx> - 0.14.1-1
  - Version 0.14.1


Package:      ocaml-ppx-deriving-5.2.1-1.fc34
Old package:  ocaml-ppx-deriving-5.1-2.fc34
Summary:      Type-driven code generation for OCaml
RPMs:         ocaml-ppx-deriving ocaml-ppx-deriving-devel ocaml-ppx-deriving-doc
Size:         29.89 MiB
Size change:  -4.67 MiB
Changelog:
  * Sat Feb 20 2021 Jerry James <loganjerry@xxxxxxxxx> - 5.2.1-1
  - Version 5.2.1


Package:      ocaml-ppx-deriving-yojson-3.6.1-3.fc34
Old package:  ocaml-ppx-deriving-yojson-3.6.1-2.fc34
Summary:      JSON codec generator for OCaml
RPMs:         ocaml-ppx-deriving-yojson ocaml-ppx-deriving-yojson-devel ocaml-ppx-deriving-yojson-doc
Size:         3.63 MiB
Size change:  -459.19 KiB
Changelog:
  * Sat Feb 20 2021 Jerry James <loganjerry@xxxxxxxxx> - 3.6.1-3
  - Rebuild for ocaml-ppx-deriving 5.2.1


Package:      ocaml-ppx-enumerate-0.14.0-7.fc34
Old package:  ocaml-ppx-enumerate-0.14.0-6.fc34
Summary:      Generate a list containing all values of a finite type
RPMs:         ocaml-ppx-enumerate ocaml-ppx-enumerate-devel
Size:         1.62 MiB
Size change:  -95.47 KiB
Changelog:
  * Sat Feb 20 2021 Jerry James <loganjerry@xxxxxxxxx> - 0.14.0-7
  - Rebuild for ocaml-base 0.14.1


Package:      ocaml-ppx-hash-0.14.0-7.fc34
Old package:  ocaml-ppx-hash-0.14.0-6.fc34
Summary:      Generate hash functions from type expressions and definitions
RPMs:         ocaml-ppx-hash ocaml-ppx-hash-devel
Size:         1.77 MiB
Size change:  -74.11 KiB
Changelog:
  * Sat Feb 20 2021 Jerry James <loganjerry@xxxxxxxxx> - 0.14.0-7
  - Rebuild for ocaml-base 0.14.1


Package:      ocaml-ppx-here-0.14.0-7.fc34
Old package:  ocaml-ppx-here-0.14.0-6.fc34
Summary:      Expands [@here] into its location
RPMs:         ocaml-ppx-here ocaml-ppx-here-devel
Size:         20.77 MiB
Size change:  -3.54 MiB
Changelog:
  * Sat Feb 20 2021 Jerry James <loganjerry@xxxxxxxxx> - 0.14.0-7
  - Rebuild for ocaml-base 0.14.1


Package:      ocaml-ppx-js-style-0.14.0-8.fc34
Old package:  ocaml-ppx-js-style-0.14.0-7.fc34
Summary:      Code style checker for Jane Street OCaml packages
RPMs:         ocaml-ppx-js-style ocaml-ppx-js-style-devel
Size:         23.04 MiB
Size change:  -3.54 MiB
Changelog:
  * Sat Feb 20 2021 Jerry James <loganjerry@xxxxxxxxx> - 0.14.0-8
  - Rebuild for ocaml-base 0.14.1


Package:      ocaml-ppx-optcomp-0.14.1-1.fc34
Old package:  ocaml-ppx-optcomp-0.14.0-6.fc34
Summary:      Optional compilation for OCaml
RPMs:         ocaml-ppx-optcomp ocaml-ppx-optcomp-devel
Size:         2.74 MiB
Size change:  -10.61 KiB
Changelog:
  * Sat Feb 20 2021 Jerry James <loganjerry@xxxxxxxxx> - 0.14.1-1
  - Version 0.14.1


Package:      ocaml-ppx-sexp-conv-0.14.3-1.fc34
Old package:  ocaml-ppx-sexp-conv-0.14.1-3.fc34
Summary:      Generate S-expression conversion functions from type definitions
RPMs:         ocaml-ppx-sexp-conv ocaml-ppx-sexp-conv-devel
Size:         7.51 MiB
Size change:  -626.42 KiB
Changelog:
  * Sat Feb 20 2021 Jerry James <loganjerry@xxxxxxxxx> - 0.14.3-1
  - Version 0.14.3


Package:      ocaml-ppxlib-1:0.22.0-1.fc34
Old package:  ocaml-ppxlib-1:0.15.0-3.fc34
Summary:      Base library and tools for ppx rewriters
RPMs:         ocaml-ppxlib ocaml-ppxlib-devel
Dropped RPMs: ocaml-ppxlib-doc
Size:         73.10 MiB
Size change:  -21.14 MiB
Changelog:
  * Sat Feb 20 2021 Jerry James <loganjerry@xxxxxxxxx> - 1:0.22.0-1
  - Version 0.22.0
  - Drop upstreamed -longident-parse patch
  - Do not build documentation by default due to circular dependency


Package:      ocaml-qcheck-0.17-2.fc34
Old package:  ocaml-qcheck-0.17-1.fc34
Summary:      QuickCheck inspired property-based testing for OCaml
RPMs:         ocaml-qcheck ocaml-qcheck-devel ocaml-qcheck-doc
Size:         7.77 MiB
Size change:  2.66 KiB
Changelog:
  * Sat Feb 20 2021 Jerry James <loganjerry@xxxxxxxxx> - 0.17-2
  - Rebuild for alcotest 1.3.0


Package:      ocaml-sedlex-2.3-1.fc34
Old package:  ocaml-sedlex-2.2-2.fc34
Summary:      Unicode-friendly lexer generator
RPMs:         ocaml-sedlex ocaml-sedlex-devel
Size:         31.04 MiB
Size change:  -2.08 MiB
Changelog:
  * Sat Feb 20 2021 Jerry James <loganjerry@xxxxxxxxx> - 2.3-1
  - Version 2.3
  - Drop upstreamed -pervasives patch


Package:      ocaml-stdio-0.14.0-9.fc34
Old package:  ocaml-stdio-0.14.0-7.fc34
Summary:      Jane Street Standard I/O library for OCaml
RPMs:         ocaml-stdio ocaml-stdio-devel ocaml-stdio-doc
Size:         853.06 KiB
Size change:  2.25 KiB
Changelog:
  * Sat Feb 20 2021 Jerry James <loganjerry@xxxxxxxxx> - 0.14.0-8
  - Rebuild for ocaml-base 0.14.1

  * Sat Feb 20 2021 Jerry James <loganjerry@xxxxxxxxx> - 0.14.0-9
  - Bump and rebuild


Package:      ocaml-tyxml-4.4.0-9.fc34
Old package:  ocaml-tyxml-4.4.0-8.fc34
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:         70.45 MiB
Size change:  -732.43 KiB
Changelog:
  * Sat Feb 20 2021 Jerry James <loganjerry@xxxxxxxxx> - 4.4.0-9
  - Apply upstream merge request to migrate to ppxlib


Package:      osbuild-26-1.fc34
Old package:  osbuild-25-1.fc34
Summary:      A build system for OS images
RPMs:         osbuild osbuild-ostree osbuild-selinux python3-osbuild
Size:         224.71 KiB
Size change:  14.76 KiB
Changelog:
  * Sat Feb 20 2021 Christian Kellner <ckellner@xxxxxxxxxx> - 26-1
  - Upstream release 26
  - Support for building boot isos
  - Grub stage gained support for 'saved_entry' to fix grub tooling


Package:      osbuild-composer-28-1.fc34
Old package:  osbuild-composer-27-1.fc34
Summary:      An image building service based on osbuild
RPMs:         osbuild-composer osbuild-composer-core osbuild-composer-worker
Size:         42.46 MiB
Size change:  15.02 MiB
Changelog:
  * Sat Feb 20 2021 Martin Sehnoutka <msehnout@xxxxxxxxxx> - 28-1
  - New upstream release


Package:      padthv1-0.9.20-1.fc34
Old package:  padthv1-0.9.19-2.fc34
Summary:      An old-school polyphonic additive synthesizer
RPMs:         lv2-padthv1 padthv1
Size:         2.70 MiB
Size change:  1.56 KiB
Changelog:
  * Mon Feb 15 2021 Guido Aulisi <guido.aulisi@xxxxxxxxx> - 0.9.20-1
  - Update to 0.9.20


Package:      python-boto3-1.17.12-1.fc34
Old package:  python-boto3-1.17.11-1.fc34
Summary:      The AWS SDK for Python
RPMs:         python3-boto3
Size:         147.60 KiB
Size change:  39 B
Changelog:
  * Sat Feb 20 2021 Gwyn Ciesla <gwync@xxxxxxxxxxxxxx> - 1.17.12-1
  - 1.17.12


Package:      python-botocore-1.20.12-1.fc34
Old package:  python-botocore-1.20.11-1.fc34
Summary:      Low-level, data-driven core of boto 3
RPMs:         python3-botocore
Size:         4.00 MiB
Size change:  6 B
Changelog:
  * Sat Feb 20 2021 Gwyn Ciesla <gwync@xxxxxxxxxxxxxx> - 1.20.12-1
  - 1.20.12


Package:      python-construct-2.10.60-1.fc34
Old package:  python-construct-2.10.59-1.fc34
Summary:      A powerful declarative parser/builder for binary data
RPMs:         python3-construct
Size:         107.33 KiB
Size change:  644 B
Changelog:
  * Sat Feb 20 2021 Terje Rosten <terje.rosten@xxxxxxx> - 2.10.60-1
  - 2.10.60


Package:      python-googletrans-4.0.0~rc1-3.fc34
Old package:  python-googletrans-4.0.0~rc1-2.fc34
Summary:      Google Translate API for Python
RPMs:         python3-googletrans
Size:         35.56 KiB
Size change:  -35 B
Changelog:
  * Sat Feb 20 2021 Lyes Saadi <fedora@xxxxxxx> - 4.0.0~rc1-3
  - Fixing translate_legacy


Package:      python-identify-1.5.14-1.fc34
Old package:  python-identify-1.5.13-2.fc34
Summary:      File identification library for Python
RPMs:         python3-identify
Size:         85.93 KiB
Size change:  46 B
Changelog:
  * Sat Feb 20 2021 Gwyn Ciesla <gwync@xxxxxxxxxxxxxx> - 1.5.14-1
  - 1.5.14


Package:      python3-mypy-0.812-1.fc34
Old package:  python3-mypy-0.810-1.fc34
Summary:      A static type checker for Python
RPMs:         python3-mypy
Size:         1.79 MiB
Size change:  257 B
Changelog:
  * Sat Feb 20 2021 Gwyn Ciesla <gwync@xxxxxxxxxxxxxx> - 0.812-1
  - 0.812


Package:      python3.8-3.8.8-1.fc34
Old package:  python3.8-3.8.7-3.fc34
Summary:      Version 3.8 of the Python interpreter
RPMs:         python3.8
Size:         93.53 MiB
Size change:  119.15 KiB
Changelog:
  * Thu Feb 18 2021 Tomas Hrnciar <thrnciar@xxxxxxxxxx> - 3.8.8~rc1-1
  - Update to 3.8.8rc1

  * Sat Feb 20 2021 Miro Hrončok <mhroncok@xxxxxxxxxx> - 3.8.8-1
  - Update to 3.8.8


Package:      python3.9-3.9.2-1.fc34
Old package:  python3.9-3.9.1-5.fc34
Summary:      Version 3.9 of the Python interpreter
RPMs:         python-unversioned-command python3 python3-debug python3-devel python3-idle python3-libs python3-test python3-tkinter
Size:         124.20 MiB
Size change:  249.82 KiB
Changelog:
  * Thu Feb 18 2021 Tomas Hrnciar <thrnciar@xxxxxxxxxx> - 3.9.2~rc1-1
  - Update to 3.9.2rc1

  * Sat Feb 20 2021 Miro Hrončok <mhroncok@xxxxxxxxxx> - 3.9.2-1
  - Update to 3.9.2


Package:      realmd-0.17.0-2.fc34
Old package:  realmd-0.17.0-1.fc34
Summary:      Kerberos realm enrollment service
RPMs:         realmd realmd-devel-docs
Size:         1.38 MiB
Size change:  681 B
Changelog:
  * Sat Feb 20 2021 Sumit Bose <sbose@xxxxxxxxxx> - 0.17.0-2
  - Add Conflicts to avoid update/downgrade issues


Package:      rpkg-util-2.10-1.fc34
Old package:  rpkg-util-2.9-2.fc34
Summary:      RPM packaging utility
RPMs:         rpkg
Size:         65.13 KiB
Size change:  -10 B
Changelog:
  * Sat Feb 20 2021 clime <clime@xxxxxxxxxxxxxxxxx> 2.10-1
  - parse spec with _sourcedir set to self.path so that %includes get


Package:      rust-1.50.0-1.fc34
Old package:  rust-1.49.0-2.fc34
Summary:      The Rust Programming Language
RPMs:         cargo cargo-doc clippy rls rust rust-analysis rust-debugger-common rust-doc rust-gdb rust-lldb rust-src rust-std-static rustfmt
Size:         493.02 MiB
Size change:  24.70 MiB
Changelog:
  * Thu Feb 11 2021 Josh Stone <jistone@xxxxxxxxxx> - 1.50.0-1
  - Update to 1.50.0.


Package:      rust-alacritty-0.7.2-2.fc34
Old package:  rust-alacritty-0.7.1-1.fc34
Summary:      Fast, cross-platform, OpenGL terminal emulator
RPMs:         alacritty
Size:         9.52 MiB
Size change:  89.13 KiB
Changelog:
  * Sat Feb 20 2021 returntrip <stefano@xxxxxxxxx> - 0.7.2-1
  - Update to 0.7.2 (Fixes RHZB#1930981)

  * Sat Feb 20 2021 returntrip <stefano@xxxxxxxxx> - 0.7.2-2
  - Fixes RHZB#1929687


Package:      rust-alacritty_terminal-0.13.0-1.fc34
Old package:  rust-alacritty_terminal-0.12.0-1.fc34
Summary:      Library for writing terminal emulators
RPMs:         rust-alacritty_terminal+bench-devel rust-alacritty_terminal+default-devel rust-alacritty_terminal-devel
Size:         220.98 KiB
Size change:  469 B
Changelog:
  * Sat Feb 20 2021 returntrip <stefano@xxxxxxxxx> - 0.13.0-1
  - Update to version 0.13 (Fixes: RHZB#1930982)


Package:      rust-nom-6.1.2-1.fc34
Old package:  rust-nom-6.1.0-2.fc34
Summary:      Byte-oriented, zero-copy, parser combinators library
RPMs:         rust-nom+alloc-devel rust-nom+bitvec-devel rust-nom+default-devel rust-nom+docsrs-devel rust-nom+funty-devel rust-nom+lazy_static-devel rust-nom+lexical-core-devel rust-nom+lexical-devel rust-nom+regex-devel rust-nom+regexp-devel rust-nom+std-devel rust-nom-devel
Added RPMs:   rust-nom+funty-devel
Size:         222.35 KiB
Size change:  7.02 KiB
Changelog:
  * Sat Feb 20 2021 Fabio Valentini <decathorpe@xxxxxxxxx> - 6.1.2-1
  - Update to version 6.1.2.
  - Fixes RHBZ#1928638
  - Fixes RHBZ#1928637


Package:      rust-smithay-clipboard-0.6.3-1.fc34
Old package:  rust-smithay-clipboard-0.6.2-2.fc34
Summary:      Provides access to the wayland clipboard for client applications
RPMs:         rust-smithay-clipboard+default-devel rust-smithay-clipboard-devel
Size:         31.56 KiB
Size change:  184 B
Changelog:
  * Sat Feb 20 2021 Stefano Figura <stefano@xxxxxxxxx> - 0.6.3-1
  - Update to version 0.6.3.
  - Fixes RHBZ#1930400


Package:      rust-tokio-fs-0.1.7-5.fc34
Old package:  rust-tokio-fs-0.1.7-3.fc33
Summary:      Filesystem API for Tokio
RPMs:         rust-tokio-fs+default-devel rust-tokio-fs-devel
Size:         36.77 KiB
Size change:  -330 B
Changelog:
  * Wed Jan 27 2021 Fedora Release Engineering <releng@xxxxxxxxxxxxxxxxx> - 0.1.7-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild

  * Sat Feb 20 2021 Fabio Valentini <decathorpe@xxxxxxxxx> - 0.1.7-5
  - Relax tempfile dependency.


Package:      rust-tokio-uds-0.2.7-4.fc34
Old package:  rust-tokio-uds-0.2.7-2.fc33
Summary:      Unix Domain sockets for Tokio
RPMs:         rust-tokio-uds+default-devel rust-tokio-uds-devel
Size:         30.33 KiB
Size change:  -722 B
Changelog:
  * Wed Jan 27 2021 Fedora Release Engineering <releng@xxxxxxxxxxxxxxxxx> - 0.2.7-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild

  * Sat Feb 20 2021 Fabio Valentini <decathorpe@xxxxxxxxx> - 0.2.7-4
  - Relax tempfile dependency.


Package:      rygel-0.40.1-2.fc34
Old package:  rygel-0.40.0-2.fc34
Summary:      A collection of UPnP/DLNA services
RPMs:         rygel rygel-devel rygel-tracker
Size:         8.00 MiB
Size change:  917.78 KiB
Changelog:
  * Sat Feb 20 2021 Kalev Lember <klember@xxxxxxxxxx> - 0.40.1-1
  - Update to 0.40.1

  * Sat Feb 20 2021 Kalev Lember <klember@xxxxxxxxxx> - 0.40.1-2
  - Build tracker 3.0 plugin, disable tracker 2.0
  - Fix directory ownership for gtk-doc, gir and vala directories


Package:      selinux-policy-3.14.7-22.fc34
Old package:  selinux-policy-3.14.7-21.fc34
Summary:      SELinux policy configuration
RPMs:         selinux-policy selinux-policy-devel selinux-policy-doc selinux-policy-minimum selinux-policy-mls selinux-policy-sandbox selinux-policy-targeted
Size:         19.87 MiB
Size change:  -6.78 KiB
Changelog:
  * Fri Feb 19 2021 Zdenek Pytela <zpytela@xxxxxxxxxx> - 3.14.7-22
  - Allow systemd-sleep get attributes of fixed disk device nodes
  - Complete initial policy for systemd-coredump
  - Label SDC(scini) Dell Driver
  - Allow upowerd to send syslog messages
  - Remove the disk write permissions from tlp_t
  - Label NVMe devices as fixed_disk_device_t
  - Allow rhsmcertd bind tcp sockets to a generic node
  - Allow systemd-importd manage machines.lock file
  - Allow unconfined integrity lockdown permission
  - Relocate confidentiality lockdown rule from unconfined_domain_type to unconfined
  - Allow systemd-machined manage systemd-userdbd runtime sockets
  - Enable systemd-sysctl domtrans for udev
  - Introduce kernel_load_unsigned_module interface and use it for couple domains
  - Allow gpg watch user gpg secrets dirs
  - Build also the container module in CI
  - Remove duplicate code from kernel.te
  - Allow restorecond to watch all non-auth directories
  - Allow restorecond to watch its config file


Package:      swappy-1.3.1-1.fc34
Old package:  swappy-1.2.1-3.fc34
Summary:      Wayland native snapshot editing tool, inspired by Snappy on macOS
RPMs:         swappy
Size:         220.18 KiB
Size change:  7.31 KiB
Changelog:
  * Thu Feb 18 2021 Bob Hepple <bob.hepple@xxxxxxxxx> - 1.3.0-1
  - new version

  * Sat Feb 20 2021 Bob Hepple <bob.hepple@xxxxxxxxx> - 1.3.1-1
  - new version


Package:      sysfsutils-2.1.1-1.fc34
Old package:  sysfsutils-2.1.0-33.fc34
Summary:      Utilities for interfacing with sysfs
RPMs:         libsysfs libsysfs-devel sysfsutils
Size:         478.19 KiB
Size change:  -28.18 KiB
Changelog:
  * Sat Feb 20 2021 Christopher Engelhard <ce@xxxxxxx> - 2.1.1-1
  - Update to 2.1.1
  - Remove all patches merged upstream
  - Switched build to autotools
  - Include upstream pkgconfig module
  - Sysfsutils no longer includes /usr/bin/get_module


Package:      tcpflow-1.6.1-1.fc34
Old package:  tcpflow-1.5.0-8.fc34
Summary:      Network traffic recorder
RPMs:         tcpflow
Size:         1.36 MiB
Size change:  14.41 KiB
Changelog:
  * Sat Feb 20 2021 Terje Rosten <terje.rosten@xxxxxxx> - 1.6.1-1
  - 1.6.1


Package:      youtube-dl-2021.02.10-1.fc34
Old package:  youtube-dl-2021.02.04.1-1.fc34
Summary:      A small command-line program to download online videos
RPMs:         youtube-dl
Size:         2.36 MiB
Size change:  -449 B
Changelog:
  * Fri Feb 12 2021 David Schwörer <davidsch@xxxxxxxxxxxxxxxxx> - 2021.02.10-1
  - Update to 2021.02.10


Package:      zenon-0.8.4-21.fc34
Old package:  zenon-0.8.4-20.fc34
Summary:      Automated theorem prover for first-order classical logic
RPMs:         zenon
Size:         5.78 MiB
Size change:  -24.63 KiB
Changelog:
  * Sat Feb 20 2021 Jerry James <loganjerry@xxxxxxxxx> - 0.8.4-21
  - Rebuild for coq 8.13.0



===== DOWNGRADED PACKAGES =====
_______________________________________________
test mailing list -- test@xxxxxxxxxxxxxxxxxxxxxxx
To unsubscribe send an email to test-leave@xxxxxxxxxxxxxxxxxxxxxxx
Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives: https://lists.fedoraproject.org/archives/list/test@xxxxxxxxxxxxxxxxxxxxxxx
Do not reply to spam on the list, report it: https://pagure.io/fedora-infrastructure

[Index of Archives]     [Fedora Desktop]     [Fedora SELinux]     [Photo Sharing]     [Yosemite Forum]     [KDE Users]

  Powered by Linux