Register
|
Log in
News for package
coq-doc
[
2022-02-08
]
Accepted coq-doc 8.15.0-1 (source all) into unstable
(
Julien Puydt
)
[
2019-11-23
]
coq-doc REMOVED from testing
(
Debian testing watch
)
[
2019-07-09
]
coq-doc 8.6-1 MIGRATED to testing
(
Debian testing watch
)
[
2019-04-03
]
coq-doc REMOVED from testing
(
Debian testing watch
)
[
2017-07-18
]
coq-doc 8.6-1 MIGRATED to testing
(
Debian testing watch
)
[
2017-07-13
]
Accepted coq-doc 8.6-1 (source all) into unstable
(
Hendrik Tews
)
(signed by:
Stéphane Glondu
)
[
2016-02-17
]
coq-doc 8.4pl4-2 MIGRATED to testing
(
Debian testing watch
)
[
2016-02-11
]
Accepted coq-doc 8.4pl4-2 (source all) into unstable
(
Ralf Treinen
)
[
2014-08-23
]
coq-doc 8.4pl4-1 MIGRATED to testing
(
Britney
)
[
2014-08-17
]
Accepted coq-doc 8.4pl4-1 (source all) into unstable
(
Stéphane Glondu
)
[
2013-12-19
]
coq-doc 8.4pl2-1 MIGRATED to testing
(
Debian testing watch
)
[
2013-12-13
]
Accepted coq-doc 8.4pl2-1 (source all)
(
Stéphane Glondu
)
[
2012-04-16
]
coq-doc 8.3pl4-1 MIGRATED to testing
(
Debian testing watch
)
[
2012-04-06
]
Accepted coq-doc 8.3pl4-1 (source all)
(
Stéphane Glondu
)
[
2012-01-14
]
coq-doc 8.3pl3-1 MIGRATED to testing
(
Debian testing watch
)
[
2012-01-04
]
Accepted coq-doc 8.3pl3-1 (source all)
(
Stéphane Glondu
)
[
2011-05-17
]
coq-doc 8.3pl2-1 MIGRATED to testing
(
Debian testing watch
)
[
2011-05-06
]
Accepted coq-doc 8.3pl2-1 (source all)
(
Stéphane Glondu
)
[
2010-01-18
]
coq-doc 8.2pl1-1 MIGRATED to testing
(
Debian testing watch
)
[
2010-01-07
]
Accepted coq-doc 8.2pl1-1 (source all)
(
Stéphane Glondu
)
[
2007-05-04
]
coq-doc 8.1-3 MIGRATED to testing
(
Debian testing watch
)
[
2007-04-23
]
Accepted coq-doc 8.1-3 (source all)
(
Samuel Mimram
)
[
2007-04-20
]
coq-doc 8.1-2 MIGRATED to testing
(
Debian testing watch
)
[
2007-04-09
]
Accepted coq-doc 8.1-2 (source all)
(
Samuel Mimram
)
[
2007-02-13
]
Accepted coq-doc 8.1-1 (source all)
(
Samuel Mimram
)
[
2007-01-16
]
Accepted coq-doc 8.1~gamma-2 (source all)
(
Samuel Mimram
)
[
2007-01-07
]
Accepted coq-doc 8.1~gamma-1 (source all)
(
Samuel Mimram
)
[
2006-07-13
]
Accepted coq-doc 8.0pl3+8.1beta.2-1 (source all)
(
Samuel Mimram
)
[
2006-05-10
]
Accepted coq-doc 8.0pl3+8.1alpha-2 (source all)
(
Samuel Mimram
)
[
2006-05-02
]
Accepted coq-doc 8.0pl3+8.1alpha-1 (source all)
(
Samuel Mimram
)
1
2
3
