WALinuxAgent-2.11.1.12-1.fc41.noarch |
The Microsoft Azure Linux Agent |
Fedora 41 updates for aarch64 |
WALinuxAgent-udev-2.11.1.12-1.fc41.noarch |
Udev rules for Microsoft Azure |
Fedora 41 updates for aarch64 |
waf-2.1.2-1.fc41.noarch |
A Python-based build system |
Fedora 41 updates for aarch64 |
waf-doc-2.1.2-1.fc41.noarch |
Documentation for waf |
Fedora 41 updates for aarch64 |
wasmedge-0.14.1-1.fc41.aarch64 |
High performance WebAssembly Virtual Machine |
Fedora 41 updates for aarch64 |
wasmedge-devel-0.14.1-1.fc41.aarch64 |
WasmEdge development files |
Fedora 41 updates for aarch64 |
wasmedge-rt-0.14.1-1.fc41.aarch64 |
WasmEdge Runtime |
Fedora 41 updates for aarch64 |
wayfire-0.9.0-2.fc41.aarch64 |
A modular and extensible wayland compositor |
Fedora 41 updates for aarch64 |
wayfire-config-manager-0.9.0-2.fc41.aarch64 |
Wayfire Config Manager |
Fedora 41 updates for aarch64 |
wayfire-devel-0.9.0-2.fc41.aarch64 |
Development files for wayfire |
Fedora 41 updates for aarch64 |
wf-config-0.9.0-1.fc41.aarch64 |
Library for managing configuration files, written for wayfire |
Fedora 41 updates for aarch64 |
wf-config-devel-0.9.0-1.fc41.aarch64 |
Development files for wf-config |
Fedora 41 updates for aarch64 |
wf-shell-0.9.0-1.fc41.aarch64 |
GTK3-based panel for wayfire |
Fedora 41 updates for aarch64 |
wf-shell-devel-0.9.0-1.fc41.aarch64 |
Development files for wf-shell |
Fedora 41 updates for aarch64 |
why3-1.7.2-9.fc41.aarch64 |
Software verification platform |
Fedora 41 updates for aarch64 |
why3-all-1.7.2-9.fc41.aarch64 |
Complete Why3 software verification platform suite |
Fedora 41 updates for aarch64 |
why3-emacs-1.7.2-9.fc41.noarch |
Emacs support file for why3 files |
Fedora 41 updates for aarch64 |
why3-examples-1.7.2-9.fc41.noarch |
Example inputs |
Fedora 41 updates for aarch64 |
why3-proofgeneral-1.7.2-9.fc41.noarch |
Why3 integration with ProofGeneral |
Fedora 41 updates for aarch64 |
wireshark-4.4.1-1.fc41.aarch64 |
Network traffic analyzer |
Fedora 41 updates for aarch64 |