Register
|
Log in
News for package
coq-hierarchy-builder
[
2022-03-23
]
Accepted coq-hierarchy-builder 1.2.1-3 (source) into unstable
(
Julien Puydt
)
[
2022-02-19
]
coq-hierarchy-builder 1.2.1-2 MIGRATED to testing
(
Debian testing watch
)
[
2022-02-13
]
Accepted coq-hierarchy-builder 1.2.1-2 (source amd64) into unstable, unstable
(
Debian FTP Masters
)
(signed by:
Julien Puydt
)
[
2022-01-23
]
coq-hierarchy-builder 1.2.1-1 MIGRATED to testing
(
Debian testing watch
)
[
2022-01-17
]
Accepted coq-hierarchy-builder 1.2.1-1 (source) into unstable
(
Julien Puydt
)
[
2021-12-17
]
Accepted coq-hierarchy-builder 1.2.0-1 (source amd64) into unstable, unstable
(
Debian FTP Masters
)
(signed by:
Julien Puydt
)
1
2