Register
|
Log in
News for package
coq-doc
[
2006-02-04
]
coq-doc REMOVED from testing
(
Debian testing watch
)
[
2006-02-02
]
coq-doc 8.0pl1.0-1 MIGRATED to testing
(
Debian testing watch
)
[
2004-09-18
]
Accepted coq-doc 8.0pl1.0-1 (all source)
(
Samuel Mimram
)
(signed by:
Stefano Zacchiroli
)
[
2004-08-16
]
Accepted coq-doc 8.0pl1-1 (all source)
(
Samuel Mimram
)
(signed by:
Ralf Treinen
)
[
2002-04-19
]
Accepted coq-doc 7.2-1 (all source)
(
Judicaël Courant
)
(signed by:
Simon Richter
)
[
1999-12-18
]
Installed coq-doc 6.3.1-2 (all source)
(
Fernando Sanchez
)
[
1999-12-10
]
Installed coq-doc 6.3.1-1 (source i386)
(
Fernando Sanchez
)
1
2
3
