Register
|
Log in
News for package
minisat2
[
2024-03-08
]
minisat2 1:2.2.1-8 MIGRATED to testing
(
Debian testing watch
)
[
2024-02-26
]
Accepted minisat2 1:2.2.1-8 (source) into unstable
(
Michael Tautschnig
)
[
2024-02-22
]
Accepted minisat2 1:2.2.1-7 (source) into unstable
(
Michael Tautschnig
)
[
2024-02-20
]
Accepted minisat2 1:2.2.1-6 (source) into unstable
(
Michael Tautschnig
)
[
2014-08-10
]
minisat2 1:2.2.1-5 MIGRATED to testing
(
Britney
)
[
2014-07-30
]
Accepted minisat2 1:2.2.1-5 (source i386) into unstable
(
Michael Tautschnig
)
[
2013-07-23
]
minisat2 1:2.2.1-4 MIGRATED to testing
(
Debian testing watch
)
[
2013-07-12
]
Accepted minisat2 1:2.2.1-4 (source i386)
(
Michael Tautschnig
)
[
2011-09-14
]
minisat2 1:2.2.1-3 MIGRATED to testing
(
Debian testing watch
)
[
2011-09-03
]
Accepted minisat2 1:2.2.1-3 (source i386)
(
Michael Tautschnig
)
[
2011-06-24
]
minisat2 1:2.2.1-2 MIGRATED to testing
(
Debian testing watch
)
[
2011-06-13
]
Accepted minisat2 1:2.2.1-2 (source amd64)
(
Michael Tautschnig
)
[
2011-04-09
]
minisat2 1:2.2.1-1 MIGRATED to testing
(
Debian testing watch
)
[
2011-03-29
]
Accepted minisat2 1:2.2.1-1 (source amd64)
(
Michael Tautschnig
)
[
2011-01-20
]
Accepted minisat2 1:2.2.0-3 (source amd64)
(
Michael Tautschnig
)
[
2010-08-05
]
minisat2 1:2.2.0-2 MIGRATED to testing
(
Debian testing watch
)
[
2010-07-25
]
Accepted minisat2 1:2.2.0-2 (source amd64)
(
Michael Tautschnig
)
[
2010-07-25
]
Accepted minisat2 1:2.2.0-1 (source amd64)
(
Michael Tautschnig
)
[
2010-01-09
]
minisat2 070721-8 MIGRATED to testing
(
Debian testing watch
)
[
2009-12-29
]
Accepted minisat2 070721-8 (source amd64)
(
Michael Tautschnig
)
[
2009-12-29
]
Accepted minisat2 070721-7 (source amd64)
(
Michael Tautschnig
)
[
2009-02-16
]
minisat2 070721-6 MIGRATED to testing
(
Debian testing watch
)
[
2008-10-26
]
Accepted minisat2 070721-6 (source s390)
(
Michael Tautschnig
)
[
2008-10-06
]
minisat2 070721-5 MIGRATED to testing
(
Debian testing watch
)
[
2008-09-07
]
Accepted minisat2 070721-5 (source s390)
(
Michael Tautschnig
)
[
2008-09-07
]
Accepted minisat2 070721-4 (source s390)
(
Michael Tautschnig
)
[
2008-06-28
]
minisat2 070721-3 MIGRATED to testing
(
Debian testing watch
)
[
2008-06-17
]
Accepted minisat2 070721-3 (source i386)
(
Michael Tautschnig
)
[
2008-06-16
]
Accepted minisat2 070721-2 (source i386)
(
Michael Tautschnig
)
[
2008-06-15
]
Accepted minisat2 070721-1 (source i386)
(
Michael Tautschnig
)
