Package z3
tumbleweed (openSUSE Tumbleweed) (Unspecified): Theorem prover from Microsoft Research
5.1.0-1.1: x86_64

suse package index
Packages published for openSUSE Tumbleweed and its configured repositories.
Open a package to inspect every retained build, dependency relationship, checksum, file list, and source observation.
tumbleweed (openSUSE Tumbleweed) (Unspecified): Theorem prover from Microsoft Research
5.1.0-1.1: x86_64
Source: z3
tumbleweed (openSUSE Tumbleweed) (Unspecified): Development files for Z3
5.1.0-1.1: x86_64
Source: z3
tumbleweed (openSUSE Tumbleweed) (System/Monitoring): Lokaler Ressourcenüberwachungsagent für Zabbix
7.0.28-1.2: x86_64
Source: zabbix
tumbleweed (openSUSE Tumbleweed) (System/Monitoring): Lokaler Ressourcenüberwachungsagent für Zabbix, Neufassung in golang
7.0.28-1.2: x86_64
Source: zabbix
tumbleweed (openSUSE Tumbleweed) (System/Monitoring): Zabbix Java-Gateway
7.0.28-1.2: noarch
Source: zabbix
tumbleweed (openSUSE Tumbleweed) (System/Monitoring): Systemdateien für den Zabbix-Proxy
7.0.28-1.2: x86_64
Source: zabbix
tumbleweed (openSUSE Tumbleweed) (System/Monitoring): Zabbix-Proxy mit MySQL-Unterstützung
7.0.28-1.2: x86_64
Source: zabbix
tumbleweed (openSUSE Tumbleweed) (System/Monitoring): Zabbix proxy with PostgreSQL support
7.0.28-1.2: x86_64
Source: zabbix
tumbleweed (openSUSE Tumbleweed) (System/Monitoring): Zabbix-Proxy mit SQLite-Unterstützung
7.0.28-1.2: x86_64
Source: zabbix
tumbleweed (openSUSE Tumbleweed) (System/Monitoring): System files for the Zabbix server
7.0.28-1.2: x86_64
Source: zabbix
tumbleweed (openSUSE Tumbleweed) (System/Monitoring): Zabbix-Server mit MySQL-Unterstützung
7.0.28-1.2: x86_64
Source: zabbix
tumbleweed (openSUSE Tumbleweed) (System/Monitoring): Zabbix-Server mit PostgreSQL-Unterstützung
7.0.28-1.2: x86_64
Source: zabbix
tumbleweed (openSUSE Tumbleweed) (Productivity/Networking/Web/Frontends): Zabbix web frontend (php)
7.0.28-1.2: noarch
Source: zabbix
tumbleweed (openSUSE Tumbleweed) (Unspecified): A collection of audio plugins for high quality processing
4.5-1.4: x86_64
Source: zam-plugins
tumbleweed (openSUSE Tumbleweed) (Unspecified): TODO Application
26.08.0-1.1: x86_64
Source: zanshin
tumbleweed (openSUSE Tumbleweed) (System/Localization): Translations for package zanshin
26.08.0-1.1: noarch
Source: zanshin
tumbleweed (openSUSE Tumbleweed) (Unspecified): Whatsapp Desktop für Linux
6.4.0-1.2: noarch
Source: zapzap
tumbleweed (openSUSE Tumbleweed) (Unspecified): Bibliothek und Programm zum Erstellen und Lesen von .zar-Dateien
0.1.2+git20240721.b467f7a-1.7: x86_64
Source: ZArchive
tumbleweed (openSUSE Tumbleweed) (Unspecified): Devel-Paket für ZArchive
0.1.2+git20240721.b467f7a-1.7: x86_64
Source: ZArchive
tumbleweed (openSUSE Tumbleweed) (Unspecified): Ein anpassbarer Dokumentenbetrachter
2026.07.18-1.2: x86_64
Source: zathura
tumbleweed (openSUSE Tumbleweed) (Unspecified): Zathura Bash completion
2026.07.18-1.2: noarch
Source: zathura
tumbleweed (openSUSE Tumbleweed) (Unspecified): Entwicklungsdateien für zathura
2026.07.18-1.2: x86_64
Source: zathura
tumbleweed (openSUSE Tumbleweed) (Unspecified): Zathura fish-Vervollständigung
2026.07.18-1.2: noarch
Source: zathura
tumbleweed (openSUSE Tumbleweed) (System/Localization): Übersetzungen für das Paket zathura
2026.07.18-1.2: noarch
Source: zathura
tumbleweed (openSUSE Tumbleweed) (Unspecified): Comic book support for zathura
2026.07.18-1.2: x86_64
Source: zathura-plugin-cb
tumbleweed (openSUSE Tumbleweed) (Unspecified): DjVu-Unterstützung für zathura mit der djvulibre-Bibliothek
2026.07.18-1.2: x86_64
Source: zathura-plugin-djvu
tumbleweed (openSUSE Tumbleweed) (Unspecified): Zathura PDF support through MuPDF
2026.07.18-1.5: x86_64
Source: zathura-plugin-pdf-mupdf
tumbleweed (openSUSE Tumbleweed) (Unspecified): PDF support for zathura via poppler
2026.07.18-1.2: x86_64
Source: zathura-plugin-pdf-poppler
tumbleweed (openSUSE Tumbleweed) (Unspecified): PS-Unterstützung für zathura über libspectre
2026.07.18-1.2: x86_64
Source: zathura-plugin-ps
tumbleweed (openSUSE Tumbleweed) (Unspecified): Zathura zsh completion
2026.07.18-1.2: noarch
Source: zathura
tumbleweed (openSUSE Tumbleweed) (Amusements/Games/Logic): Puzzlespiel zum Anordnen von Kugeln in Dreiergruppen
1.0.1-3.10: x86_64
Source: zaz
tumbleweed (openSUSE Tumbleweed) (Unspecified): Barcode-Leser
0.23.93-4.3: x86_64
Source: zbar
tumbleweed (openSUSE Tumbleweed) (System/Localization): Translations for package zbar
0.23.93-4.3: noarch
Source: zbar
tumbleweed (openSUSE Tumbleweed) (Unspecified): Zero-configuration fan control daemon for ThinkPads
1.4.0-1.6: x86_64
Source: zcfan
tumbleweed (openSUSE Tumbleweed) (Productivity/Archiving/Compression): Komprimiertes Dateiformat, das einfache Deltas ermöglicht
1.5.3-1.5: x86_64
Source: zchunk
tumbleweed (openSUSE Tumbleweed) (Hardware/Wifi): Firmware for ZD1211 USB WLAN sticks
1.5-2.14: noarch
Source: zd1211-firmware
tumbleweed (openSUSE Tumbleweed) (Development/Tools/Building): Nodebuilder for ZDoom
1.19-3.5: x86_64
Source: zdbsp
tumbleweed (openSUSE Tumbleweed) (Development/Tools/Other): Offline-Browser für API-Dokumentation
0.8.1-1.6: x86_64
Source: zeal
tumbleweed (openSUSE Tumbleweed) (Unspecified): Zeitgeist Engine
1.0.4-1.8: x86_64
Source: zeitgeist
tumbleweed (openSUSE Tumbleweed) (Unspecified): Entwicklungsdateien für die Zeitgeist-Clientbibliothek
1.0.4-1.8: x86_64
Source: zeitgeist
tumbleweed (openSUSE Tumbleweed) (Unspecified): Terminal-Arbeitsbereich mit mitgelieferten Batterien
0.44.3-1.3: x86_64
Source: zellij
tumbleweed (openSUSE Tumbleweed) (System/Shells): Bash-Vervollständigung für zellij
0.44.3-1.3: noarch
Source: zellij
tumbleweed (openSUSE Tumbleweed) (System/Shells): Fish Completion for zellij
0.44.3-1.3: noarch
Source: zellij
tumbleweed (openSUSE Tumbleweed) (System/Shells): Zsh Completion for zellij
0.44.3-1.3: noarch
Source: zellij
tumbleweed (openSUSE Tumbleweed) (Unspecified): Ähnlich wie top oder htop, aber mit zoombaren Diagrammen
0.15.0-1.3: x86_64
Source: zenith
tumbleweed (openSUSE Tumbleweed) (System/GUI/GNOME): GNOME Command Line Dialog Utility
4.2.2-1.4: x86_64
Source: zenity
tumbleweed (openSUSE Tumbleweed) (System/Localization): Übersetzungen für das Paket zenity
4.2.2-1.4: noarch
Source: zenity
tumbleweed (openSUSE Tumbleweed) (Development/Tools/IDE): Lightweight Lua IDE
2.01-2.3: noarch
Source: zerobranestudio
tumbleweed (openSUSE Tumbleweed) (System/Filesystems): Dienstprogramm für ext2-, ext3- und ext4-Dateisysteme, das nicht zugewiesene Blöcke mit Nullen überschreibt
1.1.1-1.32: x86_64
Source: zerofree
tumbleweed (openSUSE Tumbleweed) (Development/Languages/C and C++): Entwicklungsdateien für ZeroMQ
4.3.5-1.11: x86_64
Source: zeromq
tumbleweed (openSUSE Tumbleweed) (Productivity/Networking/Web/Servers): Werkzeuge für die Arbeit mit ZeroMQ
4.3.5-1.11: x86_64
Source: zeromq
tumbleweed (openSUSE Tumbleweed) (Productivity/Archiving/Compression): Numerische Arrays lesen und schreiben
1.0.1-1.9: x86_64
Source: zfp
tumbleweed (openSUSE Tumbleweed) (Development/Libraries/C and C++): Development files for zfp
1.0.1-1.9: x86_64
Source: zfp
tumbleweed (openSUSE Tumbleweed) (Productivity/Scientific/Math): OpenGL-based equation viewer and solver
4.2.6-8.5: x86_64
Source: zhu3d
tumbleweed (openSUSE Tumbleweed) (Development/Languages/Other): Compiler für die Zig-Sprache
0.15.2-1.2: x86_64
Source: zig
tumbleweed (openSUSE Tumbleweed) (Development/Languages/Other): Compiler für die Zig-Sprache
0.14.1-2.5: x86_64
Source: zig0.14
tumbleweed (openSUSE Tumbleweed) (Development/Languages/Other): Compiler für die Zig-Sprache
0.15.2-2.5: x86_64
Source: zig0.15
tumbleweed (openSUSE Tumbleweed) (Development/Languages/Other): Compiler für die Zig-Sprache
0.16.0-1.3: x86_64
Source: zig0.16
tumbleweed (openSUSE Tumbleweed) (Development/Languages/Other): Zig-Standardbibliothek
0.14.1-2.5: noarch
Source: zig0.14
tumbleweed (openSUSE Tumbleweed) (Development/Languages/Other): Zig-Standardbibliothek
0.15.2-2.5: noarch
Source: zig0.15
tumbleweed (openSUSE Tumbleweed) (Development/Languages/Other): Zig Standard Library
0.16.0-1.3: noarch
Source: zig0.16
tumbleweed (openSUSE Tumbleweed) (Development/Languages/Other): Gemeinsame RPM-Makros für zig0.14
0.14.1-2.5: noarch
Source: zig0.14
tumbleweed (openSUSE Tumbleweed) (Development/Languages/Other): Gemeinsame RPM-Makros für zig0.15
0.15.2-2.5: noarch
Source: zig0.15
tumbleweed (openSUSE Tumbleweed) (Development/Languages/Other): Gemeinsame RPM-Makros für zig0.16
0.16.0-1.3: noarch
Source: zig0.16
tumbleweed (openSUSE Tumbleweed) (Productivity/Text/Editors): Lightweight Emacs Clone
2.6.4-1.5: x86_64
Source: zile
tumbleweed (openSUSE Tumbleweed) (Productivity/Office/Organizers): Ein Desktop-Wiki
0.77.1-1.1: noarch
Source: zim
tumbleweed (openSUSE Tumbleweed) (Unspecified): Entwicklungsdateien für libzimg2
3.0.6+20260720.g1ad1895-1.1: x86_64
Source: zimg
tumbleweed (openSUSE Tumbleweed) (System/Localization): Translations for package zim
0.77.1-1.1: noarch
Source: zim
tumbleweed (openSUSE Tumbleweed) (System/Libraries): Online-Handschrifterkennungssystem mit maschinellem Lernen
0.07-2.16: x86_64
Source: zinnia
tumbleweed (openSUSE Tumbleweed) (Development/Libraries/C and C++): Entwicklungsdateien für zinnia
0.07-2.16: x86_64
Source: zinnia
tumbleweed (openSUSE Tumbleweed) (System/I18n/Japanese): Zinnia model files trained with data provided by Tomoe
0.6.0-8.6: noarch
Source: zinnia-tomoe
tumbleweed (openSUSE Tumbleweed) (Unspecified): Bibliothek zur Barcode-Erzeugung
2.16.0-2.2: x86_64
Source: zint
tumbleweed (openSUSE Tumbleweed) (Unspecified): Zint Barcode Studio
2.16.0-2.2: x86_64
Source: zint
tumbleweed (openSUSE Tumbleweed) (Productivity/Archiving/Compression): Dateikompressionsprogramm
3.0-24.7: x86_64
Source: zip
tumbleweed (openSUSE Tumbleweed) (Development/Libraries/C and C++): Zipios Header Files
2.3.2-1.9: x86_64
Source: zipios
tumbleweed (openSUSE Tumbleweed) (Documentation/HTML): Zipios-API-Dokumentation
2.3.2-1.9: noarch
Source: zipios
tumbleweed (openSUSE Tumbleweed) (Development/Sources): Quellcode von zipkin-api
0.2.2-1.16: noarch
Source: zipkin-api
tumbleweed (openSUSE Tumbleweed) (System/Filesystems): Benutzerwerkzeuge für zisofs
1.0.8-27.11: x86_64
Source: zisofs-tools
tumbleweed (openSUSE Tumbleweed) (Development/Libraries/C and C++): Entwicklungsdateien für zita-convolver
4.0.3-1.25: x86_64
Source: zita-convolver
tumbleweed (openSUSE Tumbleweed) (Development/Libraries/C and C++): Entwicklungsdateien für zita-resampler
1.11.2-2.8: x86_64
Source: zita-resampler
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
tumbleweed (openSUSE Tumbleweed) (Development/Libraries/C and C++): Entwicklungsdateien für die zix-Bibliothek
0.8.0-1.5: x86_64
Source: zix
tumbleweed (openSUSE Tumbleweed) (Unspecified): Ein Werkzeug zur statischen Analyse für GitHub Actions
1.29.0-1.1: x86_64
Source: zizmor
tumbleweed (openSUSE Tumbleweed) (System/Shells): Bash-Vervollständigung für zizmor
1.29.0-1.1: noarch
Source: zizmor
tumbleweed (openSUSE Tumbleweed) (System/Shells): Fish Completion for zizmor
1.29.0-1.1: noarch
Source: zizmor
tumbleweed (openSUSE Tumbleweed) (System/Shells): Zsh-Vervollständigung für zizmor
1.29.0-1.1: noarch
Source: zizmor
tumbleweed (openSUSE Tumbleweed) (System/Shells): Nur-Text-Notizassistent für Markdown
0.15.6-1.1: x86_64
Source: zk
tumbleweed (openSUSE Tumbleweed) (Unspecified): Spaced-Repetition-Memorierung für zk
1.0.0-2.9: x86_64
Source: zk-spaced
tumbleweed (openSUSE Tumbleweed) (Unspecified): CLI für die Zot-Container-Registry
2.1.20-1.1: x86_64
Source: zli
tumbleweed (openSUSE Tumbleweed) (System/Shells): Bash Completion for zli
2.1.20-1.1: noarch
Source: zli
tumbleweed (openSUSE Tumbleweed) (Unspecified): Entwicklungsdateien für zlib, eine Datenkompressionsbibliothek
1.3.1-3.3: x86_64
Source: zlib
tumbleweed (openSUSE Tumbleweed) (Unspecified): Entwicklungsdateien für zlib, eine Datenkompressionsbibliothek
1.3.1-3.3: x86_64
Source: zlib
tumbleweed (openSUSE Tumbleweed) (Unspecified): Statische Bibliothek für zlib
1.3.1-3.3: x86_64
Source: zlib
tumbleweed (openSUSE Tumbleweed) (Unspecified): Statische Bibliothek für zlib
1.3.1-3.3: x86_64
Source: zlib
tumbleweed (openSUSE Tumbleweed) (Unspecified): Entwicklungsdateien für zlib-ng-compat
2.3.3-2.4: x86_64
Source: zlib-ng-compat
tumbleweed (openSUSE Tumbleweed) (Unspecified): Entwicklungsdateien für zlib-ng
2.3.3-2.4: x86_64
Source: zlib-ng
tumbleweed (openSUSE Tumbleweed) (System/Libraries): Cross-platform GUI library
0.99.4-5.4: x86_64
Source: fbreader
tumbleweed (openSUSE Tumbleweed) (Productivity/Other): Datendateien für Zlibrary
0.99.4-5.4: noarch
Source: fbreader
tumbleweed (openSUSE Tumbleweed) (Development/Libraries/C and C++): Entwicklungsdateien für zlibrary
0.99.4-5.4: x86_64
Source: fbreader
tumbleweed (openSUSE Tumbleweed) (Unspecified): Entwicklungsdateien für zlib-rs
0.6.7-1.1: x86_64
Source: zlib-rs
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.