Debian Package Tracker
Register | Log in

News for package paramcoq

  • [2024-11-29] paramcoq 1.1.3+coq8.20-1 MIGRATED to testing (Debian testing watch)
  • [2024-11-20] Accepted paramcoq 1.1.3+coq8.20-1 (source) into unstable (Julien Puydt)
  • [2024-09-05] paramcoq 1.1.3+coq8.19-2 MIGRATED to testing (Debian testing watch)
  • [2024-08-17] paramcoq REMOVED from testing (Debian testing watch)
  • [2024-08-04] Accepted paramcoq 1.1.3+coq8.19-2 (source) into unstable (Stéphane Glondu)
  • [2024-06-24] paramcoq 1.1.3+coq8.19-1 MIGRATED to testing (Debian testing watch)
  • [2024-04-27] Accepted paramcoq 1.1.3+coq8.19-1 (source) into unstable (Julien Puydt)
  • [2024-01-23] paramcoq 1.1.3+coq8.18-1 MIGRATED to testing (Debian testing watch)
  • [2023-12-22] Accepted paramcoq 1.1.3+coq8.18-1 (source) into unstable (Julien Puydt)
  • [2023-08-17] paramcoq 1.1.3+coq8.17-2 MIGRATED to testing (Debian testing watch)
  • [2023-07-25] Accepted paramcoq 1.1.3+coq8.17-2 (source) into unstable (Julien Puydt)
  • [2023-06-24] paramcoq 1.1.3+coq8.17-1 MIGRATED to testing (Debian testing watch)
  • [2023-06-12] Accepted paramcoq 1.1.3+coq8.17-1 (source) into unstable (Julien Puydt)
  • [2023-01-31] paramcoq 1.1.3+coq8.16-3 MIGRATED to testing (Debian testing watch)
  • [2023-01-25] Accepted paramcoq 1.1.3+coq8.16-3 (source) into unstable (Julien Puydt)
  • [2022-09-17] paramcoq 1.1.3+coq8.16-2 MIGRATED to testing (Debian testing watch)
  • [2022-09-13] Accepted paramcoq 1.1.3+coq8.16-2 (source) into unstable (Julien Puydt)
  • [2022-09-06] Accepted paramcoq 1.1.3+coq8.16-1 (source) into unstable (Julien Puydt)
  • [2022-06-20] paramcoq 1.1.3-7 MIGRATED to testing (Debian testing watch)
  • [2022-06-12] Accepted paramcoq 1.1.3-7 (source) into unstable (Julien Puydt)
  • [2022-06-08] Accepted paramcoq 1.1.3-6 (source) into unstable (Julien Puydt)
  • [2022-06-03] Accepted paramcoq 1.1.3-5 (source amd64) into unstable, unstable (Debian FTP Masters) (signed by: Julien Puydt)
  • [2022-06-01] Accepted paramcoq 1.1.3-4 (source) into unstable (Julien Puydt)
  • [2022-05-25] paramcoq 1.1.3-3 MIGRATED to testing (Debian testing watch)
  • [2022-05-22] Accepted paramcoq 1.1.3-3 (source) into unstable (Julien Puydt)
  • [2022-05-20] paramcoq 1.1.3-2 MIGRATED to testing (Debian testing watch)
  • [2022-05-18] paramcoq 1.1.3-1 MIGRATED to testing (Debian testing watch)
  • [2022-05-17] Accepted paramcoq 1.1.3-2 (source) into unstable (Julien Puydt)
  • [2022-05-15] Accepted paramcoq 1.1.3-1 (source amd64) into unstable, unstable (Debian FTP Masters) (signed by: Julien Puydt)

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