acl2
source package

news RSS

• [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)
• [2007-12-03] Accepted 3.3-1 in unstable (low) (Camm Maguire)
• [2007-05-17] Accepted 3.2-1 in unstable (low) (Camm Maguire)
• [2007-01-09] acl2 3.1-1 MIGRATED to testing (Britney)
• [2006-12-04] Accepted 3.1-1 in unstable (low) (Camm Maguire)
• [2006-10-19] Accepted 3.0.1-8 in unstable (low) (Camm Maguire)
• [2006-10-18] Accepted 3.0.1-7 in unstable (low) (Camm Maguire)
• [2006-10-18] Accepted 3.0.1-6 in unstable (low) (Camm Maguire)
• [2006-10-17] Accepted 3.0.1-5 in unstable (low) (Camm Maguire)
• [2006-10-12] Accepted 3.0.1-4 in unstable (low) (Camm Maguire)
• [2006-10-11] Accepted 3.0.1-3 in unstable (low) (Camm Maguire)
• [2006-08-03] Accepted 3.0.1-1 in unstable (low) (Camm Maguire)
• [2006-06-10] Accepted 3.0-1 in unstable (low) (Camm Maguire)
• [2005-10-20] Accepted 2.9.3-7 in unstable (low) (Camm Maguire)
• [2005-10-13] Accepted 2.9.3-6 in unstable (low) (Camm Maguire)
• [2005-10-06] Accepted 2.9.3-5 in unstable (low) (Camm Maguire)
• [2005-10-03] Accepted 2.9.3-4 in unstable (low) (Camm Maguire)
• [2005-09-29] Accepted 2.9.3-3 in unstable (low) (Camm Maguire)
• [2005-09-21] Accepted 2.9.3-2 in unstable (high) (Camm Maguire)
• [2005-08-12] Accepted 2.9.3-1 in unstable (low) (Camm Maguire)
• [2005-06-10] Accepted 2.9.2-1 in unstable (low) (Camm Maguire)
• [2005-02-22] Accepted 2.9.1-1 in unstable (high) (Camm Maguire)
• [2004-11-11] Accepted 2.9-2 in unstable (high) (Camm Maguire)
• [2004-10-28] Accepted 2.9-1 in unstable (high) (Camm Maguire)
• [2004-09-17] Accepted 2.8-5 in unstable (low) (Camm Maguire)
• [2004-05-31] Accepted 2.8-4 in unstable (low) (Camm Maguire)