coq-doc
source package

news RSS

• [2012-04-16] coq-doc 8.3pl4-1 MIGRATED to testing (Britney)
• [2012-04-06] Accepted 8.3pl4-1 in unstable (low) (Stéphane Glondu)
• [2012-01-14] coq-doc 8.3pl3-1 MIGRATED to testing (Britney)
• [2012-01-04] Accepted 8.3pl3-1 in unstable (low) (Stéphane Glondu)
• [2011-05-17] coq-doc 8.3pl2-1 MIGRATED to testing (Britney)
• [2011-05-06] Accepted 8.3pl2-1 in unstable (low) (Stéphane Glondu)
• [2010-01-18] coq-doc 8.2pl1-1 MIGRATED to testing (Britney)
• [2010-01-07] Accepted 8.2pl1-1 in unstable (low) (Stéphane Glondu)
• [2007-05-04] coq-doc 8.1-3 MIGRATED to testing (Britney)
• [2007-04-23] Accepted 8.1-3 in unstable (low) (Samuel Mimram)
• [2007-04-20] coq-doc 8.1-2 MIGRATED to testing (Britney)
• [2007-04-09] Accepted 8.1-2 in unstable (low) (Samuel Mimram)
• [2007-02-13] Accepted 8.1-1 in experimental (low) (Samuel Mimram)
• [2007-01-16] Accepted 8.1~gamma-2 in experimental (low) (Samuel Mimram)
• [2007-01-07] Accepted 8.1~gamma-1 in experimental (low) (Samuel Mimram)
• [2006-07-13] Accepted 8.0pl3+8.1beta.2-1 in experimental (low) (Samuel Mimram)
• [2006-05-10] Accepted 8.0pl3+8.1alpha-2 in experimental (low) (Samuel Mimram)
• [2006-05-02] Accepted 8.0pl3+8.1alpha-1 in experimental (low) (Samuel Mimram)
• [2006-02-04] coq-doc REMOVED from testing (Britney)
• [2006-02-02] coq-doc 8.0pl1.0-1 MIGRATED to testing (Britney)
• [2004-09-18] Accepted 8.0pl1.0-1 in unstable (low) (Samuel Mimram)
• [2004-08-16] Accepted 8.0pl1-1 in unstable (medium) (Samuel Mimram)
• [2002-04-19] Accepted 7.2-1 in unstable (medium) (Judica�l Courant)
• [1999-12-18] Accepted 6.3.1-2 in unstable (low) (Fernando Sanchez)
• [1999-12-10] Accepted 6.3.1-1 in unstable (low) (Fernando Sanchez)