Go
Register
|
Log in
Subscribe
z3
theorem prover from Microsoft Research
×
Choose email to subscribe with
general
source:
z3
(
main
)
version:
4.8.12-1
maintainer:
LLVM Packaging Team
(
archive
)
(
DMD
)
uploaders:
Fabian Wolff
[
DMD
]
[
DM
]
arch:
any
std-ver:
4.6.0
VCS:
Git
(
Browse
,
QA
)
versions
[more versions can be listed by madison]
[old versions available from snapshot.debian.org]
[pool directory]
o-o-stable:
4.
4.
1-
1~
deb9u1
oldstable:
4.
4.
1-
1~
deb10u1
stable:
4.8.10-1
testing:
4.8.12-1
unstable:
4.8.12-1
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.10-1:
[.dsc, use dget on this link to retrieve source package]
[changelog]
[copyright]
[rules]
[control]
4.8.12-1:
[.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.17
high
A new upstream version
4.8.17
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
!
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.6.1
instead of
4.6.0
).
news
[rss feed]
[
2021-09-20
]
z3 4.8.12-1 MIGRATED to testing
(
Debian testing watch
)
[
2021-09-11
]
Accepted z3 4.8.12-1 (source) into unstable
(
Fabian Wolff
)
[
2021-02-01
]
z3 4.8.10-1 MIGRATED to testing
(
Debian testing watch
)
[
2021-01-29
]
Accepted z3 4.8.10-1 (source) into unstable
(
Fabian Wolff
)
[
2020-09-30
]
z3 4.8.9-1 MIGRATED to testing
(
Debian testing watch
)
[
2020-09-21
]
Accepted z3 4.8.9-1 (source) into unstable
(
Fabian Wolff
)
[
2020-06-09
]
z3 4.8.8-1 MIGRATED to testing
(
Debian testing watch
)
[
2020-06-06
]
Accepted z3 4.8.8-1 (source) into unstable
(
Fabian Wolff
)
[
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
)
1
2
bugs
[bug history graph]
all:
1
RC:
0
I&N:
0
M&W:
1
F&P:
0
patch:
0
links
homepage
lintian
buildd:
logs
,
checks
,
clang
,
reproducibility
,
cross
popcon
browse source code
edit tags
other distros
screenshots
debci
ubuntu
[Information about Ubuntu for Debian Developers]
version:
4.8.12-1
2 bugs
![[bug history graph]](https://qa.debian.org/data/bts/graphs/z/z3.png){kind=link}