Register
|
Log in
News for package
prover9-manual
[
2021-01-11
]
prover9-manual 0.0.200902a-2.1 MIGRATED to testing
(
Debian testing watch
)
[
2021-01-05
]
Accepted prover9-manual 0.0.200902a-2.1 (source) into unstable
(
Holger Levsen
)
[
2013-05-15
]
prover9-manual 0.0.200902a-2 MIGRATED to testing
(
Debian testing watch
)
[
2013-05-04
]
Accepted prover9-manual 0.0.200902a-2 (source all)
(
tony mancill
)
[
2009-03-25
]
prover9-manual 0.0.200902a-1 MIGRATED to testing
(
Debian testing watch
)
[
2009-03-15
]
Accepted prover9-manual 0.0.200902a-1 (source all)
(
Peter Collingbourne
)
[
2009-02-27
]
prover9-manual 0.0.200811a-1 MIGRATED to testing
(
Debian testing watch
)
[
2009-02-17
]
Accepted prover9-manual 0.0.200811a-1 (source all)
(
Peter Collingbourne
)
[
2009-02-16
]
prover9-manual 0.0.200809a-1 MIGRATED to testing
(
Debian testing watch
)
[
2008-09-14
]
Accepted prover9-manual 0.0.200809a-1 (source all)
(
Peter Collingbourne
)
[
2008-07-10
]
prover9-manual 0.0.200806a-1 MIGRATED to testing
(
Debian testing watch
)
[
2008-06-29
]
Accepted prover9-manual 0.0.200806a-1 (source all)
(
Peter Collingbourne
)
[
2008-06-08
]
prover9-manual 0.0.200805a-1 MIGRATED to testing
(
Debian testing watch
)
[
2008-05-28
]
Accepted prover9-manual 0.0.200805a-1 (source all)
(
Peter Collingbourne
)
(signed by:
Bernd Zeimetz
)
[
2008-04-20
]
prover9-manual 0.0.200804a-1 MIGRATED to testing
(
Debian testing watch
)
[
2008-04-09
]
Accepted prover9-manual 0.0.200804a-1 (source all)
(
Peter Collingbourne
)
(signed by:
Bernd Zeimetz
)
[
2008-03-31
]
prover9-manual 0.0.200712-2 MIGRATED to testing
(
Debian testing watch
)
[
2008-03-20
]
Accepted prover9-manual 0.0.200712-2 (source all)
(
Peter Collingbourne
)
(signed by:
Bernd Zeimetz
)
[
2008-03-08
]
prover9-manual 0.0.200712-1 MIGRATED to testing
(
Debian testing watch
)
[
2008-02-25
]
Accepted prover9-manual 0.0.200712-1 (source all)
(
Peter Collingbourne
)
(signed by:
Bernd Zeimetz
)
