Register
|
Log in
News for package
boogie
[
2024-09-04
]
Removed 2.4.1+dfsg-0.1 from unstable
(
Debian FTP Masters
)
[
2024-01-06
]
boogie REMOVED from testing
(
Debian testing watch
)
[
2023-12-06
]
boogie 2.4.1+dfsg-0.1 MIGRATED to testing
(
Debian testing watch
)
[
2023-11-11
]
boogie REMOVED from testing
(
Debian testing watch
)
[
2020-01-09
]
boogie 2.4.1+dfsg-0.1 MIGRATED to testing
(
Debian testing watch
)
[
2019-12-27
]
Accepted boogie 2.4.1+dfsg-0.1 (source) into unstable
(
Fabian Wolff
)
(signed by:
Sergio Durigan Junior
)
[
2019-01-20
]
boogie REMOVED from testing
(
Debian testing watch
)
[
2016-11-21
]
boogie 2.3.0.61016+dfsg+3.gbp1f2d6c1-1 MIGRATED to testing
(
Debian testing watch
)
[
2016-11-14
]
boogie REMOVED from testing
(
Debian testing watch
)
[
2016-10-30
]
Accepted boogie 2.3.0.61016+dfsg+3.gbp1f2d6c1-1 (source all) into unstable
(
Benjamin Barenblat
)
[
2016-07-26
]
boogie 2.3.0.61016+dfsg+2.gbp4108246-1 MIGRATED to testing
(
Debian testing watch
)
[
2016-06-30
]
boogie REMOVED from testing
(
Debian testing watch
)
[
2016-06-11
]
boogie 2.3.0.61016+dfsg+2.gbp4108246-1 MIGRATED to testing
(
Debian testing watch
)
[
2016-06-05
]
Accepted boogie 2.3.0.61016+dfsg+2.gbp4108246-1 (source all) into unstable
(
Benjamin Barenblat
)
[
2016-04-07
]
Accepted boogie 2.3.0.61016+dfsg+1.gbp64e8b3-1 (source all) into unstable, unstable
(
Benjamin Barenblat
)
(signed by:
Alexander Chernyakhovsky
)
