Debian Package Tracker
Register | Log in

News for package coq-hierarchy-builder

  • [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)
  • 1
  • 2

Debian Package Tracker — Copyright 2013-2025 The Distro Tracker Developers
Report problems to the tracker.debian.org pseudo-package in the Debian BTS.
Documentation — Bugs — Git Repository — Contributing