matita
source package

news RSS

• [2011-06-17] matita 0.5.8-3 MIGRATED to testing (Britney)
• [2011-05-31] Accepted 0.5.8-3 in unstable (low) (Stéphane Glondu)
• [2011-02-12] matita REMOVED from testing (Britney)
• [2009-12-12] matita 0.5.8-2 MIGRATED to testing (Britney)
• [2009-12-04] Accepted 0.5.8-2 in unstable (low) (Enrico Tassi)
• [2009-12-01] Accepted 0.5.8-1 in unstable (low) (Enrico Tassi)
• [2009-04-06] matita 0.5.7-2 MIGRATED to testing (Britney)
• [2009-03-20] Accepted 0.5.7-2 in unstable (low) (Enrico Tassi)
• [2009-02-26] matita 0.5.7-1 MIGRATED to testing (Britney)
• [2009-02-15] Accepted 0.5.7-1 in unstable (low) (Enrico Tassi)
• [2008-12-01] Accepted 0.5.6-1 in experimental (low) (Enrico Tassi)
• [2008-11-28] Accepted 0.5.5-2 in experimental (low) (Enrico Tassi)
• [2008-11-17] Accepted 0.5.5-1 in experimental (low) (Enrico Tassi)
• [2008-10-19] Accepted 0.5.4-1 in experimental (low) (Enrico Tassi)
• [2008-08-03] matita 0.5.3-1 MIGRATED to testing (Britney)
• [2008-07-23] Accepted 0.5.3-1 in unstable (low) (Enrico Tassi)
• [2008-07-13] matita 0.5.2-1 MIGRATED to testing (Britney)
• [2008-07-02] Accepted 0.5.2-1 in unstable (low) (Enrico Tassi)
• [2008-06-01] matita 0.5.1-1 MIGRATED to testing (Britney)
• [2008-05-29] Accepted 0.5.1-1 in unstable (medium) (Enrico Tassi)
• [2008-05-21] matita 0.5.0-1 MIGRATED to testing (Britney)
• [2008-05-10] Accepted 0.5.0-1 in unstable (low) (Enrico Tassi)
• [2008-05-01] Accepted 0.5.0~rc1-1 in unstable (low) (Enrico Tassi)
• [2008-03-21] matita 0.4.98-7 MIGRATED to testing (Britney)
• [2008-03-03] Accepted 0.4.98-7 in unstable (medium) (Enrico Tassi)
• [2007-12-22] matita 0.4.98-5 MIGRATED to testing (Britney)
• [2007-12-11] Accepted 0.4.98-5 in unstable (low) (Enrico Tassi)
• [2007-12-08] matita 0.4.98-3 MIGRATED to testing (Britney)
• [2007-12-08] Accepted 0.4.98-4 in unstable (low) (Enrico Tassi)
• [2007-11-27] Accepted 0.4.98-3 in unstable (low) (Enrico Tassi)