Register
|
Log in
News for package
coq-doc
[
2025-01-29
]
coq-doc 8.20.0-2 MIGRATED to testing
(
Debian testing watch
)
[
2025-01-23
]
Accepted coq-doc 8.20.0-2 (source) into unstable
(
Julien Puydt
)
[
2025-01-01
]
coq-doc 8.20.0-1 MIGRATED to testing
(
Debian testing watch
)
[
2024-12-26
]
Accepted coq-doc 8.20.0-1 (source) into unstable
(
Julien Puydt
)
[
2024-06-24
]
coq-doc 8.19.1-2 MIGRATED to testing
(
Debian testing watch
)
[
2024-06-18
]
Accepted coq-doc 8.19.1-2 (source) into unstable
(
Stéphane Glondu
)
[
2024-05-01
]
coq-doc 8.19.1-1 MIGRATED to testing
(
Debian testing watch
)
[
2024-04-26
]
Accepted coq-doc 8.19.1-1 (source) into unstable
(
Julien Puydt
)
[
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
)
1
2
3