Search in specific suite: [aramo] [aramo-updates] [aramo-security] [aramo-backports] [nabia] [nabia-updates] [nabia-security] [nabia-backports] [etiona] [etiona-updates] [etiona-security] [etiona-backports]
Limit search to a specific architecture: [i386] [amd64] [armhf] [arm64] [ppc64el]
您在所有发行版中所有硬件架构下所有版面里，指定关键字 python-z3 在软件包名称中搜索的结果。 找到 10 个匹配的软件包。
完整匹配
软件包 python-z3
- etiona (python):
theorem prover from Microsoft Research - Python bindings
4.4.1-0.3build4: amd64 i386
部分匹配
软件包 python-z3c
- etiona (zope):
z3c namespace package
2.9.1-0ubuntu2: all
软件包 python-z3c.autoinclude
- etiona (zope):
Automatically include ZCML
0.3.5-0ubuntu1: all
软件包 python-z3c.form
- etiona (zope):
advanced form and widget framework for Zope 3
2.9.1-0ubuntu2: all
软件包 python-z3c.formui
- etiona (zope):
set of initial UI components for z3c.form
2.3.0-0ubuntu1: all
软件包 python-z3c.macro
- etiona (zope):
Simpler definition of ZPT macros
1.4.2-0ubuntu2: all
软件包 python-z3c.optionstorage
- etiona (zope):
Option Storages -- Persistent, Managable Vocabularies
1.0.7-0ubuntu5: all
软件包 python-z3c.pt
- etiona (zope):
Fast Zope Page Template engine
2.2.3-0ubuntu1: all
软件包 python-z3c.ptcompat
- etiona (zope):
Zope-compatible page template engine based on Chameleon
1.0.1-0ubuntu2: all
软件包 python-z3c.template
- etiona (zope):
Pluggable Page Templates
1.4.1-0ubuntu1: all