Go
Register
|
Log in
Subscribe
z3
theorem prover from Microsoft Research
×
Choose email to subscribe with
general
source:
z3
(
main
)
version:
4.8.7-4
maintainer:
LLVM Packaging Team
(
archive
)
(
DMD
)
uploaders:
Fabian Wolff
[
DMD
]
[
DM
]
arch:
any
std-ver:
4.4.1
VCS:
Git
(
Browse
,
QA
)
versions
[more versions can be listed by madison]
[old versions available from snapshot.debian.org]
[pool directory]
oldstable:
4.
4.
1-
1~
deb9u1
stable:
4.
4.
1-
1~
deb10u1
testing:
4.8.7-4
unstable:
4.8.7-4
versioned links
4.
4.
1-
1~
deb9u1:
[.dsc, use dget on this link to retrieve source package]
[changelog]
[copyright]
[rules]
[control]
4.
4.
1-
1~
deb10u1:
[.dsc, use dget on this link to retrieve source package]
[changelog]
[copyright]
[rules]
[control]
4.8.7-4:
[.dsc, use dget on this link to retrieve source package]
[changelog]
[copyright]
[rules]
[control]
binaries
libz3-4
libz3-dev
libz3-java
libz3-jni
python3-z3
z3
(
1 bugs
:
0
,
0
,
1
,
0
)
action needed
A new upstream version is available:
4.8.8
high
A new upstream version
4.8.8
is available, you should consider packaging it.
Fails to build
during reproducibility testing
normal
A package
building reproducibly
enables third parties to verify that the source matches the distributed binaries. It has been
identified
that this source package produced different results, failed to build or had other issues in a
test environment
. Please read about
how to improve the situation
!
lintian reports
1 warning
normal
Lintian
reports
1 warning
about this package. You should make the package
lintian clean
getting rid of them.
Build log checks report
2 warnings
low
Build log checks
report
2 warnings
Standards version of the package is outdated.
wishlist
The package should be updated to follow the last version of
Debian Policy
(Standards-Version
4.5.0
instead of
4.4.1
).
news
[rss feed]
[
2020-01-16
]
z3 4.8.7-4 MIGRATED to testing
(
Debian testing watch
)
[
2020-01-13
]
Accepted z3 4.8.7-4 (source) into unstable
(
Fabian Wolff
)
[
2020-01-12
]
Accepted z3 4.8.7-3 (source) into unstable
(
Fabian Wolff
)
[
2019-12-11
]
z3 4.8.7-2 MIGRATED to testing
(
Debian testing watch
)
[
2019-12-09
]
Accepted z3 4.8.7-2 (source) into unstable
(
Fabian Wolff
)
[
2019-12-08
]
Accepted z3 4.8.7-1 (source) into unstable
(
Fabian Wolff
)
[
2019-10-19
]
z3 4.8.6-2 MIGRATED to testing
(
Debian testing watch
)
[
2019-10-14
]
Accepted z3 4.8.6-2 (source) into unstable
(
Fabian Wolff
)
[
2019-10-11
]
Accepted z3 4.8.6-1 (source amd64) into unstable, unstable
(
Fabian Wolff
)
(signed by:
Adam Borowski
)
[
2019-09-09
]
z3 4.8.4-1 MIGRATED to testing
(
Debian testing watch
)
[
2019-09-04
]
Accepted z3 4.8.4-1 (source) into unstable
(
Fabian Wolff
)
(signed by:
Gianfranco Costamagna
)
[
2019-08-25
]
Accepted z3 4.4.1-1~deb9u1 (source) into oldstable-proposed-updates->oldstable-new, oldstable-proposed-updates
(
Andreas Beckmann
)
[
2019-08-25
]
Accepted z3 4.4.1-1~deb10u1 (source) into proposed-updates->stable-new, proposed-updates
(
Andreas Beckmann
)
[
2019-08-22
]
z3 4.4.1-1 MIGRATED to testing
(
Debian testing watch
)
[
2019-08-17
]
Accepted z3 4.4.1-1 (source) into unstable
(
Gianfranco Costamagna
)
[
2019-04-16
]
Accepted z3 4.4.1-0.5~exp1 (source) into experimental
(
Sylvestre Ledru
)
[
2018-12-07
]
Accepted z3 4.4.1-0.4~deb9u1 (source) into proposed-updates->stable-new, proposed-updates
(
Adrian Bunk
)
[
2018-09-17
]
z3 4.4.1-0.4 MIGRATED to testing
(
Debian testing watch
)
[
2018-09-11
]
Accepted z3 4.4.1-0.4 (source) into unstable
(
Adrian Bunk
)
[
2016-10-01
]
z3 4.4.1-0.3 MIGRATED to testing
(
Debian testing watch
)
[
2016-09-26
]
Accepted z3 4.4.1-0.3 (source) into unstable
(
Gianfranco Costamagna
)
[
2016-07-26
]
z3 4.4.1-0.2 MIGRATED to testing
(
Debian testing watch
)
[
2016-07-20
]
Accepted z3 4.4.1-0.2 (source) into unstable
(
Fabian Wolff
)
(signed by:
Gianfranco Costamagna
)
[
2016-07-18
]
Accepted z3 4.4.1-0.1 (source amd64 all) into unstable, unstable
(
Fabian Wolff
)
(signed by:
Gianfranco Costamagna
)
[
2016-06-30
]
z3 REMOVED from testing
(
Debian testing watch
)
[
2015-12-07
]
Accepted z3 4.4.0-4 (source i386 all) into unstable, unstable
(
Michael Tautschnig
)
[
2015-12-07
]
Accepted z3 4.4.0-5 (source i386 all) into unstable, unstable
(
Michael Tautschnig
)
[
2015-08-29
]
Accepted z3 4.4.0-3 (source i386) into unstable, unstable
(
Michael Tautschnig
)
[
2015-07-25
]
z3 4.4.0-2 MIGRATED to testing
(
Britney
)
[
2015-07-07
]
Accepted z3 4.4.0-2 (source i386) into unstable
(
Michael Tautschnig
)
1
2
bugs
[bug history graph]
all:
2
RC:
0
I&N:
0
M&W:
2
F&P:
0
patch:
0
links
homepage
lintian
(
0
,
1
)
buildd:
logs
,
checks
,
clang
,
reproducibility
,
cross
popcon
browse source code
edit tags
screenshots
debci
ubuntu
[Information about Ubuntu for Debian Developers]
version:
4.8.7-4build1
![[bug history graph]](https://qa.debian.org/data/bts/graphs/z/z3.png){kind=link}