debile
2/5
Remain

z3/4.4.0-3b1

ID
83838
Name
z3
Version
4.4.0-3b1
Group
Suite
staging
Component
main
Architectures
amd64 i386
Arch affinity
amd64
Uploaded
1 year, 5 months ago

(Co-)Maintainers

Michael Tautschnig <mt@debian.org>

Other Versions

4.4.0-3b1

Jobs

Source Job Group
Suite
Builder Status
z3/​4.4.0-3b1 lintian [source] default
staging
helium ✓ No errors found
z3/​4.4.0-3b1 build [amd64] default
staging
argon ✗ Failed
z3/​4.4.0-3b1 build [i386] default
staging
argon ✗ Failed
z3/​4.4.0-3b1 lintian [amd64] default
staging
Not-Assigned ∞ Dep-Wait
z3/​4.4.0-3b1 lintian [i386] default
staging
Not-Assigned ∞ Dep-Wait

Sitemap

Debian links