Register
|
Log in
News for package
cryptominisat
[
2024-05-05
]
cryptominisat 5.11.21+dfsg1-1 MIGRATED to testing
(
Debian testing watch
)
[
2024-05-03
]
Accepted cryptominisat 5.11.21+dfsg1-1 (source) into unstable
(
Julien Puydt
)
[
2024-04-24
]
cryptominisat 5.11.15+dfsg1-1.1 MIGRATED to testing
(
Debian testing watch
)
[
2024-02-27
]
Accepted cryptominisat 5.11.15+dfsg1-1.1 (source) into unstable
(
Michael Hudson-Doyle
)
[
2024-01-30
]
Accepted cryptominisat 5.11.15+dfsg1-1.1~exp1 (source amd64) into experimental
(
Michael Hudson-Doyle
)
[
2023-12-16
]
cryptominisat 5.11.15+dfsg1-1 MIGRATED to testing
(
Debian testing watch
)
[
2023-12-14
]
Accepted cryptominisat 5.11.15+dfsg1-1 (source) into unstable
(
Julien Puydt
)
[
2023-07-18
]
cryptominisat 5.11.4+dfsg1-3 MIGRATED to testing
(
Debian testing watch
)
[
2023-07-14
]
Accepted cryptominisat 5.11.4+dfsg1-3 (source) into unstable
(
Scott Talbert
)
[
2022-11-07
]
cryptominisat 5.11.4+dfsg1-2 MIGRATED to testing
(
Debian testing watch
)
[
2022-11-03
]
Accepted cryptominisat 5.11.4+dfsg1-2 (source) into unstable
(
Scott Talbert
)
[
2022-10-31
]
cryptominisat 5.11.4+dfsg1-1 MIGRATED to testing
(
Debian testing watch
)
[
2022-10-28
]
Accepted cryptominisat 5.11.4+dfsg1-1 (source) into unstable
(
Julien Puydt
)
[
2022-10-06
]
cryptominisat 5.11.2+dfsg1-1 MIGRATED to testing
(
Debian testing watch
)
[
2022-10-03
]
Accepted cryptominisat 5.11.2+dfsg1-1 (source amd64) into unstable
(
Debian FTP Masters
)
(signed by:
Julien Puydt
)
[
2022-02-24
]
cryptominisat 5.8.0+dfsg1-2 MIGRATED to testing
(
Debian testing watch
)
[
2022-02-22
]
Accepted cryptominisat 5.8.0+dfsg1-2 (source) into unstable
(
Julien Puydt
)
[
2020-07-16
]
cryptominisat 5.8.0+dfsg1-1 MIGRATED to testing
(
Debian testing watch
)
[
2020-07-13
]
Accepted cryptominisat 5.8.0+dfsg1-1 (source amd64) into unstable, unstable
(
Debian FTP Masters
)
(signed by:
Julien Puydt
)
[
2020-05-14
]
cryptominisat 5.7.1+dfsg1-1 MIGRATED to testing
(
Debian testing watch
)
[
2020-05-11
]
Accepted cryptominisat 5.7.1+dfsg1-1 (source amd64) into unstable, unstable
(
Debian FTP Masters
)
(signed by:
Julien Puydt
)
[
2018-12-27
]
cryptominisat REMOVED from testing
(
Debian testing watch
)
[
2018-11-20
]
cryptominisat 5.6.4+dfsg.1-1 MIGRATED to testing
(
Debian testing watch
)
[
2018-11-09
]
Accepted cryptominisat 5.6.4+dfsg.1-1 (amd64 source) into unstable, unstable
(
Julian Rüth
)
