agda
source package

news RSS

• [2011-12-23] agda 2.3.0-1 MIGRATED to testing (Britney)
• [2011-11-23] Accepted 2.3.0-1 in unstable (low) (Iain Lane)
• [2011-09-14] agda 2.2.10-4 MIGRATED to testing (Britney)
• [2011-09-03] Accepted 2.2.10-4 in unstable (low) (Iain Lane)
• [2011-08-10] agda 2.2.10-3 MIGRATED to testing (Britney)
• [2011-06-17] Accepted 2.2.10-3 in unstable (low) (Joachim Breitner)
• [2011-06-10] agda 2.2.10-2 MIGRATED to testing (Britney)
• [2011-06-08] Accepted 2.2.10-2 in unstable (low) (Joachim Breitner)
• [2011-05-20] Accepted 2.2.10-1 in sid (low) (Iain Lane)
• [2010-12-15] Accepted 2.2.8-1 in experimental (low) (Iain Lane)
• [2010-05-27] agda 2.2.6-7 MIGRATED to testing (Britney)
• [2010-05-06] Accepted 2.2.6-7 in unstable (low) (Marco Túlio Gontijo e Silva)
• [2010-04-27] agda 2.2.6-6 MIGRATED to testing (Britney)
• [2010-04-16] Accepted 2.2.6-6 in unstable (low) (Joachim Breitner)
• [2010-04-04] agda 2.2.6-5 MIGRATED to testing (Britney)
• [2010-03-16] Accepted 2.2.6-5 in unstable (low) (Marco Túlio Gontijo e Silva)
• [2010-03-12] Accepted 2.2.6-4 in unstable (low) (Iain Lane)
• [2010-02-27] Accepted 2.2.6-3 in unstable (low) (Marco Túlio Gontijo e Silva)
• [2010-01-18] Accepted 2.2.6-2 in unstable (low) (Iain Lane)
• [2010-01-07] Accepted 2.2.6-1 in unstable (low) (Iain Lane)
• [2009-08-10] Accepted 2.2.2-1 in unstable (low) (Iain Lane)
• [2009-08-10] Accepted 2.2.4+dfsg-1 in unstable (low) (Iain Lane)