Register
|
Log in
News for package
z3
[
2024-11-08
]
z3 4.13.3-1 MIGRATED to testing
(
Debian testing watch
)
[
2024-11-05
]
Accepted z3 4.13.3-1 (source) into unstable
(
Sylvestre Ledru
)
[
2024-11-04
]
Accepted z3 4.8.12-3.2 (source) into unstable
(
Sylvestre Ledru
)
[
2023-02-04
]
z3 4.8.12-3.1 MIGRATED to testing
(
Debian testing watch
)
[
2023-02-01
]
Accepted z3 4.8.12-3.1 (source) into unstable
(
Manuel A. Fernandez Montecelo
)
[
2022-11-08
]
z3 4.8.12-3 MIGRATED to testing
(
Debian testing watch
)
[
2022-10-21
]
Accepted z3 4.8.12-3 (source) into unstable
(
Karo Gyoker
)
(signed by:
Sylvestre Ledru
)
[
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
)
1
2
