Register
|
Log in
News for package
cryptominisat
[
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
)
