Register
|
Log in
News for package
z3
[
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
)
[
2015-07-02
]
z3 4.4.0-1 MIGRATED to testing
(
Britney
)
[
2015-06-19
]
Accepted z3 4.4.0-1 (source i386) into unstable, unstable
(
Michael Tautschnig
)
1
2
