On Tue, Mar 18, 2025 at 12:05 PM Zbigniew Jędrzejewski-Szmek <zbys...@in.waw.pl> wrote: > * TOPIC: #3377 cmake 4.0 breaks compatibility, was updated without a Change > Request (@zbyszek:fedora.im, 17:15:59) > * AGREED: (+5, 0, 0) (@zbyszek:fedora.im, 17:38:44) > * AGREED: We ask releng to untag cmake-4.0.x builds from rawhide and the > maintainers to revert the update in dist-git for now. > A Change proposal should be then filed and discussed to figure > out how to do the transition in a smoother way. (@zbyszek:fedora.im, 17:39:24)
I assume that the untagging just happened, and that that is why the frama-c build now fails in Rawhide: DEBUG util.py:459: Failed to resolve the transaction: DEBUG util.py:459: Problem 1: package ocaml-lablgtk3-sourceview3-devel-3.1.5-5.fc42.x86_64 from build requires gtksourceview3-devel(x86-64), but none of the providers can be installed DEBUG util.py:459: - package gtksourceview3-devel-3.24.11-15.fc42.x86_64 from build requires pkgconfig(libxml-2.0) >= 2.6, but none of the providers can be installed DEBUG util.py:459: - conflicting requests DEBUG util.py:459: - nothing provides cmake-filesystem(x86-64) needed by libxml2-devel-2.12.10-1.fc43.x86_64 from build DEBUG util.py:459: Problem 2: package ocaml-why3-devel-1.8.0-4.fc43.x86_64 from build requires ocaml-zip-devel(x86-64), but none of the providers can be installed DEBUG util.py:459: - package ocaml-why3-devel-1.8.0-4.fc43.x86_64 from build requires ocamlx(Gzip) = a8b2cd57ece191f8b79e66e1ada6cf93, but none of the providers can be installed DEBUG util.py:459: - package ocaml-zip-devel-1.13-2.fc42.x86_64 from build requires zlib-ng-devel(x86-64), but none of the providers can be installed DEBUG util.py:459: - conflicting requests DEBUG util.py:459: - nothing provides cmake-filesystem(x86-64) needed by zlib-ng-devel-2.2.4-2.fc43.x86_64 from build DEBUG util.py:459: Problem 3: package gtk3-devel-3.24.49-1.fc43.x86_64 from build requires pkgconfig(gio-2.0) >= 2.57.2, but none of the providers can be installed DEBUG util.py:459: - package gtk3-devel-3.24.49-1.fc43.x86_64 from build requires pkgconfig(gio-unix-2.0) >= 2.57.2, but none of the providers can be installed DEBUG util.py:459: - package ocaml-lablgtk3-devel-3.1.5-5.fc42.x86_64 from build requires gtk3-devel(x86-64), but none of the providers can be installed DEBUG util.py:459: - package glib2-devel-2.84.0-1.fc43.x86_64 from build requires pkgconfig(zlib), but none of the providers can be installed DEBUG util.py:459: - conflicting requests DEBUG util.py:459: - nothing provides cmake-filesystem(x86-64) needed by zlib-ng-compat-devel-2.2.4-2.fc43.x86_64 from build It looks like openssh just failed to build for this reason as well. We seem to have zero cmake builds tagged into Rawhide at the moment. -- Jerry James http://www.jamezone.org/ -- _______________________________________________ devel mailing list -- devel@lists.fedoraproject.org To unsubscribe send an email to devel-le...@lists.fedoraproject.org Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue
