Debian Package Tracker
Register | Log in

News for package coq

  • [2017-01-14] coq 8.6-4 MIGRATED to testing (Debian testing watch)
  • [2016-12-30] Accepted coq 8.6-4 (source amd64) into unstable (Enrico Tassi)
  • [2016-12-29] Accepted coq 8.6-3 (source amd64) into unstable (Enrico Tassi)
  • [2016-12-28] Accepted coq 8.6-2 (source amd64) into unstable (Enrico Tassi)
  • [2016-12-28] Accepted coq 8.6-1 (source amd64) into unstable (Enrico Tassi)
  • [2016-06-02] coq 8.5-2 MIGRATED to testing (Debian testing watch)
  • [2016-01-28] Accepted coq 8.5-2 (source amd64) into unstable (Enrico Tassi)
  • [2016-01-26] Accepted coq 8.5-1 (source amd64) into unstable (Enrico Tassi)
  • [2015-11-14] Accepted coq 8.5~beta3+dfsg-2 (source amd64) into experimental (Enrico Tassi)
  • [2015-11-14] Accepted coq 8.5~beta3+dfsg-1 (source amd64) into experimental (Enrico Tassi)
  • [2015-11-01] coq 8.4pl4dfsg-3 MIGRATED to testing (Britney)
  • [2015-10-22] Accepted coq 8.4pl4dfsg-3 (source all amd64) into unstable (Stéphane Glondu)
  • [2015-10-13] Accepted coq 8.4pl4dfsg-2 (source all amd64) into unstable (Stéphane Glondu)
  • [2015-07-20] Accepted coq 8.5~beta2+dfsg-2 (source amd64) into experimental (Enrico Tassi)
  • [2015-07-16] Accepted coq 8.5~beta2+dfsg-1 (source amd64) into experimental (Enrico Tassi)
  • [2014-08-11] coq 8.4pl4dfsg-1 MIGRATED to testing (Britney)
  • [2014-07-27] Accepted coq 8.4pl4dfsg-1 (source amd64 all) (Stéphane Glondu)
  • [2014-01-26] coq 8.4pl3dfsg-1 MIGRATED to testing (Debian testing watch)
  • [2014-01-19] Accepted coq 8.4pl3dfsg-1 (source amd64 all) (Stéphane Glondu)
  • [2013-12-12] coq 8.4pl2dfsg-4 MIGRATED to testing (Debian testing watch)
  • [2013-12-03] Accepted coq 8.4pl2dfsg-4 (source amd64 all) (Stéphane Glondu)
  • [2013-11-22] Accepted coq 8.4pl2dfsg-3 (source hurd-i386 all) (Stéphane Glondu)
  • [2013-07-26] Accepted coq 8.4pl2dfsg-2 (source amd64 all) (Stéphane Glondu)
  • [2013-05-25] coq 8.4pl2dfsg-1 MIGRATED to testing (Debian testing watch)
  • [2013-05-08] Accepted coq 8.4pl2dfsg-1 (source amd64 all) (Stéphane Glondu)
  • [2012-12-29] Accepted coq 8.4pl1dfsg-1 (source amd64 all) (Stéphane Glondu)
  • [2012-09-22] Accepted coq 8.4dfsg-2 (source amd64 all) (Stéphane Glondu)
  • [2012-08-20] Accepted coq 8.4dfsg-1 (source amd64 all) (Stéphane Glondu)
  • [2012-06-22] coq 8.3.pl4+dfsg-2 MIGRATED to testing (Debian testing watch)
  • [2012-06-06] Accepted coq 8.4~gamma0+really8.4beta2+dfsg-1 (source all amd64) (Stéphane Glondu)
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7

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