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): Agente de monitorização de recursos locais para Zabbix
7.0.28-1.2: x86_64
Source: zabbix
Package zabbix-agent2
tumbleweed (openSUSE Tumbleweed) (System/Monitoring): Agente de monitorização de recursos locais para Zabbix reescrito em golang
7.0.28-1.2: x86_64
Source: zabbix
Package zabbix-java-gateway
tumbleweed (openSUSE Tumbleweed) (System/Monitoring): Gateway Java do Zabbix
7.0.28-1.2: noarch
Source: zabbix
Package zabbix-proxy
tumbleweed (openSUSE Tumbleweed) (System/Monitoring): Ficheiros de sistema para o proxy Zabbix
7.0.28-1.2: x86_64
Source: zabbix
Package zabbix-proxy-mysql
tumbleweed (openSUSE Tumbleweed) (System/Monitoring): Proxy Zabbix com suporte a 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 com suporte a 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): Servidor Zabbix com suporte a MySQL
7.0.28-1.2: x86_64
Source: zabbix
Package zabbix-server-postgresql
tumbleweed (openSUSE Tumbleweed) (System/Monitoring): Servidor Zabbix com suporte a 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 para Linux
6.4.0-1.2: noarch
Source: zapzap
Package ZArchive
tumbleweed (openSUSE Tumbleweed) (Unspecified): Biblioteca e programa para criar e ler ficheiros .zar
0.1.2+git20240721.b467f7a-1.7: x86_64
Source: ZArchive
Package ZArchive-devel
tumbleweed (openSUSE Tumbleweed) (Unspecified): Pacote devel para ZArchive
0.1.2+git20240721.b467f7a-1.7: x86_64
Source: ZArchive
Package zathura
tumbleweed (openSUSE Tumbleweed) (Unspecified): Um visualizador de documentos personalizável
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): Ficheiros de desenvolvimento para zathura
2026.07.18-1.2: x86_64
Source: zathura
Package zathura-fish-completion
tumbleweed (openSUSE Tumbleweed) (Unspecified): Completação fish para Zathura
2026.07.18-1.2: noarch
Source: zathura
Package zathura-lang
tumbleweed (openSUSE Tumbleweed) (System/Localization): Traduções para o pacote 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): Suporte a DjVu para o zathura usando a biblioteca 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): Suporte PS para 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): Jogo de puzzle sobre organizar bolas em trios
1.0.1-3.10: x86_64
Source: zaz
Package zbar
tumbleweed (openSUSE Tumbleweed) (Unspecified): Leitor de códigos de barras
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): Formato de ficheiro comprimido que permite deltas fáceis
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): Navegador de documentação de API offline
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): Ficheiros de desenvolvimento para a biblioteca cliente Zeitgeist
1.0.4-1.8: x86_64
Source: zeitgeist
Package zellij
tumbleweed (openSUSE Tumbleweed) (Unspecified): Espaço de trabalho de terminal com tudo incluído
0.44.3-1.3: x86_64
Source: zellij
Package zellij-bash-completion
tumbleweed (openSUSE Tumbleweed) (System/Shells): Completação Bash para 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): Mais ou menos como top ou htop, mas com gráficos com zoom
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): Traduções para o pacote 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): Utilitário para sistemas de ficheiros ext2, ext3 e ext4 que preenche com zeros os blocos não alocados
1.1.1-1.32: x86_64
Source: zerofree
Package zeromq-devel
tumbleweed (openSUSE Tumbleweed) (Development/Languages/C and C++): Ficheiros de desenvolvimento para ZeroMQ
4.3.5-1.11: x86_64
Source: zeromq
Package zeromq-tools
tumbleweed (openSUSE Tumbleweed) (Productivity/Networking/Web/Servers): Ferramentas para trabalhar com ZeroMQ
4.3.5-1.11: x86_64
Source: zeromq
Package zfp
tumbleweed (openSUSE Tumbleweed) (Productivity/Archiving/Compression): Ler e escrever arrays numéricos
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): Compilador para a linguagem Zig
0.15.2-1.2: x86_64
Source: zig
Package zig0.14
tumbleweed (openSUSE Tumbleweed) (Development/Languages/Other): Compilador para a linguagem Zig
0.14.1-2.5: x86_64
Source: zig0.14
Package zig0.15
tumbleweed (openSUSE Tumbleweed) (Development/Languages/Other): Compilador para a linguagem Zig
0.15.2-2.5: x86_64
Source: zig0.15
Package zig0.16
tumbleweed (openSUSE Tumbleweed) (Development/Languages/Other): Compilador para a linguagem Zig
0.16.0-1.3: x86_64
Source: zig0.16
Package zig-libs0.14
tumbleweed (openSUSE Tumbleweed) (Development/Languages/Other): Biblioteca padrão do Zig
0.14.1-2.5: noarch
Source: zig0.14
Package zig-libs0.15
tumbleweed (openSUSE Tumbleweed) (Development/Languages/Other): Biblioteca padrão do 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 comuns para zig0.14
0.14.1-2.5: noarch
Source: zig0.14
Package zig-rpm-macros0.15
tumbleweed (openSUSE Tumbleweed) (Development/Languages/Other): Macros RPM comuns para zig0.15
0.15.2-2.5: noarch
Source: zig0.15
Package zig-rpm-macros0.16
tumbleweed (openSUSE Tumbleweed) (Development/Languages/Other): Macros RPM comuns para 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): Um wiki para o ambiente de trabalho
0.77.1-1.1: noarch
Source: zim
Package zimg-devel
tumbleweed (openSUSE Tumbleweed) (Unspecified): Arquivos de desenvolvimento para 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): Sistema de reconhecimento de escrita à mão online com aprendizagem automática
0.07-2.16: x86_64
Source: zinnia
Package zinnia-devel
tumbleweed (openSUSE Tumbleweed) (Development/Libraries/C and C++): Ficheiros de desenvolvimento para 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): Biblioteca geradora de códigos de barras
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): Programa de compressão de ficheiros
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): Documentação da API Zipios
2.3.2-1.9: noarch
Source: zipios
Package zipkin-api-source
tumbleweed (openSUSE Tumbleweed) (Development/Sources): Código-fonte de zipkin-api
0.2.2-1.16: noarch
Source: zipkin-api
Package zisofs-tools
tumbleweed (openSUSE Tumbleweed) (System/Filesystems): Ferramentas de utilizador para zisofs
1.0.8-27.11: x86_64
Source: zisofs-tools
Package zita-convolver-devel
tumbleweed (openSUSE Tumbleweed) (Development/Libraries/C and C++): Ficheiros de desenvolvimento para zita-convolver
4.0.3-1.25: x86_64
Source: zita-convolver
Package zita-resampler-devel
tumbleweed (openSUSE Tumbleweed) (Development/Libraries/C and C++): Arquivos de desenvolvimento para 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++): Ficheiros de desenvolvimento para a biblioteca zix
0.8.0-1.5: x86_64
Source: zix
Package zizmor
tumbleweed (openSUSE Tumbleweed) (Unspecified): Uma ferramenta de análise estática para GitHub Actions
1.29.0-1.1: x86_64
Source: zizmor
Package zizmor-bash-completion
tumbleweed (openSUSE Tumbleweed) (System/Shells): Completação Bash para 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): Completação Zsh para zizmor
1.29.0-1.1: noarch
Source: zizmor
Package zk
tumbleweed (openSUSE Tumbleweed) (System/Shells): Assistente de anotações em texto simples para markdown
0.15.6-1.1: x86_64
Source: zk
Package zk-spaced
tumbleweed (openSUSE Tumbleweed) (Unspecified): Memorização por repetição espaçada para zk
1.0.0-2.9: x86_64
Source: zk-spaced
Package zli
tumbleweed (openSUSE Tumbleweed) (Unspecified): CLI para o registo de contentores 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): Ficheiros de desenvolvimento para zlib, uma biblioteca de compressão de dados
1.3.1-3.3: x86_64
Source: zlib
Package zlib-devel-32bit
tumbleweed (openSUSE Tumbleweed) (Unspecified): Arquivos de desenvolvimento para zlib, uma biblioteca de compressão de dados
1.3.1-3.3: x86_64
Source: zlib
Package zlib-devel-static
tumbleweed (openSUSE Tumbleweed) (Unspecified): Biblioteca estática para zlib
1.3.1-3.3: x86_64
Source: zlib
Package zlib-devel-static-32bit
tumbleweed (openSUSE Tumbleweed) (Unspecified): Biblioteca estática para zlib
1.3.1-3.3: x86_64
Source: zlib
Package zlib-ng-compat-devel
tumbleweed (openSUSE Tumbleweed) (Unspecified): Ficheiros de desenvolvimento para zlib-ng-compat
2.3.3-2.4: x86_64
Source: zlib-ng-compat
Package zlib-ng-devel
tumbleweed (openSUSE Tumbleweed) (Unspecified): Ficheiros de desenvolvimento para 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): Ficheiros de dados para Zlibrary
0.99.4-5.4: noarch
Source: fbreader
Package zlibrary-devel
tumbleweed (openSUSE Tumbleweed) (Development/Libraries/C and C++): Ficheiros de desenvolvimento para zlibrary
0.99.4-5.4: x86_64
Source: fbreader
Package zlib-rs-devel
tumbleweed (openSUSE Tumbleweed) (Unspecified): Ficheiros de desenvolvimento para 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.