coq
source package

news RSS

• [2009-09-09] coq 8.2.pl1+dfsg-3 MIGRATED to testing (Britney)
• [2009-08-29] Accepted 8.2.pl1+dfsg-3 in unstable (low) (Stéphane Glondu)
• [2009-08-04] coq 8.2.pl1+dfsg-2 MIGRATED to testing (Britney)
• [2009-08-03] coq 8.2.pl1+dfsg-2 MIGRATED to testing (Britney)
• [2009-07-05] Accepted 8.2.pl1+dfsg-2 in unstable (low) (Stephane Glondu)
• [2009-07-04] Accepted 8.2.pl1+dfsg-1 in unstable (low) (Stephane Glondu)
• [2009-07-01] Accepted 8.2-1+dfsg-2 in unstable (low) (Stephane Glondu)
• [2009-04-06] coq 8.2-1+dfsg-1 MIGRATED to testing (Britney)
• [2009-02-28] Accepted 8.2-1+dfsg-1 in unstable (low) (Stephane Glondu)
• [2009-02-08] Accepted 8.2~rc2+dfsg-3 in experimental (low) (Stephane Glondu)
• [2009-02-08] Accepted 8.2~rc2+dfsg-2 in experimental (low) (Stephane Glondu)
• [2009-02-07] Accepted 8.2~rc2+dfsg-1 in experimental (low) (Stephane Glondu)
• [2008-08-15] Accepted 8.2~beta4+dfsg-2 in experimental (low) (Stephane Glondu)
• [2008-08-14] Accepted 8.2~beta4+dfsg-1 in experimental (low) (Stephane Glondu)
• [2008-01-16] coq 8.1.pl3+dfsg-1 MIGRATED to testing (Britney)
• [2008-01-05] Accepted 8.1.pl3+dfsg-1 in unstable (low) (Samuel Mimram)
• [2007-12-19] coq 8.1.pl2+dfsg-3 MIGRATED to testing (Britney)
• [2007-11-29] Accepted 8.1.pl2+dfsg-3 in unstable (low) (Samuel Mimram)
• [2007-11-16] Accepted 8.1.pl2+dfsg-2 in unstable (low) (Samuel Mimram)
• [2007-10-15] Accepted 8.1.pl2+dfsg-1 in experimental (low) (Samuel Mimram)
• [2007-09-07] Accepted 8.1.pl1+dfsg-3 in unstable (low) (Samuel Mimram)
• [2007-08-31] coq 8.1.pl1+dfsg-1 MIGRATED to testing (Britney)
• [2007-08-24] Accepted 8.1.pl1+dfsg-2 in experimental (low) (Samuel Mimram)
• [2007-08-18] Accepted 8.1.pl1+dfsg-1 in unstable (low) (Samuel Mimram)
• [2007-07-15] coq 8.1+dfsg-6 MIGRATED to testing (Britney)
• [2007-07-04] Accepted 8.1+dfsg-6 in unstable (low) (Samuel Mimram)
• [2007-06-28] coq 8.1+dfsg-5 MIGRATED to testing (Britney)
• [2007-05-22] Accepted 8.1+dfsg-5 in unstable (low) (Samuel Mimram)
• [2007-04-25] coq 8.1+dfsg-3 MIGRATED to testing (Britney)
• [2007-04-24] Accepted 8.1+dfsg-4 in unstable (low) (Samuel Mimram)