Register
|
Log in
News for package
coq-doc
[
2024-01-31
]
coq-doc 8.18.0-1 MIGRATED to testing
(
Debian testing watch
)
[
2024-01-25
]
Accepted coq-doc 8.18.0-1 (source) into unstable
(
Julien Puydt
)
[
2023-08-17
]
coq-doc 8.17.1-1 MIGRATED to testing
(
Debian testing watch
)
[
2023-08-12
]
Accepted coq-doc 8.17.1-1 (source) into unstable
(
Stéphane Glondu
)
[
2022-12-15
]
coq-doc 8.16.1-1 MIGRATED to testing
(
Debian testing watch
)
[
2022-12-09
]
Accepted coq-doc 8.16.1-1 (source) into unstable
(
Julien Puydt
)
[
2022-10-08
]
coq-doc 8.16.0-2 MIGRATED to testing
(
Debian testing watch
)
[
2022-10-02
]
Accepted coq-doc 8.16.0-2 (source) into unstable
(
Julien Puydt
)
[
2022-09-16
]
coq-doc 8.16.0-1 MIGRATED to testing
(
Debian testing watch
)
[
2022-09-11
]
Accepted coq-doc 8.16.0-1 (source) into unstable
(
Julien Puydt
)
[
2022-07-20
]
coq-doc 8.15.2-3 MIGRATED to testing
(
Debian testing watch
)
[
2022-07-14
]
Accepted coq-doc 8.15.2-3 (source) into unstable
(
Julien Puydt
)
[
2022-06-21
]
coq-doc 8.15.2-2 MIGRATED to testing
(
Debian testing watch
)
[
2022-06-16
]
Accepted coq-doc 8.15.2-2 (source all) into unstable
(
Julien Puydt
)
[
2022-06-15
]
Accepted coq-doc 8.15.2-1 (source) into unstable
(
Julien Puydt
)
[
2022-04-04
]
coq-doc 8.15.1-1 MIGRATED to testing
(
Debian testing watch
)
[
2022-03-30
]
Accepted coq-doc 8.15.1-1 (source all) into unstable
(
Julien Puydt
)
[
2022-02-27
]
coq-doc 8.15.0-3 MIGRATED to testing
(
Debian testing watch
)
[
2022-02-22
]
Accepted coq-doc 8.15.0-3 (source all) into unstable
(
Julien Puydt
)
[
2022-02-22
]
coq-doc 8.15.0-2 MIGRATED to testing
(
Debian testing watch
)
[
2022-02-17
]
Accepted coq-doc 8.15.0-2 (source all) into unstable
(
Julien Puydt
)
[
2022-02-14
]
coq-doc 8.15.0-1 MIGRATED to testing
(
Debian testing watch
)
[
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
)
1
2