agda-stdlib
source package

news RSS

• [2012-01-10] agda-stdlib 0.6-1 MIGRATED to testing (Britney)
• [2011-12-30] Accepted 0.6-1 in unstable (low) (Iain Lane)
• [2011-12-23] agda-stdlib 0.6~darcs20111129t1640-1 MIGRATED to testing (Britney)
• [2011-11-29] Accepted 0.6~darcs20111129t1640-1 in unstable (low) (Iain Lane)
• [2011-06-10] agda-stdlib 0.5-1 MIGRATED to testing (Britney)
• [2011-05-24] Accepted 0.5-1 in unstable (low) (Iain Lane)
• [2010-03-14] agda-stdlib 0.3-3 MIGRATED to testing (Britney)
• [2010-03-03] Accepted 0.3-3 in unstable (low) (Marco Túlio Gontijo e Silva)
• [2010-02-27] Accepted 0.3-2 in unstable (low) (Marco Túlio Gontijo e Silva)
• [2010-02-16] agda-stdlib 0.3-1 MIGRATED to testing (Britney)
• [2010-02-05] Accepted 0.3-1 in unstable (low) (Iain Lane)