rfc: new beta release criterion for minimum firefox version
by Chris Murphy
Summary: Firefox cannot tolerate being downgraded a major version, the
behavior gets all whacky.[1] Note, the problem does not occur with new
clean installs (unless you preserve /home), just upgrades.
Detail:
Since the ensuing behavior is indistinguishable from buggy behavior,
we should have a release criterion ensuring Fedora beta and final ship
a version of Firefox equal to or newer than what's available in the
two current releases. I think even if it is "a beta" this is way too
much horkage to subject beta testers to. They are expecting bugs, but
this is not a bug, it's a bad procedure to compel users (without a way
to opt out) to downgrade and in effect get a busted web browser
experience on upgrade.
Related bugs:
ship FF 97 in Fedora beta
https://bugzilla.redhat.com/show_bug.cgi?id=2057193
ship FF 99 in Fedora final
https://bugzilla.redhat.com/show_bug.cgi?id=2056661
Contra argument:
There is a "Default application functionality" final release
criterion, it requires a basic functionality test, and includes the
web browser. It surely applies here, because the browser is broken for
many web sites. As for beta, well it's a beta.
(It's the best contrary argument I could make. I think the "it's a
beta! weee!" is not compelling. Plus, it's significantly incompatible
with the catch all beta criterion "Bug hinders execution of required
Beta test plans or dramatically reduces test coverage" because we just
get a bunch of bogus "it's broken" reports from unwitting users who
upgrade at beta, ostensibly to test, and then get bitten by this.)
Proposed language:
A. Release-blocking desktops must ship a version of Firefox [default
web browser] equal to, or newer than, the version available with both
current Fedora releases.
B. Release-blocking desktops must ship a version of Firefox [default
web browser] that avoids it being downgraded when performing a system
upgrade.
[1]
https://bugzilla.redhat.com/show_bug.cgi?id=2057193#c6
--
Chris Murphy
2 years
Release criteria proposal: networking requirements
by Adam Williamson
Hi folks!
So at this week's blocker review meeting, the fact that we don't have
explicit networking requirements in the release criteria really started
to bite us. In the past we have squeezed networking-related issues in
under other criteria, but for some issues that's really difficult,
notably VPN issues. So, we agreed we should draft some explicit
networking criteria.
This turns out to be a big area and quite hard to cover (who'd've
thought!), but here is at least a first draft for us to start from. My
proposal would be to add this to the Basic criteria. I have left out
some wikitext stuff from the proposal for clarity; I'd add it back in
on actually applying the proposed changes. It's just formatting stuff,
nothing that'd change the meaning. Anyone have thoughts, complaints,
alternative approaches, supplements? Thanks!
=== Network requirements ===
Each of these requirements apply to both installer and installed system
environments. For any given installer environment, the 'default network
configuration tools' are considered to be those the installer documents
as supported ways to configure networking (e.g. for anaconda-based
environments, configuration via kernel command line options, a
kickstart, or interactively in anaconda itself are included).
==== Basic networking ====
It must be possible to establish both IPv4 and IPv6 network connections
using DHCP and static addressing. The default network configuration
tools for the console and for release-blocking desktops must work well
enough to allow typical network connection configuration operations
without major workarounds. Standard network functions such as address
resolution and connections with common protocols such as ping, HTTP and
ssh must work as expected.
Footnote titled "Supported hardware": Supported network hardware is
hardware for which the Fedora kernel includes drivers and, where
necessary, for which a firmware package is available. If support for a
commonly-used piece or type of network hardware that would usually be
present is omitted, that may constitute a violation of this criterion,
after consideration of the [[Blocker_Bug_FAQ|hardware-dependent-
issues|normal factors for hardware-dependent issues]]. Similarly,
violations of this criteria that are hardware or configuration
dependent are, as usual, subject to consideration of those factors when
determining whether they are release-blocking
==== VPN connections ====
Using the default network configuration tools for the console and for
release-blocking desktops, it must be possible to establish a working
connection to common OpenVPN, openconnect-supported and vpnc-supported
VNC servers with typical configurations.
Footnote title "Supported servers and configurations": As there are
many different VPN server applications and configurations, blocker
reviewers must use their best judgment in determining whether
violations of this criterion are likely to be encountered commonly
enough to block a release, and if so, at which milestone. As a general
principle, the more people are likely to use affected servers and the
less complicated the configuration required to hit the bug, the more
likely it is to be a blocker.
--
Adam Williamson
Fedora QA Community Monkey
IRC: adamw | Twitter: AdamW_Fedora | XMPP: adamw AT happyassassin . net
http://www.happyassassin.net
2 years
Fedora 36 compose report: 20220301.n.0 changes
by Fedora Rawhide Report
OLD: Fedora-36-20220228.n.0
NEW: Fedora-36-20220301.n.0
===== SUMMARY =====
Added images: 0
Dropped images: 0
Added packages: 0
Dropped packages: 0
Upgraded packages: 0
Downgraded packages: 0
Size of added packages: 0 B
Size of dropped packages: 0 B
Size of upgraded packages: 0 B
Size of downgraded packages: 0 B
Size change of upgraded packages: 0 B
Size change of downgraded packages: 0 B
===== ADDED IMAGES =====
===== DROPPED IMAGES =====
===== ADDED PACKAGES =====
===== DROPPED PACKAGES =====
===== UPGRADED PACKAGES =====
===== DOWNGRADED PACKAGES =====
2 years
Fedora rawhide compose report: 20220301.n.0 changes
by Fedora Rawhide Report
OLD: Fedora-Rawhide-20220228.n.0
NEW: Fedora-Rawhide-20220301.n.0
===== SUMMARY =====
Added images: 0
Dropped images: 0
Added packages: 3
Dropped packages: 0
Upgraded packages: 114
Downgraded packages: 0
Size of added packages: 2.91 MiB
Size of dropped packages: 0 B
Size of upgraded packages: 3.99 GiB
Size of downgraded packages: 0 B
Size change of upgraded packages: 131.77 MiB
Size change of downgraded packages: 0 B
===== ADDED IMAGES =====
===== DROPPED IMAGES =====
===== ADDED PACKAGES =====
Package: jello-1.5.2-1.fc37
Summary: Query JSON at the command line with Python syntax
RPMs: jello
Size: 40.95 KiB
Package: perl-DBI-1.643-7.module_f37+13909+fd58ed5f
Summary: A database access API for perl
RPMs: perl-DBI
Size: 2.74 MiB
Package: perl-HTML-Gumbo-0.18-4.fc37
Summary: HTML5 parser based on gumbo C library
RPMs: perl-HTML-Gumbo
Size: 136.15 KiB
===== DROPPED PACKAGES =====
===== UPGRADED PACKAGES =====
Package: GraphicsMagick-1.3.37-1.fc37
Old package: GraphicsMagick-1.3.36-8.fc37
Summary: An ImageMagick fork, offering faster image generation and better quality
RPMs: GraphicsMagick GraphicsMagick-c++ GraphicsMagick-c++-devel GraphicsMagick-devel GraphicsMagick-doc GraphicsMagick-perl
Size: 10.44 MiB
Size change: 3.19 KiB
Changelog:
* Mon Feb 28 2022 Neal Gompa <ngompa(a)fedoraproject.org> - 1.3.37-1
- 1.3.37 (#2031567)
Package: alt-ergo-2.3.0-4.fc37
Old package: alt-ergo-2.3.0-3.fc36
Summary: Automated theorem prover including linear arithmetic
RPMs: alt-ergo alt-ergo-gui ocaml-alt-ergo-lib ocaml-alt-ergo-lib-devel ocaml-alt-ergo-parsers ocaml-alt-ergo-parsers-devel
Size: 91.50 MiB
Size change: 8.50 MiB
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 2.3.0-4
- Switch to the correct tarball
- Drop unneeded ocaml-findlib BR
- Add dependency on ocaml-alt-ergo-parsers from ocaml-alt-ergo-parsers-devel
Package: annobin-10.55-1.fc37
Old package: annobin-10.54-4.fc37
Summary: Annotate and examine compiled binary files
RPMs: annobin-annocheck annobin-docs annobin-plugin-clang annobin-plugin-gcc annobin-plugin-llvm
Size: 4.44 MiB
Size change: 9.80 KiB
Changelog:
* Mon Feb 28 2022 Nick Clifton <nickc(a)redhat.com> - 10.55-1
- Always identify Rust binaries, even if built on a host that does not know about Rust. (#2057737)
Package: bandit-1.7.3-1.fc37
Old package: bandit-1.7.2-1.fc36
Summary: A framework for performing security analysis of Python source code
RPMs: bandit
Size: 207.21 KiB
Size change: 7.49 KiB
Changelog:
* Mon Feb 28 2022 Mikel Olasagasti Uranga <mikel(a)olasagasti.info> 1.7.3-1
- Update to 1.7.3 - Closes rhbz#2059030
Package: bodhi-5.7.5-1.fc37
Old package: bodhi-5.7.4-2.fc37
Summary: A modular framework that facilitates publishing software updates
RPMs: bodhi-client bodhi-composer bodhi-docs bodhi-server python3-bodhi python3-bodhi-client python3-bodhi-messages
Size: 4.96 MiB
Size change: 734 B
Changelog:
* Mon Feb 28 2022 Ryan Lerch <rlerch(a)redhat.com> - 5.7.5-1
- Update to 5.7.5
Package: btrfs-fuse-0-8.20220301gitca53ed5.fc37
Old package: btrfs-fuse-0-7.20220202git2dfabc1.fc36
Summary: Read-only, license friendly, FUSE based btrfs implementation
RPMs: btrfs-fuse
Size: 403.05 KiB
Size change: 53 B
Changelog:
* Tue Mar 01 2022 Davide Cavalca <dcavalca(a)fedoraproject.org> 0-8
- Update to git snapshot ca53ed5
Package: cobbler-3.2.2-9.fc37
Old package: cobbler-3.2.2-8.fc36
Summary: Boot server configurator
RPMs: cobbler cobbler-tests cobbler-web
Size: 759.04 KiB
Size change: -128 B
Changelog:
* Tue Mar 01 2022 Orion Poplawski <orion(a)nwra.com> - 3.2.2-9
- Apply fixes for CVE-2021-45082/3
- Remove BR on python3-coverage
Package: coq-8.15.0-1.fc37
Old package: coq-8.14.1-4.fc36
Summary: Proof management system
RPMs: coq coq-coqide coq-coqide-server coq-core coq-doc
Size: 814.73 MiB
Size change: 4.06 MiB
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 8.15.0-1
- Version 8.15.0
Package: cross-binutils-2.38-1.fc37
Old package: cross-binutils-2.37-2.fc36
Summary: A GNU collection of cross-compilation binary utilities
RPMs: binutils-aarch64-linux-gnu binutils-alpha-linux-gnu binutils-arc-linux-gnu binutils-arm-linux-gnu binutils-avr32-linux-gnu binutils-bfin-linux-gnu binutils-c6x-linux-gnu binutils-cris-linux-gnu binutils-frv-linux-gnu binutils-h8300-linux-gnu binutils-hppa-linux-gnu binutils-hppa64-linux-gnu binutils-ia64-linux-gnu binutils-m32r-linux-gnu binutils-m68k-linux-gnu binutils-metag-linux-gnu binutils-microblaze-linux-gnu binutils-mips64-linux-gnu binutils-mn10300-linux-gnu binutils-nios2-linux-gnu binutils-openrisc-linux-gnu binutils-powerpc64-linux-gnu binutils-powerpc64le-linux-gnu binutils-ppc64-linux-gnu binutils-ppc64le-linux-gnu binutils-riscv64-linux-gnu binutils-s390x-linux-gnu binutils-score-linux-gnu binutils-sh-linux-gnu binutils-sparc64-linux-gnu binutils-tile-linux-gnu binutils-x86_64-linux-gnu binutils-xtensa-linux-gnu cross-binutils-common
Size: 266.94 MiB
Size change: 5.28 MiB
Changelog:
* Thu Oct 28 2021 Peter Jones <pjones(a)redhat.com> - 2.37-3
- Add support for pei-aarch64-little objects on aarch64
* Sun Dec 05 2021 Peter Robinson <pbrobinson(a)fedoraproject.org> - 2.37-4
- Sync to binutils-2.37-22
* Thu Jan 20 2022 Fedora Release Engineering <releng(a)fedoraproject.org> - 2.37-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Mon Feb 28 2022 Peter Robinson <pbrobinson(a)fedoraproject.org> - 2.38-1
- Rebase on GNU Binutils 2.38.
- Add support for specifying a section type in linker scripts. (#2052801)
Package: cups-1:2.4.1-4.fc37
Old package: cups-1:2.4.0-3.fc36
Summary: CUPS printing system
RPMs: cups cups-client cups-devel cups-filesystem cups-ipptool cups-libs cups-lpd cups-printerapp
Size: 23.45 MiB
Size change: 10.53 KiB
Changelog:
* Mon Feb 07 2022 Zdenek Dohnal <zdohnal(a)redhat.com> - 1:2.4.1-1
- 2047665 - cups-2.4.1 is available
* Wed Feb 16 2022 Zdenek Dohnal <zdohnal(a)redhat.com> - 1:2.4.1-2
- recommend ipp-usb in case there are devices which support IPP-over-USB
* Tue Feb 22 2022 Zdenek Dohnal <zdohnal(a)redhat.com> - 1:2.4.1-3
- own www/da and www/fr dirs
* Thu Feb 24 2022 Zdenek Dohnal <zdohnal(a)redhat.com> - 1:2.4.1-4
- jump based on uninitialized value in PPD related CUPS API on ppc64le
Package: dummy-test-package-gloster-0-7414.fc37
Old package: dummy-test-package-gloster-0-7401.fc37
Summary: Dummy Test Package called Gloster
RPMs: dummy-test-package-gloster
Size: 449.73 KiB
Size change: 748 B
Changelog:
* Mon Feb 28 2022 packagerbot <admin(a)fedoraproject.org> - 0-7402
- rebuilt
* Mon Feb 28 2022 packagerbot <admin(a)fedoraproject.org> - 0-7403
- rebuilt
* Mon Feb 28 2022 packagerbot <admin(a)fedoraproject.org> - 0-7404
- rebuilt
* Mon Feb 28 2022 packagerbot <admin(a)fedoraproject.org> - 0-7405
- rebuilt
* Mon Feb 28 2022 packagerbot <admin(a)fedoraproject.org> - 0-7406
- rebuilt
* Mon Feb 28 2022 packagerbot <admin(a)fedoraproject.org> - 0-7407
- rebuilt
* Mon Feb 28 2022 packagerbot <admin(a)fedoraproject.org> - 0-7408
- rebuilt
* Mon Feb 28 2022 packagerbot <admin(a)fedoraproject.org> - 0-7409
- rebuilt
* Mon Feb 28 2022 packagerbot <admin(a)fedoraproject.org> - 0-7410
- rebuilt
* Tue Mar 01 2022 packagerbot <admin(a)fedoraproject.org> - 0-7411
- rebuilt
* Tue Mar 01 2022 packagerbot <admin(a)fedoraproject.org> - 0-7412
- rebuilt
* Tue Mar 01 2022 packagerbot <admin(a)fedoraproject.org> - 0-7413
- rebuilt
* Tue Mar 01 2022 packagerbot <admin(a)fedoraproject.org> - 0-7414
- rebuilt
Package: emacs-dockerfile-mode-1.6-1.fc37
Old package: emacs-dockerfile-mode-1.5-2.fc36
Summary: An emacs mode for handling Dockerfiles
RPMs: emacs-dockerfile-mode
Size: 18.55 KiB
Size change: 150 B
Changelog:
* Tue Mar 01 2022 Mohamed El Morabity <melmorabity(a)fedoraproject.org> - 1.6-1
- Update to 1.6
Package: fedora-obsolete-packages-37-1
Old package: fedora-obsolete-packages-36-10
Summary: A package to obsolete retired packages
RPMs: fedora-obsolete-packages
Size: 14.02 KiB
Size change: -15.84 KiB
Changelog:
* Mon Feb 28 2022 Miro Hron��ok <mhroncok(a)redhat.com> - 37-1
- Initial Fedora 37 build
Package: firewalld-1.1.0-1.fc37
Old package: firewalld-1.0.1-3.fc36
Summary: A firewall daemon with D-Bus interface providing a dynamic firewall
RPMs: firewall-applet firewall-config firewalld firewalld-filesystem firewalld-test python3-firewall
Size: 1.12 MiB
Size change: 12.67 KiB
Changelog:
* Mon Feb 28 2022 Eric Garver <eric(a)garver.life> - 1.1.0-1
- rebase package to v1.1.0
Package: flocq-3.4.3-1.fc37
Old package: flocq-3.4.2-10.fc36
Summary: Formalization of floating point numbers for Coq
RPMs: flocq flocq-source
Size: 20.28 MiB
Size change: -22.91 KiB
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 3.4.3-1
- Version 3.4.3
- Use local coqdoc files
Package: frama-c-24.0-5.fc37
Old package: frama-c-24.0-4.fc36
Summary: Framework for source code analysis of C software
RPMs: frama-c frama-c-doc frama-c-emacs
Size: 246.19 MiB
Size change: -1.97 MiB
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 24.0-5
- Rebuild for coq 8.15.0 and why3 1.4.1
Package: gappalib-coq-1.5.1-1.fc37
Old package: gappalib-coq-1.5.0-4.fc36
Summary: Coq support library for gappa
RPMs: gappalib-coq gappalib-coq-source
Size: 8.04 MiB
Size change: -23.69 KiB
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 1.5.1-1
- Version 1.5.1
Package: grim-1.4.0-1.fc37
Old package: grim-1.3.2-3.fc36
Summary: Screenshot tool for Sway
RPMs: grim
Size: 102.85 KiB
Size change: 11.62 KiB
Changelog:
* Mon Feb 28 2022 Aleksei Bavshin <alebastr(a)fedoraproject.org> - 1.4.0-1
- Update to 1.4.0 (#2052418)
- Build bash and fish completions
Package: grub2-1:2.06-20.fc37
Old package: grub2-1:2.06-14.fc36
Summary: Bootloader with support for Linux, Multiboot and more
RPMs: grub2-common grub2-efi-aa64 grub2-efi-aa64-cdboot grub2-efi-aa64-modules grub2-efi-ia32 grub2-efi-ia32-cdboot grub2-efi-ia32-modules grub2-efi-x64 grub2-efi-x64-cdboot grub2-efi-x64-modules grub2-emu grub2-emu-modules grub2-pc grub2-pc-modules grub2-ppc64le grub2-ppc64le-modules grub2-tools grub2-tools-efi grub2-tools-extra grub2-tools-minimal
Dropped RPMs: grub2-efi-arm-modules
Size: 31.10 MiB
Size change: -853.82 KiB
Changelog:
* Thu Jan 20 2022 Robbie Harwood <rharwood(a)redhat.com> - 2.06-15
- Skip machine ID check when updating BLS
* Thu Feb 24 2022 Robbie Harwood <rharwood(a)redhat.com> - 2.06-16
- Suffer through updating gnulib
* Thu Feb 24 2022 Robbie Harwood <rharwood(a)redhat.com> - 2.06-17
- Fix appended signature support commit (thanks: pjones)
* Thu Feb 24 2022 Robbie Harwood <rharwood(a)redhat.com> - 2.06-18
- Add efidisk/connectefi patches
* Fri Feb 25 2022 Robbie Harwood <rharwood(a)redhat.com> - 2.06-19
- Fix stripping of annobin -spec
* Mon Feb 28 2022 Robbie Harwood <rharwood(a)redhat.com> - 2.06-20
- Disable the .package_note awfulness
- Resolves: #2058712
- Resolves: #2058527
Package: ibus-typing-booster-2.15.22-1.fc37
Old package: ibus-typing-booster-2.15.16-1.fc36
Summary: A completion input method
RPMs: emoji-picker ibus-typing-booster ibus-typing-booster-tests
Size: 1.07 MiB
Size change: 3.23 KiB
Changelog:
* Sun Feb 27 2022 Mike FABIAN <mfabian(a)redhat.com> - 2.15.22-1
- Update to 2.15.22
- Translation update from Weblate
(ca, de, es, fr, nl, pl, pt, pt_BR, sv, tr, uk, zh_CN, zh_TW updated)
- Add a ���Restore all defaults��� button to the setup tool
(Resolves: https://github.com/mike-fabian/ibus-typing-booster/issues/272)
- Allow capital letters and accents in user shortcuts
- Make user shortcuts containing punctuation possible
Resolves: https://github.com/mike-fabian/ibus-typing-booster/issues/271
- Do not record stuff to user database when itb_util.InputHints.PRIVATE is set
- Update emoji annotations from CLDR
Package: java-1.8.0-openjdk-1:1.8.0.322.b06-6.fc37
Old package: java-1.8.0-openjdk-1:1.8.0.322.b06-3.fc37
Summary: OpenJDK 8 Runtime Environment
RPMs: java-1.8.0-openjdk java-1.8.0-openjdk-demo java-1.8.0-openjdk-demo-fastdebug java-1.8.0-openjdk-demo-slowdebug java-1.8.0-openjdk-devel java-1.8.0-openjdk-devel-fastdebug java-1.8.0-openjdk-devel-slowdebug java-1.8.0-openjdk-fastdebug java-1.8.0-openjdk-headless java-1.8.0-openjdk-headless-fastdebug java-1.8.0-openjdk-headless-slowdebug java-1.8.0-openjdk-javadoc java-1.8.0-openjdk-javadoc-zip java-1.8.0-openjdk-openjfx java-1.8.0-openjdk-openjfx-devel java-1.8.0-openjdk-openjfx-devel-fastdebug java-1.8.0-openjdk-openjfx-devel-slowdebug java-1.8.0-openjdk-openjfx-fastdebug java-1.8.0-openjdk-openjfx-slowdebug java-1.8.0-openjdk-slowdebug java-1.8.0-openjdk-src java-1.8.0-openjdk-src-fastdebug java-1.8.0-openjdk-src-slowdebug
Size: 952.56 MiB
Size change: 203.20 KiB
Changelog:
* Sat Feb 26 2022 Jiri Vanek <jvanek(a)redhat.com> - 1:1.8.0.322.b06-4
- javadoc-zip got its own provides next to plain javadoc ones
* Sat Feb 26 2022 Jiri Vanek <jvanek(a)redhat.com> - 1:1.8.0.322.b06-5
- Family extracted to globals
* Sat Feb 26 2022 Jiri Vanek <jvanek(a)redhat.com> - 1:1.8.0.322.b06-6
- Storing and restoring alterntives during update manually
- Fixing Bug 2001567 - update of JDK/JRE is removing its manually selected alterantives and select (as auto) system JDK/JRE
-- The move of alternatives creation to posttrans to fix:
-- Bug 1200302 - dnf reinstall breaks alternatives
-- Had caused the alternatives to be removed, and then created again,
-- instead of being added, and then removing the old, and thus persisting
-- the selection in family
-- Thus this fix, is storing the family of manually selected master, and if
-- stored, then it is restoring the family of the master
Package: kernel-5.17.0-0.rc6.109.fc37
Old package: kernel-5.17.0-0.rc5.20220225git53ab78cd6d5a.106.fc37
Summary: The Linux kernel
RPMs: kernel kernel-core kernel-debug kernel-debug-core kernel-debug-devel kernel-debug-devel-matched kernel-debug-modules kernel-debug-modules-extra kernel-debug-modules-internal kernel-devel kernel-devel-matched kernel-doc kernel-modules kernel-modules-extra kernel-modules-internal
Added RPMs: kernel-debug-modules-internal
Size: 537.70 MiB
Size change: 111.96 MiB
Changelog:
* Sat Feb 26 2022 Fedora Kernel Team <kernel-team(a)fedoraproject.org> [5.17-0.rc5.9137eda53752.106]
- configs/fedora: Enable the interconnect SC7180 driver built-in (Enric Balletbo i Serra)
* Mon Feb 28 2022 Fedora Kernel Team <kernel-team(a)fedoraproject.org> [5.17-0.rc6.108]
- redhat: configs: change aarch64 default dma domain to lazy (Jerry Snitselaar)
- redhat: configs: disable ATM protocols (Davide Caratti)
* Mon Feb 28 2022 Fedora Kernel Team <kernel-team(a)fedoraproject.org> [5.17-0.rc6.109]
- mm/sparsemem: Fix 'mem_section' will never be NULL gcc 12 warning (Waiman Long)
* Mon Feb 28 2022 Justin M. Forbes <jforbes(a)fedoraproject.org> [5.17-0.rc6.109]
- Build CROS_EC Modules (Jason Montleon)
Package: kernel-headers-5.17.0-0.rc6.git0.1.fc37
Old package: kernel-headers-5.17.0-0.rc5.git0.1.fc37
Summary: Header files for the Linux kernel for use by glibc
RPMs: kernel-cross-headers kernel-headers
Size: 15.08 MiB
Size change: 3.15 KiB
Changelog:
* Mon Feb 28 2022 Justin M. Forbes <jforbes(a)fedoraproject.org> - 5.17.0-0.rc6.git0.1
- Linux v5.17-rc6.git0
Package: kernel-tools-5.17.0-0.rc6.git0.1.fc37
Old package: kernel-tools-5.17.0-0.rc5.git0.1.fc37
Summary: Assortment of tools for the Linux kernel
RPMs: bpftool kernel-tools kernel-tools-libs kernel-tools-libs-devel libperf libperf-devel perf python3-perf
Size: 20.96 MiB
Size change: -118.10 KiB
Changelog:
* Mon Feb 28 2022 Justin M. Forbes <jforbes(a)fedoraproject.org> - 5.17.0-0.rc6.git0.1
- Linux v5.17-rc6
Package: lexertl14-0.1.0^20220228gitcd5a1f1-1.fc37
Old package: lexertl14-0.1.0-5.20211222git2ea71b8.fc36
Summary: C++14 version of lexertl
RPMs: lexertl14-devel lexertl14-examples
Size: 437.01 KiB
Size change: 3.25 KiB
Changelog:
* Mon Feb 28 2022 Benjamin A. Beasley <code(a)musicinmybrain.net> 0.1.0-6
- Update to cd5a1f1 (Unicode 15)
* Mon Feb 28 2022 Benjamin A. Beasley <code(a)musicinmybrain.net> 0.1.0^20220228gitcd5a1f1-1
- Drop ���forge��� macros; adapt to current snapshot versioning guidelines
Package: libguestfs-1:1.47.2-6.fc37
Old package: libguestfs-1:1.47.2-5.fc36
Summary: Access and modify virtual machine disk images
RPMs: libguestfs libguestfs-appliance libguestfs-bash-completion libguestfs-devel libguestfs-dib libguestfs-forensics libguestfs-gfs2 libguestfs-gobject libguestfs-gobject-devel libguestfs-hfsplus libguestfs-inspect-icons libguestfs-man-pages-ja libguestfs-man-pages-uk libguestfs-rescue libguestfs-rsync libguestfs-ufs libguestfs-vala libguestfs-xfs libguestfs-zfs lua-guestfs ocaml-libguestfs ocaml-libguestfs-devel perl-Sys-Guestfs php-libguestfs python3-libguestfs ruby-libguestfs
Size: 24.92 MiB
Size change: -74 B
Changelog:
* Mon Feb 28 2022 Richard W.M. Jones <rjones(a)redhat.com> - 1:1.47.2-6
- Add more external programs used by the library
Package: libindi-1.9.4-2.fc37
Old package: libindi-1.9.4-1.fc36
Summary: Instrument Neutral Distributed Interface
RPMs: libindi libindi-devel libindi-libs libindi-static
Size: 15.33 MiB
Size change: 38.19 KiB
Changelog:
* Mon Feb 28 2022 Rex Dieter <rdieter(a)fedoraproject.org> - 1.9.4-2
- enable ogg/theora support
Package: lorax-36.9-1.fc37
Old package: lorax-36.8-1.fc37
Summary: Tool for creating the anaconda install images
RPMs: lorax lorax-docs lorax-lmc-novirt lorax-lmc-virt lorax-templates-generic
Size: 2.16 MiB
Size change: 1.81 KiB
Changelog:
* Mon Feb 28 2022 Brian C. Lane <bcl(a)redhat.com> 36.9-1
- Don't move the restart-anaconda file (vponcova(a)redhat.com)
Package: mingw-libjpeg-turbo-2.1.3-1.fc37
Old package: mingw-libjpeg-turbo-2.1.2-2.fc36
Summary: MinGW Windows Libjpeg-turbo library
RPMs: mingw32-libjpeg-turbo mingw32-libjpeg-turbo-static mingw32-turbojpeg mingw32-turbojpeg-static mingw64-libjpeg-turbo mingw64-libjpeg-turbo-static mingw64-turbojpeg mingw64-turbojpeg-static
Size: 1.73 MiB
Size change: 1.04 KiB
Changelog:
* Mon Feb 28 2022 Sandro Mani <manisandro(a)gmail.com> - 2.1.3-1
- Update to 2.1.3
Package: mingw-python-click-8.0.4-1.fc37
Old package: mingw-python-click-8.0.3-4.fc37
Summary: MinGW Windows Python click library
RPMs: mingw32-python3-click mingw64-python3-click
Size: 348.07 KiB
Size change: 169 B
Changelog:
* Mon Feb 28 2022 Sandro Mani <manisandro(a)gmail.com> - 8.0.4-1
- Update to 8.0.4
Package: mingw-python3-3.10.2-14.fc37
Old package: mingw-python3-3.10.2-13.fc37
Summary: MinGW Windows python3
RPMs: mingw32-python3 mingw64-python3
Size: 41.25 MiB
Size change: 72.63 KiB
Changelog:
* Mon Feb 28 2022 Sandro Mani <manisandro(a)gmail.com> - 3.10.2-14
- Re-add wrapper scripts under mingw host bin dir
Package: morphio-3.3.2-2.fc37
Old package: morphio-3.3.2-1.fc37
Summary: A python and C++ library for reading and writing neuronal morphologies
RPMs: morphio morphio-devel morphio-doc python3-morphio
Size: 4.10 MiB
Size change: 8.52 KiB
Changelog:
* Mon Feb 28 2022 Benjamin A. Beasley <code(a)musicinmybrain.net> 3.3.2-2
- Rebuild for lexertl14 cd5a1f1 (Unicode 15)
Package: nbdkit-1.30.0-3.fc37
Old package: nbdkit-1.30.0-1.fc37
Summary: NBD server
RPMs: nbdkit nbdkit-S3-plugin nbdkit-bash-completion nbdkit-basic-filters nbdkit-basic-plugins nbdkit-cc-plugin nbdkit-cdi-plugin nbdkit-curl-plugin nbdkit-devel nbdkit-example-plugins nbdkit-ext2-filter nbdkit-guestfs-plugin nbdkit-gzip-filter nbdkit-iso-plugin nbdkit-libvirt-plugin nbdkit-linuxdisk-plugin nbdkit-lua-plugin nbdkit-nbd-plugin nbdkit-ocaml-plugin nbdkit-ocaml-plugin-devel nbdkit-perl-plugin nbdkit-python-plugin nbdkit-ruby-plugin nbdkit-server nbdkit-srpm-macros nbdkit-ssh-plugin nbdkit-tar-filter nbdkit-tcl-plugin nbdkit-tmpdisk-plugin nbdkit-torrent-plugin nbdkit-vddk-plugin nbdkit-xz-filter
Added RPMs: nbdkit-srpm-macros
Size: 7.24 MiB
Size change: 6.28 KiB
Changelog:
* Mon Feb 28 2022 Richard W.M. Jones <rjones(a)redhat.com> - 1.30.0-3
- Add nbdkit-srpm-macros
Package: ocaml-alcotest-1.5.0-4.fc37
Old package: ocaml-alcotest-1.5.0-3.fc36
Summary: Lightweight and colorful test framework for OCaml
RPMs: ocaml-alcotest ocaml-alcotest-devel
Size: 4.78 MiB
Size change: -189 B
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 1.5.0-4
- Rebuild for ocaml-uutf 1.0.3
- Drop unnecessary ocaml-uuidm BR
Package: ocaml-base-0.15.0-4.fc37
Old package: ocaml-base-0.15.0-3.fc36
Summary: Jane Street standard library for OCaml
RPMs: ocaml-base ocaml-base-devel
Size: 52.08 MiB
Size change: 80.68 KiB
Changelog:
* Thu Feb 24 2022 Jerry James <loganjerry(a)gmail.com> - 0.15.0-4
- Version 0.15.0 rerelease
Package: ocaml-bin-prot-1:0.15.0-4.fc37
Old package: ocaml-bin-prot-1:0.15.0-3.fc36
Summary: Read and write OCaml values in a type-safe binary protocol
RPMs: ocaml-bin-prot ocaml-bin-prot-devel
Size: 7.64 MiB
Size change: 31.91 KiB
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 1:0.15.0-4
- Version 0.15.0 rerelease
Package: ocaml-compiler-libs-janestreet-0.12.4-6.fc37
Old package: ocaml-compiler-libs-janestreet-0.12.4-5.fc36
Summary: OCaml compiler libraries repackaged
RPMs: ocaml-compiler-libs-janestreet ocaml-compiler-libs-janestreet-devel
Size: 695.95 KiB
Size change: 520 B
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 0.12.4-6
- Build in release mode
Package: ocaml-ctypes-0.20.0-5.fc37
Old package: ocaml-ctypes-0.20.0-4.fc36
Summary: Combinators for binding to C libraries without writing any C
RPMs: ocaml-ctypes ocaml-ctypes-devel ocaml-ctypes-doc
Size: 6.73 MiB
Size change: 6.35 KiB
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 0.20.0-5
- Rebuild for ocaml-integers 0.6.0
Package: ocaml-fieldslib-0.15.0-4.fc37
Old package: ocaml-fieldslib-0.15.0-3.fc36
Summary: OCaml record fields as first class values
RPMs: ocaml-fieldslib ocaml-fieldslib-devel
Size: 310.20 KiB
Size change: 1.78 KiB
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 0.15.0-4
- Version 0.15.0 rerelease
Package: ocaml-gen-1.0-1.fc37
Old package: ocaml-gen-0.5.3-12.fc36
Summary: Simple, efficient iterators for OCaml
RPMs: ocaml-gen ocaml-gen-devel ocaml-gen-doc
Size: 3.38 MiB
Size change: 74.91 KiB
Changelog:
* Wed Feb 16 2022 Jerry James <loganjerry(a)gmail.com> - 1.0-1
- Version 1.0
Package: ocaml-integers-0.6.0-1.fc37
Old package: ocaml-integers-0.5.1-5.fc36
Summary: Various signed and unsigned integer types for OCaml
RPMs: ocaml-integers ocaml-integers-devel
Size: 1.56 MiB
Size change: 28.72 KiB
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 0.6.0-1
- Version 0.6.0
Package: ocaml-jane-street-headers-0.15.0-4.fc37
Old package: ocaml-jane-street-headers-0.15.0-3.fc36
Summary: Jane Street header files
RPMs: ocaml-jane-street-headers-devel
Size: 66.46 KiB
Size change: 371 B
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 0.15.0-4
- Version 0.15.0 rerelease
Package: ocaml-jst-config-0.15.0-4.fc37
Old package: ocaml-jst-config-0.15.0-3.fc36
Summary: Compile-time configuration for Jane Street libraries
RPMs: ocaml-jst-config-devel
Size: 54.18 KiB
Size change: 410 B
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 0.15.0-4
- Version 0.15.0 rerelease
Package: ocaml-luv-0.5.11-3.fc37
Old package: ocaml-luv-0.5.11-2.fc36
Summary: OCaml binding to libuv for cross-platform asynchronous I/O
RPMs: ocaml-luv ocaml-luv-devel
Size: 16.65 MiB
Size change: -59 B
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 0.5.11-3
- Rebuild for ocaml-integers 0.6.0
Package: ocaml-lwt-5.4.2-8.fc37
Old package: ocaml-lwt-5.4.2-7.fc36
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
Size: 34.63 MiB
Size change: 6.32 KiB
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 5.4.2-8
- Rebuild for ocaml-integers 0.6.0
Package: ocaml-markup-1.0.2-7.fc37
Old package: ocaml-markup-1.0.2-6.fc36
Summary: Error-recovering streaming HTML5 and XML parsers for OCaml
RPMs: ocaml-markup ocaml-markup-devel ocaml-markup-lwt ocaml-markup-lwt-devel
Size: 13.10 MiB
Size change: 611 B
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 1.0.2-7
- Rebuild for ocaml-uutf 1.0.3
Package: ocaml-menhir-20220210-2.fc37
Old package: ocaml-menhir-20211230-3.fc36
Summary: LR(1) parser generator for OCaml
RPMs: coq-menhirlib ocaml-menhir ocaml-menhirlib ocaml-menhirlib-devel
Size: 19.60 MiB
Size change: 336.28 KiB
Changelog:
* Thu Feb 24 2022 Jerry James <loganjerry(a)gmail.com> - 20220210-1
- Version 20220210
- Note the bundling of fix and pprint
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 20220210-2
- Build with coq support
Package: ocaml-mtime-1.4.0-1.fc37
Old package: ocaml-mtime-1.3.0-3.fc36
Summary: Monotonic wall-clock time for OCaml
RPMs: ocaml-mtime ocaml-mtime-devel
Size: 659.54 KiB
Size change: 43.33 KiB
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 1.4.0-1
- Version 1.4.0
Package: ocaml-parsexp-0.15.0-4.fc37
Old package: ocaml-parsexp-0.15.0-3.fc36
Summary: S-expression parsing library
RPMs: ocaml-parsexp ocaml-parsexp-devel
Size: 4.81 MiB
Size change: -4.23 KiB
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 0.15.0-4
- Version 0.15.0 rerelease
Package: ocaml-ppx-assert-0.15.0-5.fc37
Old package: ocaml-ppx-assert-0.15.0-4.fc36
Summary: Assert-like extension nodes that raise useful errors on failure
RPMs: ocaml-ppx-assert ocaml-ppx-assert-devel
Size: 20.67 MiB
Size change: 2.49 KiB
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 0.15.0-5
- Version 0.15.0 rerelease
Package: ocaml-ppx-base-0.15.0-5.fc37
Old package: ocaml-ppx-base-0.15.0-4.fc36
Summary: Base set of OCaml ppx rewriters
RPMs: ocaml-ppx-base ocaml-ppx-base-devel
Size: 41.20 MiB
Size change: -97.66 KiB
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 0.15.0-5
- Version 0.15.0 rerelease
- Drop unused ocaml-ppx-js-style-devel BR
Package: ocaml-ppx-cold-0.15.0-5.fc37
Old package: ocaml-ppx-cold-0.15.0-4.fc36
Summary: OCaml definition of [@@cold] attribute
RPMs: ocaml-ppx-cold ocaml-ppx-cold-devel
Size: 18.59 MiB
Size change: 537 B
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 0.15.0-5
- Version 0.15.0 rerelease
Package: ocaml-ppx-compare-0.15.0-5.fc37
Old package: ocaml-ppx-compare-0.15.0-4.fc36
Summary: Generate comparison functions from types
RPMs: ocaml-ppx-compare ocaml-ppx-compare-devel
Size: 1.68 MiB
Size change: 29.06 KiB
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 0.15.0-5
- Version 0.15.0 rerelease
Package: ocaml-ppx-custom-printf-0.15.0-5.fc37
Old package: ocaml-ppx-custom-printf-0.15.0-4.fc36
Summary: Printf-style format-strings for user-defined string conversion
RPMs: ocaml-ppx-custom-printf ocaml-ppx-custom-printf-devel
Size: 22.17 MiB
Size change: -21.16 KiB
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 0.15.0-5
- Version 0.15.0 rerelease
Package: ocaml-ppx-deriving-5.2.1-13.fc37
Old package: ocaml-ppx-deriving-5.2.1-12.fc36
Summary: Type-driven code generation for OCaml
RPMs: ocaml-ppx-deriving ocaml-ppx-deriving-devel ocaml-ppx-deriving-doc
Size: 26.21 MiB
Size change: -14.91 KiB
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 5.2.1-13
- Bump and rebuild
Package: ocaml-ppx-enumerate-0.15.0-5.fc37
Old package: ocaml-ppx-enumerate-0.15.0-4.fc36
Summary: Generate a list containing all values of a finite type
RPMs: ocaml-ppx-enumerate ocaml-ppx-enumerate-devel
Size: 1.11 MiB
Size change: 26.88 KiB
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 0.15.0-5
- Version 0.15.0 rerelease
Package: ocaml-ppx-expect-0.15.0-4.fc37
Old package: ocaml-ppx-expect-0.15.0-3.fc36
Summary: Framework for writing tests in OCaml
RPMs: ocaml-ppx-expect ocaml-ppx-expect-devel
Size: 23.84 MiB
Size change: 31.80 KiB
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 0.15.0-4
- Version 0.15.0 rerelease
Package: ocaml-ppx-fields-conv-0.15.0-4.fc37
Old package: ocaml-ppx-fields-conv-0.15.0-3.fc36
Summary: Generate accessor & iteration functions for OCaml records
RPMs: ocaml-ppx-fields-conv ocaml-ppx-fields-conv-devel
Size: 1.92 MiB
Size change: 741 B
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 0.15.0-4
- Version 0.15.0 rerelease
Package: ocaml-ppx-hash-0.15.0-5.fc37
Old package: ocaml-ppx-hash-0.15.0-4.fc36
Summary: Generate hash functions from type expressions and definitions
RPMs: ocaml-ppx-hash ocaml-ppx-hash-devel
Size: 1.48 MiB
Size change: 12.54 KiB
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 0.15.0-5
- Version 0.15.0 rerelease
Package: ocaml-ppx-here-0.15.0-5.fc37
Old package: ocaml-ppx-here-0.15.0-4.fc36
Summary: Expands [@here] into its location
RPMs: ocaml-ppx-here ocaml-ppx-here-devel
Size: 18.42 MiB
Size change: -86.92 KiB
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 0.15.0-5
- Version 0.15.0 rerelease
Package: ocaml-ppx-inline-test-0.15.0-4.fc37
Old package: ocaml-ppx-inline-test-0.15.0-3.fc36
Summary: Syntax extension for writing inline tests in OCaml code
RPMs: ocaml-ppx-inline-test ocaml-ppx-inline-test-devel
Size: 39.31 MiB
Size change: -51.62 KiB
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 0.15.0-4
- Version 0.15.0 rerelease
Package: ocaml-ppx-js-style-0.15.0-5.fc37
Old package: ocaml-ppx-js-style-0.15.0-4.fc36
Summary: Code style checker for Jane Street OCaml packages
RPMs: ocaml-ppx-js-style ocaml-ppx-js-style-devel
Size: 20.26 MiB
Size change: 37.76 KiB
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 0.15.0-5
- Version 0.15.0 rerelease
- Build documentation unconditionally
Package: ocaml-ppx-let-0.15.0-4.fc37
Old package: ocaml-ppx-let-0.15.0-3.fc36
Summary: Monadic let-bindings for OCaml
RPMs: ocaml-ppx-let ocaml-ppx-let-devel
Size: 20.40 MiB
Size change: 22.15 KiB
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 0.15.0-4
- Version 0.15.0 rerelease
Package: ocaml-ppx-optcomp-0.15.0-5.fc37
Old package: ocaml-ppx-optcomp-0.15.0-4.fc36
Summary: Optional compilation for OCaml
RPMs: ocaml-ppx-optcomp ocaml-ppx-optcomp-devel
Size: 2.25 MiB
Size change: 1.07 KiB
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 0.15.0-5
- Version 0.15.0 rerelease
Package: ocaml-ppx-sexp-conv-0.15.0-5.fc37
Old package: ocaml-ppx-sexp-conv-0.15.0-4.fc36
Summary: Generate S-expression conversion functions from type definitions
RPMs: ocaml-ppx-sexp-conv ocaml-ppx-sexp-conv-devel
Size: 6.67 MiB
Size change: 4.35 KiB
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 0.15.0-5
- Version 0.15.0 rerelease
Package: ocaml-ppx-variants-conv-0.15.0-4.fc37
Old package: ocaml-ppx-variants-conv-0.15.0-3.fc36
Summary: Generate accessor & iteration functions for OCaml variant types
RPMs: ocaml-ppx-variants-conv ocaml-ppx-variants-conv-devel
Size: 1.45 MiB
Size change: 1.83 KiB
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 0.15.0-4
- Version 0.15.0 rerelease
Package: ocaml-ppxlib-1:0.24.0-5.fc37
Old package: ocaml-ppxlib-1:0.24.0-4.fc36
Summary: Base library and tools for ppx rewriters
RPMs: ocaml-ppxlib ocaml-ppxlib-devel
Size: 84.00 MiB
Size change: -30.23 KiB
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 1:0.24.0-5
- Rebuild due to changed base, sexplib0, and stdio
- Drop unused ocaml-migrate-parsetree-devel BR
Package: ocaml-pyml-20211015-5.fc37
Old package: ocaml-pyml-20211015-4.fc36
Summary: OCaml bindings for Python
RPMs: ocaml-pyml ocaml-pyml-devel ocaml-pyml-doc pymltop pymlutop
Size: 83.35 MiB
Size change: 930.25 KiB
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 20211015-5
- Rebuild for ocaml-stdcompat 18
Package: ocaml-qcheck-0.18.1-1.fc37
Old package: ocaml-qcheck-0.18-6.fc36
Summary: QuickCheck inspired property-based testing for OCaml
RPMs: ocaml-qcheck ocaml-qcheck-alcotest ocaml-qcheck-alcotest-devel ocaml-qcheck-core ocaml-qcheck-core-devel ocaml-qcheck-devel ocaml-qcheck-doc ocaml-qcheck-ounit ocaml-qcheck-ounit-devel
Size: 10.05 MiB
Size change: 161.61 KiB
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 0.18.1-1
- Version 0.18.1
- Disable tests on 32-bit x86
- Give ppc64le extra stack space for running tests
Package: ocaml-sedlex-2.5-4.fc37
Old package: ocaml-sedlex-2.5-3.fc36
Summary: Unicode-friendly lexer generator
RPMs: ocaml-sedlex ocaml-sedlex-devel
Size: 26.44 MiB
Size change: 9.50 KiB
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 2.5-4
- Rebuild for ocaml-gen 1.0
- Add ocaml-seq-devel BR
Package: ocaml-sexplib-1:0.15.0-4.fc37
Old package: ocaml-sexplib-1:0.15.0-3.fc36
Summary: Automated S-expression conversion
RPMs: ocaml-sexplib ocaml-sexplib-devel ocaml-sexplib-vim
Size: 5.10 MiB
Size change: 315 B
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 1:0.15.0-4
- Version 0.15.0 rerelease
Package: ocaml-sexplib0-0.15.0-4.fc37
Old package: ocaml-sexplib0-0.15.0-3.fc36
Summary: Definition of S-expressions and some base converters
RPMs: ocaml-sexplib0 ocaml-sexplib0-devel
Size: 1.77 MiB
Size change: 72 B
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 0.15.0-4
- Version 0.15.0 rerelease
Package: ocaml-stdcompat-18-1.fc37
Old package: ocaml-stdcompat-17-3.fc36
Summary: Compatibility module for the OCaml standard library
RPMs: ocaml-stdcompat ocaml-stdcompat-devel
Size: 8.13 MiB
Size change: 2.22 MiB
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 18-1
- Version 18
Package: ocaml-stdio-0.15.0-4.fc37
Old package: ocaml-stdio-0.15.0-3.fc36
Summary: Jane Street Standard I/O library for OCaml
RPMs: ocaml-stdio ocaml-stdio-devel
Size: 689.21 KiB
Size change: 1.71 KiB
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 0.15.0-4
- Version 0.15.0 rerelease
Package: ocaml-time-now-0.15.0-5.fc37
Old package: ocaml-time-now-0.15.0-4.fc36
Summary: Get the current time in OCaml
RPMs: ocaml-time-now ocaml-time-now-devel
Size: 286.41 KiB
Size change: 1.72 KiB
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 0.15.0-5
- Version 0.15.0 rerelease
Package: ocaml-tyxml-4.5.0-10.fc37
Old package: ocaml-tyxml-4.5.0-9.fc36
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: 62.48 MiB
Size change: 844.84 KiB
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 4.5.0-10
- Rebuild for ocaml-uutf 1.0.3
- Build in release mode
Package: ocaml-uutf-1.0.3-1.fc37
Old package: ocaml-uutf-1.0.2-18.fc36
Summary: Non-blocking streaming Unicode codec for OCaml
RPMs: ocaml-uutf ocaml-uutf-devel
Size: 1.48 MiB
Size change: 2.63 KiB
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 1.0.3-1
- Version 1.0.3
- Drop upstreamed -uchar patch
Package: ocaml-variantslib-0.15.0-4.fc37
Old package: ocaml-variantslib-0.15.0-3.fc36
Summary: OCaml variants as first class values
RPMs: ocaml-variantslib ocaml-variantslib-devel
Size: 304.96 KiB
Size change: 1.74 KiB
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 0.15.0-4
- Version 0.15.0 rerelease
Package: open-vm-tools-11.3.5-1.fc37
Old package: open-vm-tools-11.3.0-5.fc36
Summary: Open Virtual Machine Tools for virtual machines hosted on VMware
RPMs: open-vm-tools open-vm-tools-desktop open-vm-tools-devel open-vm-tools-sdmp open-vm-tools-test
Size: 6.07 MiB
Size change: 108.28 KiB
Changelog:
* Tue Feb 01 2022 John Wolfe <jwolfe(a)vmware.com> - 11.3.0-5
- Address (fix) strings or array bounds warnings from GCC 12.0.x.
* Wed Feb 09 2022 John Wolfe <jwolfe(a)vmware.com> - 11.3.0-6
- Refactored asyncsocket.c patch to use size_t size and index variables.
* Thu Feb 24 2022 John Wolfe <jwolfe(a)vmware.com> - 11.3.5-1
- Package new upstream version open-vm-tools-11.3.5-18557794.
Package: osbuild-composer-46-1.fc37
Old package: osbuild-composer-45-1.fc37
Summary: An image building service based on osbuild
RPMs: osbuild-composer osbuild-composer-core osbuild-composer-dnf-json osbuild-composer-worker
Size: 53.84 MiB
Size change: 36.65 KiB
Changelog:
* Mon Feb 28 2022 Packit Service <user-cont-team+packit-service(a)redhat.com> - 46-1
CHANGES WITH 46:
----------------
* Simplified installer: add support for encrypted raw images (#2295)
* rhel86: automatically convert to LVM on fs customizations (#2373)
* RHEL9.0: convert layout to LVM on filesystem customisations (#2354)
* Update snapshots to 20220227 (#2370)
* Add Azure Marketplace images (#2358)
* devcontainer: adapt to composer (#2306)
* Update snapshots to 20220226 (#2368)
* RHEL 8.6: Add lvm2 to build root (#2367)
* schutzbot: keep runners alive when users are logged on (#2328)
* Adjust filesystem tests (#2362)
* Set selinux to permissive mode for installers (#2359)
* RHEL-90: use C.UTF-8 for images that only have glibc-minimal-langpack (#2351)
* test: Add work around for bug bz#2057769 (#2366)
* templates: Add production worker account to acl (#2365)
* tests/libvirt: add some regression tests (#2294)
* test/manifest/image-installer: fix conflicting merge (#2360)
* rhel86/90: change isolevel of image-installer to 3 (#2325)
* Update snapshots to 20220222 (#2343)
* simplified installer (8/9): support FDO (#1884)
* Image installer on aarch64 (#2355)
* FS minimum size (#2353)
* templates/composer: Verify against mass sso and rh sso (#2349)
* RHEL 9.0: Fix customisation of Kernel command line options (#2342)
* internal/cloudapi: Allow bp.Customizations being nil (#2340)
* Support specifying OSTree Parent and URL for creating upgrade commits (#2201)
* COMPOSER-1343: Revert "tests: Conditionally enable osbuild-dnf-json-tests" (#2338)
* Update team_ssh_keys.txt (#2333)
* templates/worker: fix depsolve error rate (#2337)
* worker/osbuild-koji: fix double-reporting of osbuild-koji job status (#2327)
* Revert "mockbuild: temporarily pin RHEL 9 compose to an older one" (#2332)
* test: Remove "ansible-galaxy collection install" (#2334)
* Schutzfile: Pin centos-9's osbuild commit (#2339)
* LUKS & LVM support and file system refactoring (#2141)
* internal/cloudapi: Log error in manifest job (#2336)
* internal/cloud: Allow aws creds from defaults (#2291)
* worker: use default transport instead of "blank" one (#2316)
* cloudapi: expose filesystem customizations (#2285)
Contributions from: Achilleas Koutsou, Alexander Todorov, Antonio Murdaca, Chloe Kaubisch, Christian Kellner, Djebran Lezzoum, Gianluca Zuccarelli, He Yi, Jakub Rusz, Ond��ej Budai, Sanne Raymaekers, Tom Gundersen, Tomas Hozza, Xiaofeng Wang
��� V��cklabruck, 2022-03-01
Package: perl-DB_File-1.857-1.fc37
Old package: perl-DB_File-1.856-3.fc36
Summary: Perl5 access to Berkeley DB version 1.x
RPMs: perl-DB_File perl-DB_File-tests
Size: 437.08 KiB
Size change: -313 B
Changelog:
* Mon Feb 28 2022 Jitka Plesnikova <jplesnik(a)redhat.com> - 1.857-1
- 1.857 bump
Package: perl-PDL-2.76.0-1.fc37
Old package: perl-PDL-2.75.0-1.fc37
Summary: The Perl Data Language
RPMs: perl-PDL perl-PDL-tests
Size: 17.57 MiB
Size change: 8.69 KiB
Changelog:
* Mon Feb 28 2022 Jitka Plesnikova <jplesnik(a)redhat.com> - 2.76.0-1
- 2.076 bump
Package: perl-Parallel-Pipes-0.100-1.fc37
Old package: perl-Parallel-Pipes-0.005-8.fc36
Summary: Parallel processing using pipes for communication and synchronization
RPMs: perl-Parallel-Pipes perl-Parallel-Pipes-tests
Added RPMs: perl-Parallel-Pipes-tests
Size: 33.71 KiB
Size change: 10.96 KiB
Changelog:
* Mon Feb 28 2022 Jitka Plesnikova <jplesnik(a)redhat.com> - 0.100-1
- 0.100 bump
- Package tests
Package: php-doctrine-lexer-1.2.3-1.fc37
Old package: php-doctrine-lexer-1.2.2-2.fc36
Summary: Base library for a lexer that can be used in top-down, recursive descent parsers
RPMs: php-doctrine-lexer
Size: 12.29 KiB
Size change: -92 B
Changelog:
* Mon Feb 28 2022 Remi Collet <remi(a)remirepo.net> - 1.2.3-1
- update to 1.2.3
Package: php-friendsofphp-proxy-manager-lts-1.0.6-1.fc37
Old package: php-friendsofphp-proxy-manager-lts-1.0.5-2.fc35
Summary: OOP proxy wrappers utilities
RPMs: php-friendsofphp-proxy-manager-lts
Size: 64.95 KiB
Size change: 359 B
Changelog:
* Fri Jan 21 2022 Fedora Release Engineering <releng(a)fedoraproject.org> - 1.0.5-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Mon Feb 28 2022 Remi Collet <remi(a)remirepo.net> - 1.0.6-1
- update to 1.0.6
Package: php-laminas-server-2.11.1-1.fc37
Old package: php-laminas-server-2.11.0-2.fc36
Summary: Laminas Framework Server component
RPMs: php-laminas-server
Size: 28.43 KiB
Size change: -6 B
Changelog:
* Mon Feb 28 2022 Remi Collet <remi(a)remirepo.net> - 2.11.1-1
- update to 2.11.1
Package: php-phpmailer6-6.6.0-1.fc37
Old package: php-phpmailer6-6.5.4-1.fc37
Summary: Full-featured email creation and transfer class for PHP
RPMs: php-phpmailer6
Size: 200.70 KiB
Size change: 850 B
Changelog:
* Mon Feb 28 2022 Remi Collet <remi(a)remirepo.net> - 6.6.0-1
- update to 6.6.0
Package: php-symfony4-4.4.38-1.fc37
Old package: php-symfony4-4.4.37-1.fc36
Summary: Symfony PHP framework (version 4)
RPMs: php-symfony4 php-symfony4-asset php-symfony4-browser-kit php-symfony4-cache php-symfony4-common php-symfony4-config php-symfony4-console php-symfony4-css-selector php-symfony4-debug php-symfony4-debug-bundle php-symfony4-dependency-injection php-symfony4-doctrine-bridge php-symfony4-dom-crawler php-symfony4-dotenv php-symfony4-error-handler php-symfony4-event-dispatcher php-symfony4-expression-language php-symfony4-filesystem php-symfony4-finder php-symfony4-form php-symfony4-framework-bundle php-symfony4-http-client php-symfony4-http-foundation php-symfony4-http-kernel php-symfony4-inflector php-symfony4-intl php-symfony4-ldap php-symfony4-lock php-symfony4-mailer php-symfony4-messenger php-symfony4-mime php-symfony4-monolog-bridge php-symfony4-options-resolver php-symfony4-phpunit-bridge php-symfony4-process php-symfony4-property-access php-symfony4-property-info php-symfony4-proxy-manager-bridge php-symfony4-routing php-symfony4-security php-symfony4-security-bundle php-symfony4-serializer php-symfony4-stopwatch php-symfony4-templating php-symfony4-translation php-symfony4-twig-bridge php-symfony4-twig-bundle php-symfony4-validator php-symfony4-var-dumper php-symfony4-var-exporter php-symfony4-web-link php-symfony4-web-profiler-bundle php-symfony4-web-server-bundle php-symfony4-workflow php-symfony4-yaml
Size: 4.69 MiB
Size change: -4.20 KiB
Changelog:
* Mon Feb 28 2022 Remi Collet <remi(a)remirepo.net> - 4.4.38-1
- update to 4.4.38
Package: pykickstart-3.37-1.fc37
Old package: pykickstart-3.36-1.fc37
Summary: Python utilities for manipulating kickstart files.
RPMs: pykickstart python3-kickstart
Size: 449.91 KiB
Size change: 575 B
Changelog:
* Mon Feb 28 2022 Brian C. Lane <bcl(a)redhat.com> - 3.37-1
- Remove the --ignorebroken option from RHEL handlers (vponcova)
- Add the isRHEL function (vponcova)
Package: python-anykeystore-0.2-33.fc37
Old package: python-anykeystore-0.2-32.fc36
Summary: A key-value store supporting multiple backends
RPMs: python3-anykeystore
Size: 39.00 KiB
Size change: -44 B
Changelog:
* Thu Feb 24 2022 Charalampos Stratakis <cstratak(a)redhat.com> - 0.2-33
- Utilize pytest instead of the deprecated nose test runner
- Use mock from the standard library
Package: python-cma-3.2.0-1.fc37
Old package: python-cma-3.1.0-3.fc36
Summary: Covariance Matrix Adaptation Evolution Strategy numerical optimizer
RPMs: python3-cma
Size: 371.15 KiB
Size change: 3.06 KiB
Changelog:
* Tue Mar 01 2022 Christoph Junghans <junghans(a)votca.org> - 3.2.0-1
- Version bump to v3.2.0 (bug #2058983)
Package: python-google-cloud-api-gateway-1.2.0-1.fc37
Old package: python-google-cloud-api-gateway-1.1.1-2.fc36
Summary: Python Client for Google Cloud API Gateway
RPMs: python3-google-cloud-api-gateway
Size: 63.42 KiB
Size change: 1.61 KiB
Changelog:
* Mon Feb 28 2022 Major Hayden <major(a)redhat.com> 1.2.0-1
- Update to 1.2.0
Package: python-google-cloud-bigtable-2.5.2-1.fc37
Old package: python-google-cloud-bigtable-2.5.1-1.fc37
Summary: Python Client for Google Cloud Bigtable API
RPMs: python3-google-cloud-bigtable
Size: 218.02 KiB
Size change: 121 B
Changelog:
* Mon Feb 28 2022 Major Hayden <major(a)mhtx.net> 2.5.2-1
- Update 2.5.2
Package: python-google-cloud-org-policy-1.3.0-1.fc37
Old package: python-google-cloud-org-policy-1.2.1-2.fc36
Summary: Python Client for Google Cloud Organization Policy API
RPMs: python3-google-cloud-org-policy
Size: 65.21 KiB
Size change: 1.42 KiB
Changelog:
* Mon Feb 28 2022 Major Hayden <major(a)redhat.com> 1.3.0-1
- Update to 1.3.0
Package: python-google-cloud-os-config-1.10.0-1.fc37
Old package: python-google-cloud-os-config-1.9.0-2.fc36
Summary: Python Client for Google Cloud OS Config API
RPMs: python3-google-cloud-os-config
Size: 138.19 KiB
Size change: 4.34 KiB
Changelog:
* Mon Feb 28 2022 Major Hayden <major(a)redhat.com> 1.10.0-1
- Update to 1.10.0
Package: python-hatchling-0.18.0-1.fc37
Old package: python-hatchling-0.17.0-1.fc37
Summary: The build backend used by Hatch
RPMs: python3-hatchling
Size: 111.05 KiB
Size change: 581 B
Changelog:
* Mon Feb 28 2022 Benjamin A. Beasley <code(a)musicinmybrain.net> 0.18.0-1
- Update to 0.18.0 (close RHBZ#2059065)
Package: python-importlib-metadata-4.11.2-1.fc37
Old package: python-importlib-metadata-4.11.1-1.fc37
Summary: Library to access the metadata for a Python package
RPMs: python3-importlib-metadata
Size: 40.21 KiB
Size change: 136 B
Changelog:
* Mon Feb 28 2022 Lum��r Balhar <lbalhar(a)redhat.com> - 4.11.2-1
- Update to 4.11.2
Resolves: rhbz#2059016
Package: python-lunr-0.6.2-1.fc37
Old package: python-lunr-0.6.1-2.fc36
Summary: A Python implementation of Lunr.js
RPMs: python3-lunr python3-lunr+languages
Size: 74.75 KiB
Size change: 362 B
Changelog:
* Mon Feb 28 2022 Sandro Mani <manisandro(a)gmail.com> - 0.6.3-1
- Update to 0.6.3
Package: python-nb2plots-0.6-20.20201224.1a7bac4.fc37
Old package: python-nb2plots-0.6-19.20201224.1a7bac4.fc36
Summary: Convert between Jupyter notebooks and sphinx docs
RPMs: python-nb2plots-docs python3-nb2plots
Size: 571.39 KiB
Size change: -250 B
Changelog:
* Mon Feb 28 2022 Lum��r Balhar <lbalhar(a)redhat.com> - 0.6-20.20201224.1a7bac4
- Fix tests for newer dependencies
Package: python-scp-0.14.4-1.fc37
Old package: python-scp-0.14.3-1.fc37
Summary: Scp module for paramiko
RPMs: python3-scp
Size: 22.70 KiB
Size change: 105 B
Changelog:
* Mon Feb 28 2022 chedi <chedi.toueiti(a)gmail.com> 0.14.4-1
- update to version 0.14.4 (#2058419)
Package: python-toml-adapt-0.2.5-1.fc37
Old package: python-toml-adapt-0.2.4-1.fc36
Summary: A very simple CLI for manipulating toml files
RPMs: python3-toml-adapt
Size: 35.61 KiB
Size change: 4.33 KiB
Changelog:
* Mon Feb 28 2022 Iztok Fister Jr. <iztokf AT fedoraproject DOT org> - 0.2.5-1
- Update to the latest upstream's release
Package: radare2-5.6.4-1.fc37
Old package: radare2-5.6.0-2.fc37
Summary: The reverse engineering framework
RPMs: radare2 radare2-common radare2-devel
Size: 22.63 MiB
Size change: 6.52 KiB
Changelog:
* Wed Feb 09 2022 Michal Ambroz <rebus at, seznam.cz> 5.6.2-1
- bump to 5.6.2
- disable multithreading for now to be able to compile with iaito
* Mon Feb 28 2022 Michal Ambroz <rebus at, seznam.cz> 5.6.4-1
- bump to 5.6.4
Package: rubygem-concurrent-ruby-1.1.9-1.fc37
Old package: rubygem-concurrent-ruby-1.1.5-6.fc36
Summary: Modern concurrency tools for Ruby
RPMs: rubygem-concurrent-ruby rubygem-concurrent-ruby-doc
Size: 1.06 MiB
Size change: 71.38 KiB
Changelog:
* Mon Feb 28 2022 V��t Ondruch <vondruch(a)redhat.com> - 1.1.9-1
- Update to Concurrent Ruby 1.1.9.
Resolves: rhbz#1801443
Package: sddm-0.19.0^git20220228.c257a40-1.fc37
Old package: sddm-0.19.0^git20220224.5ad9f19-2.fc37
Summary: QML based desktop and login manager
RPMs: sddm sddm-themes sddm-wayland-generic sddm-x11
Size: 15.43 MiB
Size change: 2.29 KiB
Changelog:
* Mon Feb 28 2022 Neal Gompa <ngompa(a)fedoraproject.org> - 0.19.0^git20220228.c257a40-1
- Update to new snapshot
- Drop merged proposed patch to not ignore EINTR when activating
Package: sos-4.3-2.fc37
Old package: sos-4.3-1.fc37
Summary: A set of tools to gather troubleshooting information from a system
RPMs: sos
Size: 748.78 KiB
Size change: 7.20 KiB
Changelog:
* Mon Feb 28 2022 Sandro Bonazzola <sbonazzo(a)redhat.com> - 4.3-2
- add latest patched including fix for missing help plugin (bz#2058142)
Package: sqlitebrowser-3.13.0-0.3.gita302128.fc37
Old package: sqlitebrowser-3.13.0-0.2.gita302128.fc36
Summary: Create, design, and edit SQLite database files
RPMs: sqlitebrowser
Size: 7.79 MiB
Size change: 57.67 KiB
Changelog:
* Mon Feb 28 2022 Sandro Mani <manisandro(a)gmail.com> - 3.13.0-0.3.gita302128
- Add support for encrypted databases
Package: squashfs-tools-4.5-21.20220228git263a14e.fc37
Old package: squashfs-tools-4.5-20.20220225gitc883f32.fc37
Summary: Utility for the creation of squashfs filesystems
RPMs: squashfs-tools
Size: 891.26 KiB
Size change: 5.75 KiB
Changelog:
* Mon Feb 28 2022 Bruno Wolff III <bruno(a)wolff.to> - 4.5-21.20220228git263a14e
- Continue testing upstream patches prior to 4.5.1 release.
- Man page improvement
Package: sscg-3.0.2-1.fc37
Old package: sscg-3.0.1-2.fc36
Summary: Simple SSL certificate generator
RPMs: sscg
Size: 181.86 KiB
Size change: -319 B
Changelog:
* Mon Feb 28 2022 Stephen Gallagher <sgallagh(a)redhat.com> 3.0.2-1
- [packit] 3.0.2 upstream release
Package: uglify-js-3.15.2-1.fc37
Old package: uglify-js-3.15.1-1.fc36
Summary: JavaScript parser, mangler/compressor and beautifier toolkit
RPMs: js-uglify uglify-js
Size: 202.27 KiB
Size change: 718 B
Changelog:
* Mon Feb 28 2022 Mattias Ellert <mattias.ellert(a)physics.uu.se> - 3.15.2-1
- Update to 3.15.2
Package: uresourced-0.5.1-1.fc37
Old package: uresourced-0.5.0-1.fc37
Summary: Dynamically allocate resources to the active user
RPMs: uresourced
Size: 246.48 KiB
Size change: 867 B
Changelog:
* Mon Feb 28 2022 Benjamin Berg <bberg(a)redhat.com> 0.5.1-1
- Update to 0.5.1
Package: viewnior-1.8-4.fc37
Old package: viewnior-1.8-2.fc36
Summary: Elegant image viewer
RPMs: viewnior
Size: 673.48 KiB
Size change: 174 B
Changelog:
* Tue Mar 01 2022 Mukundan Ragavan <nonamedotc(a)gmail.com> 1.8-4
- Add webp-pixbuf loader as dep to enable webp support
Package: why3-1.4.1-1.fc37
Old package: why3-1.4.0-11.fc36
Summary: Software verification platform
RPMs: ocaml-why3 ocaml-why3-devel why3 why3-all why3-emacs why3-examples why3-proofgeneral
Size: 73.11 MiB
Size change: -359.38 KiB
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 1.4.1-1
- Version 1.4.1
Package: xterm-371-1.fc37
Old package: xterm-370-3.fc36
Summary: Terminal emulator for the X Window System
RPMs: xterm xterm-resize
Size: 2.56 MiB
Size change: 3.03 KiB
Changelog:
* Mon Feb 28 2022 Tomas Korbar <tkorbar(a)redhat.com> - 371-1
- Rebase to version 371
- Resolves: rhbz#2058442
Package: zenon-0.8.5-5.fc37
Old package: zenon-0.8.5-4.fc36
Summary: Automated theorem prover for first-order classical logic
RPMs: zenon
Size: 5.85 MiB
Size change: -14.25 KiB
Changelog:
* Mon Feb 28 2022 Jerry James <loganjerry(a)gmail.com> - 0.8.5-5
- Rebuild for coq 8.15.0
===== DOWNGRADED PACKAGES =====
2 years