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