Register
|
Log in
News for package
coq-hierarchy-builder
[
2022-09-17
]
coq-hierarchy-builder 1.3.0-2 MIGRATED to testing
(
Debian testing watch
)
[
2022-09-06
]
Accepted coq-hierarchy-builder 1.3.0-2 (source) into unstable
(
Julien Puydt
)
[
2022-08-09
]
coq-hierarchy-builder 1.3.0-1 MIGRATED to testing
(
Debian testing watch
)
[
2022-07-30
]
Accepted coq-hierarchy-builder 1.3.0-1 (source) into unstable
(
Julien Puydt
)
[
2022-07-10
]
coq-hierarchy-builder 1.2.1-11 MIGRATED to testing
(
Debian testing watch
)
[
2022-06-13
]
Accepted coq-hierarchy-builder 1.2.1-11 (source) into unstable
(
Julien Puydt
)
[
2022-06-02
]
Accepted coq-hierarchy-builder 1.2.1-10 (source) into unstable
(
Julien Puydt
)
[
2022-05-29
]
coq-hierarchy-builder 1.2.1-9 MIGRATED to testing
(
Debian testing watch
)
[
2022-05-23
]
Accepted coq-hierarchy-builder 1.2.1-9 (source) into unstable
(
Julien Puydt
)
[
2022-05-22
]
Accepted coq-hierarchy-builder 1.2.1-8 (source) into unstable
(
Julien Puydt
)
[
2022-05-17
]
coq-hierarchy-builder 1.2.1-7 MIGRATED to testing
(
Debian testing watch
)
[
2022-05-12
]
Accepted coq-hierarchy-builder 1.2.1-7 (source) into unstable
(
Julien Puydt
)
[
2022-05-11
]
Accepted coq-hierarchy-builder 1.2.1-6 (source) into unstable
(
Julien Puydt
)
[
2022-04-22
]
coq-hierarchy-builder 1.2.1-4 MIGRATED to testing
(
Debian testing watch
)
[
2022-04-13
]
Accepted coq-hierarchy-builder 1.2.1-4 (source) into unstable
(
Julien Puydt
)
[
2022-03-29
]
coq-hierarchy-builder 1.2.1-3 MIGRATED to testing
(
Debian testing watch
)
[
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
)
