Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Available as an rdf channel
webkit2gtk4.0-2.46.3-1.fc40.i686 | WebKitGTK for GTK 3 and libsoup 2 | Fedora 40 updates for x86_64 |
webkit2gtk4.0-2.46.3-1.fc40.x86_64 | WebKitGTK for GTK 3 and libsoup 2 | Fedora 40 updates for x86_64 |
webkit2gtk4.0-devel-2.46.3-1.fc40.x86_64 | Development files for webkit2gtk4.0 | Fedora 40 updates for x86_64 |
webkit2gtk4.0-devel-2.46.3-1.fc40.i686 | Development files for webkit2gtk4.0 | Fedora 40 updates for x86_64 |
webkit2gtk4.0-doc-2.46.3-1.fc40.noarch | Documentation files for webkit2gtk4.0 | Fedora 40 updates for x86_64 |
webkit2gtk4.1-2.46.3-1.fc40.x86_64 | WebKitGTK for GTK 3 and libsoup 3 | Fedora 40 updates for x86_64 |
webkit2gtk4.1-2.46.3-1.fc40.i686 | WebKitGTK for GTK 3 and libsoup 3 | Fedora 40 updates for x86_64 |
webkit2gtk4.1-devel-2.46.3-1.fc40.i686 | Development files for webkit2gtk4.1 | Fedora 40 updates for x86_64 |
webkit2gtk4.1-devel-2.46.3-1.fc40.x86_64 | Development files for webkit2gtk4.1 | Fedora 40 updates for x86_64 |
webkit2gtk4.1-doc-2.46.3-1.fc40.noarch | Documentation files for webkit2gtk4.1 | Fedora 40 updates for x86_64 |
webkitgtk6.0-2.46.3-1.fc40.x86_64 | WebKitGTK for GTK 4 | Fedora 40 updates for x86_64 |
webkitgtk6.0-2.46.3-1.fc40.i686 | WebKitGTK for GTK 4 | Fedora 40 updates for x86_64 |
webkitgtk6.0-devel-2.46.3-1.fc40.i686 | Development files for webkitgtk6.0 | Fedora 40 updates for x86_64 |
webkitgtk6.0-devel-2.46.3-1.fc40.x86_64 | Development files for webkitgtk6.0 | Fedora 40 updates for x86_64 |
webkitgtk6.0-doc-2.46.3-1.fc40.noarch | Documentation files for webkit2gtk5.0 | Fedora 40 updates for x86_64 |
weechat-4.4.3-1.fc40.i686 | Portable, fast, light and extensible IRC client | Fedora 40 updates for x86_64 |
weechat-4.4.3-1.fc40.x86_64 | Portable, fast, light and extensible IRC client | Fedora 40 updates for x86_64 |
weechat-devel-4.4.3-1.fc40.x86_64 | Development files for weechat | Fedora 40 updates for x86_64 |
weechat-devel-4.4.3-1.fc40.i686 | Development files for weechat | Fedora 40 updates for x86_64 |
webextension-gsconnect-58-1.fc40.x86_64 | Web browser integration for GSConnect | Fedora 40 updates for x86_64 |
wasmedge-0.14.1-2.fc40.x86_64 | High performance WebAssembly Virtual Machine | Fedora 40 updates for x86_64 |
wasmedge-devel-0.14.1-2.fc40.x86_64 | WasmEdge development files | Fedora 40 updates for x86_64 |
wasmedge-rt-0.14.1-2.fc40.x86_64 | WasmEdge Runtime | Fedora 40 updates for x86_64 |
wxsqlite3-4.9.12-1.fc40.i686 | C++ wrapper around the SQLite 3.x database | Fedora 40 updates for x86_64 |
wxsqlite3-4.9.12-1.fc40.x86_64 | C++ wrapper around the SQLite 3.x database | Fedora 40 updates for x86_64 |
wxsqlite3-devel-4.9.12-1.fc40.x86_64 | Development files for wxsqlite3 | Fedora 40 updates for x86_64 |
wxsqlite3-devel-4.9.12-1.fc40.i686 | Development files for wxsqlite3 | Fedora 40 updates for x86_64 |
wxsqlite3-doc-4.9.12-1.fc40.noarch | Documentation files for wxsqlite3 | Fedora 40 updates for x86_64 |
wl-mirror-0.17.0-1.fc40.x86_64 | Simple Wayland output mirror client | Fedora 40 updates for x86_64 |
waycheck-1.4.0-1.fc40.x86_64 | Simple GUI that displays protocols implemented by a Wayland compositor | Fedora 40 updates for x86_64 |
wayland-protocols-devel-1.38-1.fc40.noarch | Wayland protocols that adds functionality not available in the core protocol | Fedora 40 updates for x86_64 |
wireshark-4.2.8-1.fc40.x86_64 | Network traffic analyzer | Fedora 40 updates for x86_64 |
wireshark-cli-4.2.8-1.fc40.x86_64 | Network traffic analyzer | Fedora 40 updates for x86_64 |
wireshark-cli-4.2.8-1.fc40.i686 | Network traffic analyzer | Fedora 40 updates for x86_64 |
wireshark-devel-4.2.8-1.fc40.i686 | Development headers and libraries for wireshark | Fedora 40 updates for x86_64 |
wireshark-devel-4.2.8-1.fc40.x86_64 | Development headers and libraries for wireshark | Fedora 40 updates for x86_64 |
warzone2100-4.5.3-1.fc40.x86_64 | Innovative 3D real-time strategy | Fedora 40 updates for x86_64 |
warzone2100-sequences-4.5.3-1.fc40.noarch | Video file for warzone2100 | Fedora 40 updates for x86_64 |
wsjtx-2.7.0-8.fc40.x86_64 | Weak Signal communication by K1JT | Fedora 40 updates for x86_64 |
web-eid-2.5.0-5.fc40.x86_64 | Web eID browser extension helper application | Fedora 40 updates for x86_64 |
wlroots-0.18.1-1.fc40.i686 | A modular Wayland compositor library | Fedora 40 updates for x86_64 |
wlroots-0.18.1-1.fc40.x86_64 | A modular Wayland compositor library | Fedora 40 updates for x86_64 |
wlroots-devel-0.18.1-1.fc40.i686 | Development files for wlroots | Fedora 40 updates for x86_64 |
wlroots-devel-0.18.1-1.fc40.x86_64 | Development files for wlroots | Fedora 40 updates for x86_64 |
waybar-0.11.0-1.fc40.x86_64 | Highly customizable Wayland bar for Sway and Wlroots based compositors | Fedora 40 updates for x86_64 |
weezl-0.1.8-4.fc40.x86_64 | Fast LZW compression and decompression | Fedora 40 updates for x86_64 |
wordpress-6.6.2-1.fc40.noarch | Blog tool and publishing platform | Fedora 40 updates for x86_64 |
wxBase-3.2.4-8.fc40.i686 | Non-GUI support classes from the wxWidgets library | Fedora 40 updates for x86_64 |
wxBase-3.2.4-8.fc40.x86_64 | Non-GUI support classes from the wxWidgets library | Fedora 40 updates for x86_64 |
wxBase-devel-3.2.4-8.fc40.i686 | Development files for the wxBase3 library | Fedora 40 updates for x86_64 |
wxBase-devel-3.2.4-8.fc40.x86_64 | Development files for the wxBase3 library | Fedora 40 updates for x86_64 |
wxGTK-3.2.4-8.fc40.i686 | GTK port of the wxWidgets GUI library | Fedora 40 updates for x86_64 |
wxGTK-3.2.4-8.fc40.x86_64 | GTK port of the wxWidgets GUI library | Fedora 40 updates for x86_64 |
wxGTK-devel-3.2.4-8.fc40.i686 | Development files for the wxGTK library | Fedora 40 updates for x86_64 |
wxGTK-devel-3.2.4-8.fc40.x86_64 | Development files for the wxGTK library | Fedora 40 updates for x86_64 |
wxGTK-docs-3.2.4-8.fc40.noarch | Documentation for the wxGTK library | Fedora 40 updates for x86_64 |
wxGTK-gl-3.2.4-8.fc40.i686 | OpenGL add-on for the wxWidgets library | Fedora 40 updates for x86_64 |
wxGTK-gl-3.2.4-8.fc40.x86_64 | OpenGL add-on for the wxWidgets library | Fedora 40 updates for x86_64 |
wxGTK-i18n-3.2.4-8.fc40.noarch | i18n message catalogs for the wxWidgets library | Fedora 40 updates for x86_64 |
wxGTK-media-3.2.4-8.fc40.x86_64 | Multimedia add-on for the wxWidgets library | Fedora 40 updates for x86_64 |
wxGTK-media-3.2.4-8.fc40.i686 | Multimedia add-on for the wxWidgets library | Fedora 40 updates for x86_64 |
wxGTK-webview-3.2.4-8.fc40.i686 | WebView add-on for the wxWidgets library | Fedora 40 updates for x86_64 |
wxGTK-webview-3.2.4-8.fc40.x86_64 | WebView add-on for the wxWidgets library | Fedora 40 updates for x86_64 |
wike-3.1.0-1.fc40.noarch | Wikipedia Reader for the GNOME Desktop | Fedora 40 updates for x86_64 |
waydroid-1.4.3-2.fc40.noarch | Container-based approach to boot a full Android system on GNU/Linux | Fedora 40 updates for x86_64 |
waydroid-selinux-1.4.3-2.fc40.noarch | SELinux policy module for waydroid | Fedora 40 updates for x86_64 |
weston-13.0.3-3.fc40.x86_64 | Reference compositor for Wayland | Fedora 40 updates for x86_64 |
weston-13.0.3-3.fc40.i686 | Reference compositor for Wayland | Fedora 40 updates for x86_64 |
weston-demo-13.0.3-3.fc40.x86_64 | Weston demo program files | Fedora 40 updates for x86_64 |
weston-devel-13.0.3-3.fc40.x86_64 | Common headers for weston | Fedora 40 updates for x86_64 |
weston-devel-13.0.3-3.fc40.i686 | Common headers for weston | Fedora 40 updates for x86_64 |
weston-libs-13.0.3-3.fc40.i686 | Weston compositor libraries | Fedora 40 updates for x86_64 |
weston-libs-13.0.3-3.fc40.x86_64 | Weston compositor libraries | Fedora 40 updates for x86_64 |
weston-session-13.0.3-3.fc40.noarch | Weston desktop session | Fedora 40 updates for x86_64 |
widelands-1.2-1.fc40.x86_64 | Open source realtime-strategy game | Fedora 40 updates for x86_64 |
wine-9.15-1.fc40.i686 | A compatibility layer for windows applications | Fedora 40 updates for x86_64 |
wine-9.15-1.fc40.x86_64 | A compatibility layer for windows applications | Fedora 40 updates for x86_64 |
wine-alsa-9.15-1.fc40.i686 | Alsa support for wine | Fedora 40 updates for x86_64 |
wine-alsa-9.15-1.fc40.x86_64 | Alsa support for wine | Fedora 40 updates for x86_64 |
wine-arial-fonts-9.15-1.fc40.noarch | Wine Arial font family | Fedora 40 updates for x86_64 |
wine-cms-9.15-1.fc40.i686 | Color Management for wine | Fedora 40 updates for x86_64 |
wine-cms-9.15-1.fc40.x86_64 | Color Management for wine | Fedora 40 updates for x86_64 |
wine-common-9.15-1.fc40.noarch | Common files | Fedora 40 updates for x86_64 |
wine-core-9.15-1.fc40.i686 | Wine core package | Fedora 40 updates for x86_64 |
wine-core-9.15-1.fc40.x86_64 | Wine core package | Fedora 40 updates for x86_64 |
wine-courier-fonts-9.15-1.fc40.noarch | Wine Courier font family | Fedora 40 updates for x86_64 |
wine-desktop-9.15-1.fc40.noarch | Desktop integration features for wine | Fedora 40 updates for x86_64 |
wine-devel-9.15-1.fc40.x86_64 | Wine development environment | Fedora 40 updates for x86_64 |
wine-devel-9.15-1.fc40.i686 | Wine development environment | Fedora 40 updates for x86_64 |
wine-filesystem-9.15-1.fc40.noarch | Filesystem directories for wine | Fedora 40 updates for x86_64 |
wine-fixedsys-fonts-9.15-1.fc40.noarch | Wine Fixedsys font family | Fedora 40 updates for x86_64 |
wine-fonts-9.15-1.fc40.noarch | Wine font files | Fedora 40 updates for x86_64 |
wine-ldap-9.15-1.fc40.x86_64 | LDAP support for wine | Fedora 40 updates for x86_64 |
wine-ldap-9.15-1.fc40.i686 | LDAP support for wine | Fedora 40 updates for x86_64 |
wine-marlett-fonts-9.15-1.fc40.noarch | Wine Marlett font family | Fedora 40 updates for x86_64 |
wine-mono-9.2.0-1.fc40.noarch | Mono library required for Wine | Fedora 40 updates for x86_64 |
wine-ms-sans-serif-fonts-9.15-1.fc40.noarch | Wine MS Sans Serif font family | Fedora 40 updates for x86_64 |
wine-opencl-9.15-1.fc40.i686 | OpenCL support for wine | Fedora 40 updates for x86_64 |
wine-opencl-9.15-1.fc40.x86_64 | OpenCL support for wine | Fedora 40 updates for x86_64 |
wine-pulseaudio-9.15-1.fc40.x86_64 | Pulseaudio support for wine | Fedora 40 updates for x86_64 |
wine-pulseaudio-9.15-1.fc40.i686 | Pulseaudio support for wine | Fedora 40 updates for x86_64 |
wine-small-fonts-9.15-1.fc40.noarch | Wine Small font family | Fedora 40 updates for x86_64 |
wine-symbol-fonts-9.15-1.fc40.noarch | Wine Symbol font family | Fedora 40 updates for x86_64 |
wine-system-fonts-9.15-1.fc40.noarch | Wine System font family | Fedora 40 updates for x86_64 |
wine-systemd-9.15-1.fc40.noarch | Systemd config for the wine binfmt handler | Fedora 40 updates for x86_64 |
wine-tahoma-fonts-9.15-1.fc40.noarch | Wine Tahoma font family | Fedora 40 updates for x86_64 |
wine-tahoma-fonts-system-9.15-1.fc40.noarch | Wine Tahoma font family system integration | Fedora 40 updates for x86_64 |
wine-times-new-roman-fonts-9.15-1.fc40.noarch | Wine Times New Roman font family | Fedora 40 updates for x86_64 |
wine-times-new-roman-fonts-system-9.15-1.fc40.noarch | Wine Times New Roman font family system integration | Fedora 40 updates for x86_64 |
wine-twain-9.15-1.fc40.x86_64 | Twain support for wine | Fedora 40 updates for x86_64 |
wine-twain-9.15-1.fc40.i686 | Twain support for wine | Fedora 40 updates for x86_64 |
wine-webdings-fonts-9.15-1.fc40.noarch | Wine Webdings font family | Fedora 40 updates for x86_64 |
wine-wingdings-fonts-9.15-1.fc40.noarch | Wine Wingdings font family | Fedora 40 updates for x86_64 |
wine-wingdings-fonts-system-9.15-1.fc40.noarch | Wine Wingdings font family system integration | Fedora 40 updates for x86_64 |
wlroots0.17-0.17.4-1.fc40.x86_64 | A modular Wayland compositor library | Fedora 40 updates for x86_64 |
wlroots0.17-0.17.4-1.fc40.i686 | A modular Wayland compositor library | Fedora 40 updates for x86_64 |
wlroots0.17-devel-0.17.4-1.fc40.i686 | Development files for wlroots0.17 | Fedora 40 updates for x86_64 |
wlroots0.17-devel-0.17.4-1.fc40.x86_64 | Development files for wlroots0.17 | Fedora 40 updates for x86_64 |
wpa_supplicant-2.11-3.fc40.x86_64 | WPA/WPA2/IEEE 802.1X Supplicant | Fedora 40 updates for x86_64 |
wpa_supplicant-gui-2.11-3.fc40.x86_64 | Graphical User Interface for wpa_supplicant | Fedora 40 updates for x86_64 |
wayland-devel-1.23.0-2.fc40.x86_64 | Development files for wayland | Fedora 40 updates for x86_64 |
wayland-devel-1.23.0-2.fc40.i686 | Development files for wayland | Fedora 40 updates for x86_64 |
wayland-doc-1.23.0-2.fc40.noarch | Wayland development documentation | Fedora 40 updates for x86_64 |
wesnoth-1.18.2-1.fc40.x86_64 | Turn-based strategy game with a fantasy theme | Fedora 40 updates for x86_64 |
wesnoth-data-1.18.2-1.fc40.noarch | Turn-based strategy game with a fantasy theme | Fedora 40 updates for x86_64 |
wesnoth-server-1.18.2-1.fc40.x86_64 | Turn-based strategy game with a fantasy theme | Fedora 40 updates for x86_64 |
wesnoth-tools-1.18.2-1.fc40.x86_64 | Turn-based strategy game with a fantasy theme | Fedora 40 updates for x86_64 |
wavpack-5.7.0-3.fc40.x86_64 | A completely open audiocodec | Fedora 40 updates for x86_64 |
wavpack-5.7.0-3.fc40.i686 | A completely open audiocodec | Fedora 40 updates for x86_64 |
wavpack-devel-5.7.0-3.fc40.x86_64 | WavPack - development files | Fedora 40 updates for x86_64 |
wavpack-devel-5.7.0-3.fc40.i686 | WavPack - development files | Fedora 40 updates for x86_64 |
worker-5.1.0-1.fc40.x86_64 | File Manager for the X11 | Fedora 40 updates for x86_64 |
wget2-2.1.0-11.fc40.x86_64 | An advanced file and recursive website downloader | Fedora 40 updates for x86_64 |
wget2-devel-2.1.0-11.fc40.x86_64 | Libraries and header files needed for using wget2 libraries | Fedora 40 updates for x86_64 |
wget2-devel-2.1.0-11.fc40.i686 | Libraries and header files needed for using wget2 libraries | Fedora 40 updates for x86_64 |
wget2-libs-2.1.0-11.fc40.i686 | Runtime libraries for GNU Wget2 | Fedora 40 updates for x86_64 |
wget2-libs-2.1.0-11.fc40.x86_64 | Runtime libraries for GNU Wget2 | Fedora 40 updates for x86_64 |
wget2-wget-2.1.0-11.fc40.x86_64 | wget2 shim to provide wget | Fedora 40 updates for x86_64 |
whipper-0.10.0-14.fc40.x86_64 | Python CD-DA ripper preferring accuracy over speed | Fedora 40 updates for x86_64 |
wmenu-0.1.9-1.fc40.x86_64 | Efficient dynamic menu for Wayland | Fedora 40 updates for x86_64 |
wireplumber-0.5.5-1.fc40.x86_64 | A modular session/policy manager for PipeWire | Fedora 40 updates for x86_64 |
wireplumber-0.5.5-1.fc40.i686 | A modular session/policy manager for PipeWire | Fedora 40 updates for x86_64 |
wireplumber-devel-0.5.5-1.fc40.x86_64 | Development files for wireplumber | Fedora 40 updates for x86_64 |
wireplumber-devel-0.5.5-1.fc40.i686 | Development files for wireplumber | Fedora 40 updates for x86_64 |
wireplumber-doc-0.5.5-1.fc40.x86_64 | Documentation for wireplumber | Fedora 40 updates for x86_64 |
wireplumber-libs-0.5.5-1.fc40.x86_64 | Libraries for WirePlumber clients | Fedora 40 updates for x86_64 |
wireplumber-libs-0.5.5-1.fc40.i686 | Libraries for WirePlumber clients | Fedora 40 updates for x86_64 |
websvn-2.8.4-1.fc40.noarch | Online subversion repository browser | Fedora 40 updates for x86_64 |
websvn-selinux-2.8.4-1.fc40.noarch | SELinux context for websvn | Fedora 40 updates for x86_64 |
wingpanel-indicator-datetime-2.4.1-1.fc40.x86_64 | Datetime Indicator for wingpanel | Fedora 40 updates for x86_64 |
workrave-1.11.0~beta.13-1.fc40.x86_64 | Program that assists in the recovery and prevention of RSI | Fedora 40 updates for x86_64 |
workrave-cinnamon-1.11.0~beta.13-1.fc40.x86_64 | Workrave applet for Cinnamon desktop | Fedora 40 updates for x86_64 |
workrave-gnome-1.11.0~beta.13-1.fc40.x86_64 | Workrave applet for GNOME desktop | Fedora 40 updates for x86_64 |
workrave-gnome-flashback-1.11.0~beta.13-1.fc40.x86_64 | Workrave applet for GNOME Flashback | Fedora 40 updates for x86_64 |
workrave-mate-1.11.0~beta.13-1.fc40.x86_64 | Workrave applet for MATE | Fedora 40 updates for x86_64 |
workrave-xfce-1.11.0~beta.13-1.fc40.x86_64 | Workrave applet for Xfce | Fedora 40 updates for x86_64 |
waypipe-0.9.1-1.fc40.x86_64 | Wayland forwarding proxy | Fedora 40 updates for x86_64 |
wingpanel-indicator-bluetooth-7.0.1-1.fc40.x86_64 | Bluetooth Indicator for wingpanel | Fedora 40 updates for x86_64 |
wingpanel-indicator-keyboard-2.4.1-1.fc40.x86_64 | Keyboard Indicator for wingpanel | Fedora 40 updates for x86_64 |
wildcard-0.3.3-3.fc40.x86_64 | Test your regular expressions | Fedora 40 updates for x86_64 |
wxsvg-1.5.25-1.fc40.x86_64 | C++ library to create, manipulate and render SVG files | Fedora 40 updates for x86_64 |
wxsvg-1.5.25-1.fc40.i686 | C++ library to create, manipulate and render SVG files | Fedora 40 updates for x86_64 |
wxsvg-devel-1.5.25-1.fc40.i686 | Development files for the wxSVG library | Fedora 40 updates for x86_64 |
wxsvg-devel-1.5.25-1.fc40.x86_64 | Development files for the wxSVG library | Fedora 40 updates for x86_64 |
wingpanel-indicator-a11y-1.0.2-1.fc40.x86_64 | Wingpanel Universal Access Indicator | Fedora 40 updates for x86_64 |
wofi-1.4.1-4.fc40.i686 | A launcher/menu program for wlroots based wayland compositors | Fedora 40 updates for x86_64 |
wofi-1.4.1-4.fc40.x86_64 | A launcher/menu program for wlroots based wayland compositors | Fedora 40 updates for x86_64 |
wofi-devel-1.4.1-4.fc40.x86_64 | Development package for wofi | Fedora 40 updates for x86_64 |
wofi-devel-1.4.1-4.fc40.i686 | Development package for wofi | Fedora 40 updates for x86_64 |
WALinuxAgent-2.10.0.8-2.fc40.noarch | The Microsoft Azure Linux Agent | Fedora 40 updates for x86_64 |
WALinuxAgent-udev-2.10.0.8-2.fc40.noarch | Udev rules for Microsoft Azure | Fedora 40 updates for x86_64 |
wf-recorder-0.4.0-5.fc40.x86_64 | Screen recorder for wlroots-based compositors eg swaywm | Fedora 40 updates for x86_64 |
wasi-libc-devel-22-1.fc40.noarch | C library for WASI - headers and development files | Fedora 40 updates for x86_64 |
wasi-libc-static-22-1.fc40.noarch | C library for WASI - static libraries | Fedora 40 updates for x86_64 |
wsdd-0.8-1.fc40.noarch | Web Services Dynamic Discovery host daemon | Fedora 40 updates for x86_64 |
wingpanel-3.0.5-5.20240416.git4dd9990.fc40.x86_64 | Stylish top panel | Fedora 40 updates for x86_64 |
wingpanel-3.0.5-5.20240416.git4dd9990.fc40.i686 | Stylish top panel | Fedora 40 updates for x86_64 |
wingpanel-devel-3.0.5-5.20240416.git4dd9990.fc40.x86_64 | Stylish top panel (development files) | Fedora 40 updates for x86_64 |
wingpanel-devel-3.0.5-5.20240416.git4dd9990.fc40.i686 | Stylish top panel (development files) | Fedora 40 updates for x86_64 |
wlogout-1.2.2-1.fc40.x86_64 | Wayland based logout menu | Fedora 40 updates for x86_64 |
wlmaker-0.2-1.fc40.x86_64 | Wayland compositor inspired by Window Maker | Fedora 40 updates for x86_64 |
wlmaker-doc-0.2-1.fc40.noarch | Developer documentation for wlmaker | Fedora 40 updates for x86_64 |
wlsunset-0.4.0-1.fc40.x86_64 | Day/night gamma adjustments for Sway | Fedora 40 updates for x86_64 |
why3-1.7.2-1.fc40.x86_64 | Software verification platform | Fedora 40 updates for x86_64 |
why3-all-1.7.2-1.fc40.x86_64 | Complete Why3 software verification platform suite | Fedora 40 updates for x86_64 |
why3-emacs-1.7.2-1.fc40.noarch | Emacs support file for why3 files | Fedora 40 updates for x86_64 |
why3-examples-1.7.2-1.fc40.noarch | Example inputs | Fedora 40 updates for x86_64 |
why3-proofgeneral-1.7.2-1.fc40.noarch | Why3 integration with ProofGeneral | Fedora 40 updates for x86_64 |
workflow-0.11.3-1.fc40.i686 | C++ parallel computing and asynchronous networking engine | Fedora 40 updates for x86_64 |
workflow-0.11.3-1.fc40.x86_64 | C++ parallel computing and asynchronous networking engine | Fedora 40 updates for x86_64 |
workflow-devel-0.11.3-1.fc40.i686 | C++ parallel computing and asynchronous networking engine | Fedora 40 updates for x86_64 |
workflow-devel-0.11.3-1.fc40.x86_64 | C++ parallel computing and asynchronous networking engine | Fedora 40 updates for x86_64 |
workflow-docs-0.11.3-1.fc40.noarch | C++ parallel computing and asynchronous networking engine | Fedora 40 updates for x86_64 |
waf-2.0.27-1.fc40.noarch | A Python-based build system | Fedora 40 updates for x86_64 |
waf-doc-2.0.27-1.fc40.noarch | Documentation for waf | Fedora 40 updates for x86_64 |
wcd-6.0.5-6.fc40.x86_64 | Wherever Change Directory: chdir for DOS and Unix | Fedora 40 updates for x86_64 |
wcd-doc-6.0.5-6.fc40.noarch | Documentation for wcd | Fedora 40 updates for x86_64 |
weldr-client-35.13-1.fc40.x86_64 | Command line utility to control osbuild-composer | Fedora 40 updates for x86_64 |
weldr-client-tests-35.13-1.fc40.x86_64 | Integration tests for composer-cli | Fedora 40 updates for x86_64 |
Generated by rpm2html 1.8.1
Fabrice Bellet, Sun Nov 17 03:42:04 2024