Register
|
Log in
News for package
minisat+
[
2024-10-12
]
minisat+ 1.0-5 MIGRATED to testing
(
Debian testing watch
)
[
2024-10-10
]
Accepted minisat+ 1.0-5 (source) into unstable
(
Andreas Tille
)
[
2017-06-20
]
minisat+ 1.0-4 MIGRATED to testing
(
Debian testing watch
)
[
2017-02-22
]
Accepted minisat+ 1.0-4 (source) into unstable
(
Ralf Treinen
)
[
2016-12-31
]
minisat+ 1.0-3 MIGRATED to testing
(
Debian testing watch
)
[
2016-12-19
]
Accepted minisat+ 1.0-3 (source) into unstable
(
Ralf Treinen
)
[
2011-06-04
]
minisat+ 1.0-2 MIGRATED to testing
(
Debian testing watch
)
[
2011-05-25
]
minisat+ 1.0-1 MIGRATED to testing
(
Debian testing watch
)
[
2011-05-25
]
Accepted minisat+ 1.0-2 (source amd64)
(
Ralf Treinen
)
[
2011-05-14
]
Accepted minisat+ 1.0-1 (source amd64)
(
Ralf Treinen
)
