why3-1.8.1-8.fc43.ppc64le |
Software verification platform |
Fedora 43 testing updates for ppc64le |
why3-all-1.8.1-8.fc43.ppc64le |
Complete Why3 software verification platform suite |
Fedora 43 testing updates for ppc64le |
why3-emacs-1.8.1-8.fc43.noarch |
Emacs support file for why3 files |
Fedora 43 testing updates for ppc64le |
why3-examples-1.8.1-8.fc43.noarch |
Example inputs |
Fedora 43 testing updates for ppc64le |
why3-proofgeneral-1.8.1-8.fc43.noarch |
Why3 integration with ProofGeneral |
Fedora 43 testing updates for ppc64le |
wireplumber-0.5.11-1.fc43.ppc64le |
A modular session/policy manager for PipeWire |
Fedora 43 testing updates for ppc64le |
wireplumber-devel-0.5.11-1.fc43.ppc64le |
Development files for wireplumber |
Fedora 43 testing updates for ppc64le |
wireplumber-doc-0.5.11-1.fc43.ppc64le |
Documentation for wireplumber |
Fedora 43 testing updates for ppc64le |
wireplumber-libs-0.5.11-1.fc43.ppc64le |
Libraries for WirePlumber clients |
Fedora 43 testing updates for ppc64le |