... and ocaml-camlpdf which is also a very new package so was missing off my list. Rebuilding.

.. and frama-c. That turned out to have failed because of the Koji 502 gateway error. I'll do this one by hand as well.

As discussed on the mailing list, ocaml-stdcompat couldn't be upgaded because it lacks support for OCaml 5.4 upstream. That affects coccinelle & ocaml-pyxml.

The libguestfs one is because PHP was being rebuilt in another side tag at the same time as OCaml was, so it's the usual thing where two side tags collide.

The xen one was actually missing from my list of packages. I'll do it now & add it to the list of OCaml packages.

I tested this locally already.

Works for me & fixes bug 2388455

A "push to stable" button has appeared today ...

I unpushed it earlier in the hope that this would make the mystery action available, but all that has done is to make things worse, so here we are.

Downvoting the update meant that it would not be pushed, even though the update itself was & is fine, and is needed to fix the thing that you're complaining about. Downvoting is quite high stakes unfortunately. Further compounding the problem is that the message tells me "The maintainer may push manually if they determine that the issue is not severe." but as far as I can tell that is not actually true, or if it is then there's no obvious button to make that happen.

This update has been unpushed.

Tested the update myself & it works.

FIxed this, turned out that it was caused by disabling ACPI implicitly in libvirt.

FIxed this, turned out that it was caused by disabling ACPI implicitly in libvirt.

"fedora-ci.koji-build.rpmdeplint.functional" failed, but also says "ABSENT" so maybe it didn't fail but also didn't run? There's no way I can find to view the test results. The way the tests are presented is a UI disaster.

Ugh I thought we'd got rid of that one for good ...

I manually tested this on Fedora 42 and it works for me:

$ rpm -q libnfs qemu-system-x86
libnfs-6.0.2-2.fc43.x86_64
qemu-system-x86-9.2.0-22.fc42.x86_64
$ rpm -q --provides libnfs | grep libnfs.so
libnfs.so.16()(64bit)
$ rpm -q --recommends qemu-tools
systemtap-client

(Note you have to enable updates-testing)

Fixed the duplicate lines problem here.

Works great here.

Also noted that it doesn't cause gnutls to link libssl (presumably because it uses dlopen to get liboqs), as that would have caused problems with our application.

I can't comment on the state of the server, but this command should work:

koji download-task 124609055