general
- source
- coq-hierarchy-builder (optional, misc)
- version
- 1.4.0-2
- maint
- Debian OCaml Maintainers (a), Julien Puydt (u)
- std-ver
- 4.6.1
- VCS
- Git (browse)
testing migration
excuses:- Migration status for coq-hierarchy-builder (1.2.1-7 to 1.2.1-9): Waiting for test results or another package, or too young (no action required now - check later)
- Issues preventing migration:
- Too young, only 0 of 5 days old
news RSS
- [2022-11-19] coq-hierarchy-builder 1.4.0-2 MIGRATED to testing (Britney)
- [2022-10-26] Accepted 1.4.0-2 in unstable (medium) (Debian FTP Masters)
- [2022-10-08] coq-hierarchy-builder 1.4.0-1 MIGRATED to testing (Britney)
- [2022-10-02] Accepted 1.4.0-1 in unstable (medium) (Debian FTP Masters)
- [2022-09-17] coq-hierarchy-builder 1.3.0-2 MIGRATED to testing (Britney)
- [2022-09-06] Accepted 1.3.0-2 in unstable (medium) (Debian FTP Masters)
- [2022-08-09] coq-hierarchy-builder 1.3.0-1 MIGRATED to testing (Britney)
- [2022-07-30] Accepted 1.3.0-1 in unstable (medium) (Debian FTP Masters)
- [2022-07-10] coq-hierarchy-builder 1.2.1-11 MIGRATED to testing (Britney)
- [2022-06-13] Accepted 1.2.1-11 in unstable (medium) (Debian FTP Masters)
- [2022-06-02] Accepted 1.2.1-10 in unstable (medium) (Debian FTP Masters)
- [2022-05-29] coq-hierarchy-builder 1.2.1-9 MIGRATED to testing (Britney)
- [2022-05-23] Accepted 1.2.1-9 in unstable (medium) (Debian FTP Masters)
- [2022-05-22] Accepted 1.2.1-8 in unstable (medium) (Debian FTP Masters)
- [2022-05-17] coq-hierarchy-builder 1.2.1-7 MIGRATED to testing (Britney)
- [2022-05-12] Accepted 1.2.1-7 in unstable (medium) (Debian FTP Masters)
- [2022-05-11] Accepted 1.2.1-6 in unstable (medium) (Debian FTP Masters)
- [2022-04-22] coq-hierarchy-builder 1.2.1-4 MIGRATED to testing (Britney)
- [2022-04-13] Accepted 1.2.1-4 in unstable (medium) (Debian FTP Masters)
- [2022-03-29] coq-hierarchy-builder 1.2.1-3 MIGRATED to testing (Britney)
- [2022-03-23] Accepted 1.2.1-3 in unstable (medium) (Debian FTP Masters)
- [2022-02-19] coq-hierarchy-builder 1.2.1-2 MIGRATED to testing (Britney)
- [2022-02-13] Accepted 1.2.1-2 in unstable (medium) (Debian FTP Masters)
- [2022-01-23] coq-hierarchy-builder 1.2.1-1 MIGRATED to testing (Britney)
- [2022-01-17] Accepted 1.2.1-1 in unstable (medium) (Debian FTP Masters)
- [2021-12-17] Accepted 1.2.0-1 in unstable (medium) (Debian FTP Masters)
