acl2
source package

news RSS

• [2012-05-05] acl2 4.3-3 MIGRATED to testing (Britney)
• [2012-04-20] Accepted 4.3-3 in unstable (low) (Camm Maguire)
• [2012-02-01] acl2 4.3-2 MIGRATED to testing (Britney)
• [2012-01-21] Accepted 4.3-2 in unstable (low) (Camm Maguire)
• [2012-01-11] Accepted 4.3-1 in unstable (low) (Camm Maguire)
• [2011-05-25] acl2 4.2-1 MIGRATED to testing (Britney)
• [2011-05-14] Accepted 4.2-1 in unstable (low) (Camm Maguire)
• [2011-02-06] acl2 4.1-5 MIGRATED to testing (Britney)
• [2010-11-06] Accepted 4.1-5 in unstable (low) (Camm Maguire)
• [2010-10-31] Accepted 4.1-4 in unstable (low) (Camm Maguire)
• [2010-10-20] Accepted 4.1-3 in unstable (low) (Camm Maguire)
• [2010-09-25] Accepted 4.1-2 in unstable (low) (Camm Maguire)
• [2010-09-06] Accepted 4.1-1 in unstable (low) (Camm Maguire)
• [2010-07-24] acl2 4.0-3 MIGRATED to testing (Britney)
• [2010-07-09] Accepted 4.0-3 in unstable (low) (Camm Maguire)
• [2010-07-08] Accepted 4.0-2 in unstable (low) (Camm Maguire)
• [2010-07-08] Accepted 4.0-1 in unstable (low) (Camm Maguire)
• [2010-06-26] acl2 3.6.1-2 MIGRATED to testing (Britney)
• [2010-06-11] Accepted 3.6.1-2 in unstable (low) (Camm Maguire)
• [2010-06-07] Accepted 3.6.1-1 in unstable (low) (Camm Maguire)
• [2010-01-31] acl2 3.6-4 MIGRATED to testing (Britney)
• [2010-01-12] Accepted 3.6-4 in unstable (low) (Camm Maguire)
• [2010-01-04] Accepted 3.6-3 in unstable (low) (Camm Maguire)
• [2010-01-03] Accepted 3.6-2 in unstable (low) (Camm Maguire)
• [2009-12-17] Accepted 3.6-1 in unstable (low) (Camm Maguire)
• [2009-06-08] acl2 3.4-2 MIGRATED to testing (Britney)
• [2009-02-23] Accepted 3.4-2 in unstable (low) (Camm Maguire)
• [2008-12-08] acl2 REMOVED from testing (Britney)
• [2008-08-25] Accepted 3.4-1 in unstable (low) (Camm Maguire)
• [2008-04-06] Accepted 3.3-1.1 in unstable (low) (Peter Eisentraut)