Register
|
Log in
News for package
boolector
[
2022-11-17
]
boolector 1.5.118.6b56be4.121013-1.3 MIGRATED to testing
(
Debian testing watch
)
[
2022-11-17
]
boolector 1.5.118.6b56be4.121013-1.3 MIGRATED to testing
(
Debian testing watch
)
[
2022-11-12
]
Accepted boolector 1.5.118.6b56be4.121013-1.3 (source) into unstable
(
Vagrant Cascadian
)
[
2022-11-10
]
Accepted boolector 1.5.118.6b56be4.121013-1.2 (source) into unstable
(
Vagrant Cascadian
)
[
2022-01-13
]
boolector 1.5.118.6b56be4.121013-1.1 MIGRATED to testing
(
Debian testing watch
)
[
2022-01-03
]
Accepted boolector 1.5.118.6b56be4.121013-1.1 (source) into unstable
(
Adrian Bunk
)
[
2013-05-05
]
boolector 1.5.118.6b56be4.121013-1 MIGRATED to testing
(
Debian testing watch
)
[
2012-10-16
]
Accepted boolector 1.5.118.6b56be4.121013-1 (source i386)
(
Michael Tautschnig
)
[
2010-06-23
]
boolector 1.4.ffc2089.100608-1 MIGRATED to testing
(
Debian testing watch
)
[
2010-06-12
]
Accepted boolector 1.4.ffc2089.100608-1 (source amd64)
(
Michael Tautschnig
)
