Package z3
tumbleweed (openSUSE Tumbleweed) (Unspecified): Theorem prover from Microsoft Research
5.1.0-1.1: x86_64
suse package index
openSUSE Tumbleweed packages
Packages published for openSUSE Tumbleweed and its configured repositories.
Catalog scope
- Operating system
- openSUSE Tumbleweed
- Family
- suse
- Package records
- 52,677
- Publication status
- Eligible for indexing
- Source homepage
- Not reported
openSUSE Tumbleweed package records
Open a package to inspect every retained build, dependency relationship, checksum, file list, and source observation.
Source: z3
Package z3-devel
tumbleweed (openSUSE Tumbleweed) (Unspecified): Development files for Z3
5.1.0-1.1: x86_64
Source: z3
Package zabbix-agent
tumbleweed (openSUSE Tumbleweed) (System/Monitoring): Agent de surveillance des ressources locales pour Zabbix
7.0.28-1.2: x86_64
Source: zabbix
Package zabbix-agent2
tumbleweed (openSUSE Tumbleweed) (System/Monitoring): Agent de surveillance des ressources locales pour Zabbix réécrit en golang
7.0.28-1.2: x86_64
Source: zabbix
Package zabbix-java-gateway
tumbleweed (openSUSE Tumbleweed) (System/Monitoring): Passerelle Java Zabbix
7.0.28-1.2: noarch
Source: zabbix
Package zabbix-proxy
tumbleweed (openSUSE Tumbleweed) (System/Monitoring): Fichiers système pour le proxy Zabbix
7.0.28-1.2: x86_64
Source: zabbix
Package zabbix-proxy-mysql
tumbleweed (openSUSE Tumbleweed) (System/Monitoring): Proxy Zabbix avec prise en charge de MySQL
7.0.28-1.2: x86_64
Source: zabbix
Package zabbix-proxy-postgresql
tumbleweed (openSUSE Tumbleweed) (System/Monitoring): Zabbix proxy with PostgreSQL support
7.0.28-1.2: x86_64
Source: zabbix
Package zabbix-proxy-sqlite
tumbleweed (openSUSE Tumbleweed) (System/Monitoring): Proxy Zabbix avec prise en charge de SQLite
7.0.28-1.2: x86_64
Source: zabbix
Package zabbix-server
tumbleweed (openSUSE Tumbleweed) (System/Monitoring): System files for the Zabbix server
7.0.28-1.2: x86_64
Source: zabbix
Package zabbix-server-mysql
tumbleweed (openSUSE Tumbleweed) (System/Monitoring): Serveur Zabbix avec prise en charge de MySQL
7.0.28-1.2: x86_64
Source: zabbix
Package zabbix-server-postgresql
tumbleweed (openSUSE Tumbleweed) (System/Monitoring): Serveur Zabbix avec prise en charge de PostgreSQL
7.0.28-1.2: x86_64
Source: zabbix
Package zabbix-ui
tumbleweed (openSUSE Tumbleweed) (Productivity/Networking/Web/Frontends): Zabbix web frontend (php)
7.0.28-1.2: noarch
Source: zabbix
Package zam-plugins-jack
tumbleweed (openSUSE Tumbleweed) (Unspecified): A collection of audio plugins for high quality processing
4.5-1.4: x86_64
Source: zam-plugins
Package zanshin
tumbleweed (openSUSE Tumbleweed) (Unspecified): TODO Application
26.08.0-1.1: x86_64
Source: zanshin
Package zanshin-lang
tumbleweed (openSUSE Tumbleweed) (System/Localization): Translations for package zanshin
26.08.0-1.1: noarch
Source: zanshin
Package zapzap
tumbleweed (openSUSE Tumbleweed) (Unspecified): Whatsapp Desktop pour Linux
6.4.0-1.2: noarch
Source: zapzap
Package ZArchive
tumbleweed (openSUSE Tumbleweed) (Unspecified): Bibliothèque et programme pour créer et lire des fichiers .zar
0.1.2+git20240721.b467f7a-1.7: x86_64
Source: ZArchive
Package ZArchive-devel
tumbleweed (openSUSE Tumbleweed) (Unspecified): Paquet devel pour ZArchive
0.1.2+git20240721.b467f7a-1.7: x86_64
Source: ZArchive
Package zathura
tumbleweed (openSUSE Tumbleweed) (Unspecified): Un visualiseur de documents personnalisable
2026.07.18-1.2: x86_64
Source: zathura
Package zathura-bash-completion
tumbleweed (openSUSE Tumbleweed) (Unspecified): Zathura Bash completion
2026.07.18-1.2: noarch
Source: zathura
Package zathura-devel
tumbleweed (openSUSE Tumbleweed) (Unspecified): Fichiers de développement pour zathura
2026.07.18-1.2: x86_64
Source: zathura
Package zathura-fish-completion
tumbleweed (openSUSE Tumbleweed) (Unspecified): Complétion fish pour Zathura
2026.07.18-1.2: noarch
Source: zathura
Package zathura-lang
tumbleweed (openSUSE Tumbleweed) (System/Localization): Traductions pour le paquet zathura
2026.07.18-1.2: noarch
Source: zathura
Package zathura-plugin-cb
tumbleweed (openSUSE Tumbleweed) (Unspecified): Comic book support for zathura
2026.07.18-1.2: x86_64
Source: zathura-plugin-cb
Package zathura-plugin-djvu
tumbleweed (openSUSE Tumbleweed) (Unspecified): Prise en charge de DjVu pour zathura via la bibliothèque djvulibre
2026.07.18-1.2: x86_64
Source: zathura-plugin-djvu
Package zathura-plugin-pdf-mupdf
tumbleweed (openSUSE Tumbleweed) (Unspecified): Zathura PDF support through MuPDF
2026.07.18-1.5: x86_64
Source: zathura-plugin-pdf-mupdf
Package zathura-plugin-pdf-poppler
tumbleweed (openSUSE Tumbleweed) (Unspecified): PDF support for zathura via poppler
2026.07.18-1.2: x86_64
Source: zathura-plugin-pdf-poppler
Package zathura-plugin-ps
tumbleweed (openSUSE Tumbleweed) (Unspecified): Prise en charge PS pour zathura via libspectre
2026.07.18-1.2: x86_64
Source: zathura-plugin-ps
Package zathura-zsh-completion
tumbleweed (openSUSE Tumbleweed) (Unspecified): Zathura zsh completion
2026.07.18-1.2: noarch
Source: zathura
Package zaz
tumbleweed (openSUSE Tumbleweed) (Amusements/Games/Logic): Jeu de puzzle consistant à disposer des boules par triplets
1.0.1-3.10: x86_64
Source: zaz
Package zbar
tumbleweed (openSUSE Tumbleweed) (Unspecified): Lecteur de codes-barres
0.23.93-4.3: x86_64
Source: zbar
Package zbar-lang
tumbleweed (openSUSE Tumbleweed) (System/Localization): Translations for package zbar
0.23.93-4.3: noarch
Source: zbar
Package zcfan
tumbleweed (openSUSE Tumbleweed) (Unspecified): Zero-configuration fan control daemon for ThinkPads
1.4.0-1.6: x86_64
Source: zcfan
Package zchunk
tumbleweed (openSUSE Tumbleweed) (Productivity/Archiving/Compression): Format de fichier compressé permettant des deltas faciles
1.5.3-1.5: x86_64
Source: zchunk
Package zd1211-firmware
tumbleweed (openSUSE Tumbleweed) (Hardware/Wifi): Firmware for ZD1211 USB WLAN sticks
1.5-2.14: noarch
Source: zd1211-firmware
Package zdbsp
tumbleweed (openSUSE Tumbleweed) (Development/Tools/Building): Nodebuilder for ZDoom
1.19-3.5: x86_64
Source: zdbsp
Package zeal
tumbleweed (openSUSE Tumbleweed) (Development/Tools/Other): Navigateur de documentation d'API hors ligne
0.8.1-1.6: x86_64
Source: zeal
Package zeitgeist
tumbleweed (openSUSE Tumbleweed) (Unspecified): Zeitgeist Engine
1.0.4-1.8: x86_64
Source: zeitgeist
Package zeitgeist-devel
tumbleweed (openSUSE Tumbleweed) (Unspecified): Fichiers de développement pour la bibliothèque cliente Zeitgeist
1.0.4-1.8: x86_64
Source: zeitgeist
Package zellij
tumbleweed (openSUSE Tumbleweed) (Unspecified): Espace de travail terminal avec batteries incluses
0.44.3-1.3: x86_64
Source: zellij
Package zellij-bash-completion
tumbleweed (openSUSE Tumbleweed) (System/Shells): Complétion Bash pour zellij
0.44.3-1.3: noarch
Source: zellij
Package zellij-fish-completion
tumbleweed (openSUSE Tumbleweed) (System/Shells): Fish Completion for zellij
0.44.3-1.3: noarch
Source: zellij
Package zellij-zsh-completion
tumbleweed (openSUSE Tumbleweed) (System/Shells): Zsh Completion for zellij
0.44.3-1.3: noarch
Source: zellij
Package zenith
tumbleweed (openSUSE Tumbleweed) (Unspecified): Un peu comme top ou htop, mais avec des graphiques zoomables
0.15.0-1.3: x86_64
Source: zenith
Package zenity
tumbleweed (openSUSE Tumbleweed) (System/GUI/GNOME): GNOME Command Line Dialog Utility
4.2.2-1.4: x86_64
Source: zenity
Package zenity-lang
tumbleweed (openSUSE Tumbleweed) (System/Localization): Traductions pour le paquet zenity
4.2.2-1.4: noarch
Source: zenity
Package zerobranestudio
tumbleweed (openSUSE Tumbleweed) (Development/Tools/IDE): Lightweight Lua IDE
2.01-2.3: noarch
Source: zerobranestudio
Package zerofree
tumbleweed (openSUSE Tumbleweed) (System/Filesystems): Utilitaire pour les systèmes de fichiers ext2, ext3 et ext4 qui met à zéro les blocs non alloués
1.1.1-1.32: x86_64
Source: zerofree
Package zeromq-devel
tumbleweed (openSUSE Tumbleweed) (Development/Languages/C and C++): Fichiers de développement pour ZeroMQ
4.3.5-1.11: x86_64
Source: zeromq
Package zeromq-tools
tumbleweed (openSUSE Tumbleweed) (Productivity/Networking/Web/Servers): Outils pour travailler avec ZeroMQ
4.3.5-1.11: x86_64
Source: zeromq
Package zfp
tumbleweed (openSUSE Tumbleweed) (Productivity/Archiving/Compression): Lire et écrire des tableaux numériques
1.0.1-1.9: x86_64
Source: zfp
Package zfp-devel
tumbleweed (openSUSE Tumbleweed) (Development/Libraries/C and C++): Development files for zfp
1.0.1-1.9: x86_64
Source: zfp
Package zhu3d
tumbleweed (openSUSE Tumbleweed) (Productivity/Scientific/Math): OpenGL-based equation viewer and solver
4.2.6-8.5: x86_64
Source: zhu3d
Package zig
tumbleweed (openSUSE Tumbleweed) (Development/Languages/Other): Compilateur pour le langage Zig
0.15.2-1.2: x86_64
Source: zig
Package zig0.14
tumbleweed (openSUSE Tumbleweed) (Development/Languages/Other): Compilateur pour le langage Zig
0.14.1-2.5: x86_64
Source: zig0.14
Package zig0.15
tumbleweed (openSUSE Tumbleweed) (Development/Languages/Other): Compilateur pour le langage Zig
0.15.2-2.5: x86_64
Source: zig0.15
Package zig0.16
tumbleweed (openSUSE Tumbleweed) (Development/Languages/Other): Compilateur pour le langage Zig
0.16.0-1.3: x86_64
Source: zig0.16
Package zig-libs0.14
tumbleweed (openSUSE Tumbleweed) (Development/Languages/Other): Bibliothèque standard Zig
0.14.1-2.5: noarch
Source: zig0.14
Package zig-libs0.15
tumbleweed (openSUSE Tumbleweed) (Development/Languages/Other): Bibliothèque standard Zig
0.15.2-2.5: noarch
Source: zig0.15
Package zig-libs0.16
tumbleweed (openSUSE Tumbleweed) (Development/Languages/Other): Zig Standard Library
0.16.0-1.3: noarch
Source: zig0.16
Package zig-rpm-macros0.14
tumbleweed (openSUSE Tumbleweed) (Development/Languages/Other): Macros RPM communes pour zig0.14
0.14.1-2.5: noarch
Source: zig0.14
Package zig-rpm-macros0.15
tumbleweed (openSUSE Tumbleweed) (Development/Languages/Other): Macros RPM communes pour zig0.15
0.15.2-2.5: noarch
Source: zig0.15
Package zig-rpm-macros0.16
tumbleweed (openSUSE Tumbleweed) (Development/Languages/Other): Macros RPM communes pour zig0.16
0.16.0-1.3: noarch
Source: zig0.16
Package zile
tumbleweed (openSUSE Tumbleweed) (Productivity/Text/Editors): Lightweight Emacs Clone
2.6.4-1.5: x86_64
Source: zile
Package zim
tumbleweed (openSUSE Tumbleweed) (Productivity/Office/Organizers): Un wiki de bureau
0.77.1-1.1: noarch
Source: zim
Package zimg-devel
tumbleweed (openSUSE Tumbleweed) (Unspecified): Fichiers de développement pour libzimg2
3.0.6+20260720.g1ad1895-1.1: x86_64
Source: zimg
Package zim-lang
tumbleweed (openSUSE Tumbleweed) (System/Localization): Translations for package zim
0.77.1-1.1: noarch
Source: zim
Package zinnia
tumbleweed (openSUSE Tumbleweed) (System/Libraries): Système de reconnaissance d'écriture manuscrite en ligne avec apprentissage automatique
0.07-2.16: x86_64
Source: zinnia
Package zinnia-devel
tumbleweed (openSUSE Tumbleweed) (Development/Libraries/C and C++): Fichiers de développement pour zinnia
0.07-2.16: x86_64
Source: zinnia
Package zinnia-tomoe
tumbleweed (openSUSE Tumbleweed) (System/I18n/Japanese): Zinnia model files trained with data provided by Tomoe
0.6.0-8.6: noarch
Source: zinnia-tomoe
Package zint
tumbleweed (openSUSE Tumbleweed) (Unspecified): Bibliothèque de génération de codes-barres
2.16.0-2.2: x86_64
Source: zint
Package zint-qt
tumbleweed (openSUSE Tumbleweed) (Unspecified): Zint Barcode Studio
2.16.0-2.2: x86_64
Source: zint
Package zip
tumbleweed (openSUSE Tumbleweed) (Productivity/Archiving/Compression): Programme de compression de fichiers
3.0-24.7: x86_64
Source: zip
Package zipios-devel
tumbleweed (openSUSE Tumbleweed) (Development/Libraries/C and C++): Zipios Header Files
2.3.2-1.9: x86_64
Source: zipios
Package zipios-devel-doc
tumbleweed (openSUSE Tumbleweed) (Documentation/HTML): Documentation de l'API Zipios
2.3.2-1.9: noarch
Source: zipios
Package zipkin-api-source
tumbleweed (openSUSE Tumbleweed) (Development/Sources): Code source de zipkin-api
0.2.2-1.16: noarch
Source: zipkin-api
Package zisofs-tools
tumbleweed (openSUSE Tumbleweed) (System/Filesystems): Outils utilisateur pour zisofs
1.0.8-27.11: x86_64
Source: zisofs-tools
Package zita-convolver-devel
tumbleweed (openSUSE Tumbleweed) (Development/Libraries/C and C++): Fichiers de développement pour zita-convolver
4.0.3-1.25: x86_64
Source: zita-convolver
Package zita-resampler-devel
tumbleweed (openSUSE Tumbleweed) (Development/Libraries/C and C++): Fichiers de développement pour zita-resampler
1.11.2-2.8: x86_64
Source: zita-resampler
Package zita-resampler-tools
tumbleweed (openSUSE Tumbleweed) (Productivity/Multimedia/Sound/Editors and Convertors): Resampler Application written with libzita-resampler
1.11.2-2.8: x86_64
Source: zita-resampler
Package zix-devel
tumbleweed (openSUSE Tumbleweed) (Development/Libraries/C and C++): Fichiers de développement pour la bibliothèque zix
0.8.0-1.5: x86_64
Source: zix
Package zizmor
tumbleweed (openSUSE Tumbleweed) (Unspecified): Un outil d'analyse statique pour GitHub Actions
1.29.0-1.1: x86_64
Source: zizmor
Package zizmor-bash-completion
tumbleweed (openSUSE Tumbleweed) (System/Shells): Complétion Bash pour zizmor
1.29.0-1.1: noarch
Source: zizmor
Package zizmor-fish-completion
tumbleweed (openSUSE Tumbleweed) (System/Shells): Fish Completion for zizmor
1.29.0-1.1: noarch
Source: zizmor
Package zizmor-zsh-completion
tumbleweed (openSUSE Tumbleweed) (System/Shells): Complétion Zsh pour zizmor
1.29.0-1.1: noarch
Source: zizmor
Package zk
tumbleweed (openSUSE Tumbleweed) (System/Shells): Assistant de prise de notes en texte brut pour markdown
0.15.6-1.1: x86_64
Source: zk
Package zk-spaced
tumbleweed (openSUSE Tumbleweed) (Unspecified): Mémorisation par répétition espacée pour zk
1.0.0-2.9: x86_64
Source: zk-spaced
Package zli
tumbleweed (openSUSE Tumbleweed) (Unspecified): CLI pour le registre de conteneurs Zot
2.1.20-1.1: x86_64
Source: zli
Package zli-bash-completion
tumbleweed (openSUSE Tumbleweed) (System/Shells): Bash Completion for zli
2.1.20-1.1: noarch
Source: zli
Package zlib-devel
tumbleweed (openSUSE Tumbleweed) (Unspecified): Fichiers de développement pour zlib, une bibliothèque de compression de données
1.3.1-3.3: x86_64
Source: zlib
Package zlib-devel-32bit
tumbleweed (openSUSE Tumbleweed) (Unspecified): Fichiers de développement pour zlib, une bibliothèque de compression de données
1.3.1-3.3: x86_64
Source: zlib
Package zlib-devel-static
tumbleweed (openSUSE Tumbleweed) (Unspecified): Bibliothèque statique pour zlib
1.3.1-3.3: x86_64
Source: zlib
Package zlib-devel-static-32bit
tumbleweed (openSUSE Tumbleweed) (Unspecified): Bibliothèque statique pour zlib
1.3.1-3.3: x86_64
Source: zlib
Package zlib-ng-compat-devel
tumbleweed (openSUSE Tumbleweed) (Unspecified): Fichiers de développement pour zlib-ng-compat
2.3.3-2.4: x86_64
Source: zlib-ng-compat
Package zlib-ng-devel
tumbleweed (openSUSE Tumbleweed) (Unspecified): Fichiers de développement pour zlib-ng
2.3.3-2.4: x86_64
Source: zlib-ng
Package zlibrary0_99
tumbleweed (openSUSE Tumbleweed) (System/Libraries): Cross-platform GUI library
0.99.4-5.4: x86_64
Source: fbreader
Package zlibrary-data
tumbleweed (openSUSE Tumbleweed) (Productivity/Other): Fichiers de données pour Zlibrary
0.99.4-5.4: noarch
Source: fbreader
Package zlibrary-devel
tumbleweed (openSUSE Tumbleweed) (Development/Libraries/C and C++): Fichiers de développement pour zlibrary
0.99.4-5.4: x86_64
Source: fbreader
Package zlib-rs-devel
tumbleweed (openSUSE Tumbleweed) (Unspecified): Fichiers de développement pour zlib-rs
0.6.7-1.1: x86_64
Source: zlib-rs
How openSUSE Tumbleweed records differ from a software-project page
This operating-system view preserves native package policy. Versions, architecture labels, suites, dependency operators, patches, and maintainer fields mean what the publishing repository says they mean. A similarly named package in another system is not treated as identical.
Where two package records cite the same authoritative upstream homepage, the catalog can link them to one software project. That mapping never replaces the native package page and name matching by itself is not enough to merge projects.