Debian Package Tracker
Register | Log in

News for package coq

  • [2009-09-09] coq 8.2.pl1+dfsg-3 MIGRATED to testing (Debian testing watch)
  • [2009-08-29] Accepted coq 8.2.pl1+dfsg-3 (source all amd64) (Stéphane Glondu)
  • [2009-08-04] coq 8.2.pl1+dfsg-2 MIGRATED to testing (Debian testing watch)
  • [2009-08-03] coq 8.2.pl1+dfsg-2 MIGRATED to testing (Debian testing watch)
  • [2009-07-05] Accepted coq 8.2.pl1+dfsg-2 (source all amd64) (Stephane Glondu)
  • [2009-07-04] Accepted coq 8.2.pl1+dfsg-1 (source all amd64) (Stephane Glondu)
  • [2009-07-01] Accepted coq 8.2-1+dfsg-2 (source all amd64) (Stephane Glondu)
  • [2009-04-06] coq 8.2-1+dfsg-1 MIGRATED to testing (Debian testing watch)
  • [2009-02-28] Accepted coq 8.2-1+dfsg-1 (source all amd64) (Stephane Glondu)
  • [2009-02-08] Accepted coq 8.2~rc2+dfsg-3 (source all amd64) (Stephane Glondu)
  • [2009-02-08] Accepted coq 8.2~rc2+dfsg-2 (source all amd64) (Stephane Glondu)
  • [2009-02-07] Accepted coq 8.2~rc2+dfsg-1 (source all i386) (Stephane Glondu) (signed by: Samuel Mimram)
  • [2008-08-15] Accepted coq 8.2~beta4+dfsg-2 (source all i386) (Stephane Glondu) (signed by: Samuel Mimram)
  • [2008-08-14] Accepted coq 8.2~beta4+dfsg-1 (source all i386) (Stephane Glondu) (signed by: Samuel Mimram)
  • [2008-01-16] coq 8.1.pl3+dfsg-1 MIGRATED to testing (Debian testing watch)
  • [2008-01-05] Accepted coq 8.1.pl3+dfsg-1 (source all i386) (Samuel Mimram)
  • [2007-12-19] coq 8.1.pl2+dfsg-3 MIGRATED to testing (Debian testing watch)
  • [2007-11-29] Accepted coq 8.1.pl2+dfsg-3 (source all i386) (Samuel Mimram)
  • [2007-11-16] Accepted coq 8.1.pl2+dfsg-2 (source all i386) (Samuel Mimram)
  • [2007-10-15] Accepted coq 8.1.pl2+dfsg-1 (source all i386) (Samuel Mimram)
  • [2007-09-07] Accepted coq 8.1.pl1+dfsg-3 (source all i386) (Samuel Mimram)
  • [2007-08-31] coq 8.1.pl1+dfsg-1 MIGRATED to testing (Debian testing watch)
  • [2007-08-24] Accepted coq 8.1.pl1+dfsg-2 (source all i386) (Samuel Mimram)
  • [2007-08-18] Accepted coq 8.1.pl1+dfsg-1 (source all i386) (Samuel Mimram)
  • [2007-07-15] coq 8.1+dfsg-6 MIGRATED to testing (Debian testing watch)
  • [2007-07-04] Accepted coq 8.1+dfsg-6 (source all i386) (Samuel Mimram)
  • [2007-06-28] coq 8.1+dfsg-5 MIGRATED to testing (Debian testing watch)
  • [2007-05-22] Accepted coq 8.1+dfsg-5 (source all i386) (Samuel Mimram)
  • [2007-04-25] coq 8.1+dfsg-3 MIGRATED to testing (Debian testing watch)
  • [2007-04-24] Accepted coq 8.1+dfsg-4 (source i386 all) (Samuel Mimram)
  • 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