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]
You have searched for packages that names contain python-z3 in all suites, all sections, and all architectures. Found 10 matching packages.
Exact hits
Package python-z3
- etiona (python):
theorem prover from Microsoft Research - Python bindings
4.4.1-0.3build4: amd64 i386
Other hits
Package python-z3c
- etiona (zope):
z3c namespace package
2.9.1-0ubuntu2: all
Package python-z3c.autoinclude
- etiona (zope):
Automatically include ZCML
0.3.5-0ubuntu1: all
Package python-z3c.form
- etiona (zope):
advanced form and widget framework for Zope 3
2.9.1-0ubuntu2: all
Package python-z3c.formui
- etiona (zope):
set of initial UI components for z3c.form
2.3.0-0ubuntu1: all
Package python-z3c.macro
- etiona (zope):
Simpler definition of ZPT macros
1.4.2-0ubuntu2: all
Package python-z3c.optionstorage
- etiona (zope):
Option Storages -- Persistent, Managable Vocabularies
1.0.7-0ubuntu5: all
Package python-z3c.pt
- etiona (zope):
Fast Zope Page Template engine
2.2.3-0ubuntu1: all
Package python-z3c.ptcompat
- etiona (zope):
Zope-compatible page template engine based on Chameleon
1.0.1-0ubuntu2: all
Package python-z3c.template
- etiona (zope):
Pluggable Page Templates
1.4.1-0ubuntu1: all