Accepted: acl2 3.3-1.1 (source)

[Ubuntu Installer]

Accepted:
 OK: acl2_3.3.orig.tar.gz
 OK: acl2_3.3-1.1.diff.gz
 OK: acl2_3.3-1.1.dsc
     -> Component: universe Section: math

Origin: Debian/unstable
Format: 1.7
Date: Fri,  09 May 2008 12:18:25 +0100
Source: acl2
Binary: acl2, acl2-source, acl2-emacs, acl2-infix, acl2-infix-source, acl2-books, acl2-books-source, acl2-books-certs, acl2-doc
Architecture: source
Version: 3.3-1.1
Distribution: intrepid
Urgency: low
Maintainer: Camm Maguire <camm at enhanced.com>
Changed-By: Nathan Handler <mrcheatr at gmail.com>
Description: 
 acl2       - A Computational Logic for Applicative Common Lisp: main binary
Closes: 459060
Changes: 
 acl2 (3.3-1.1) unstable; urgency=low
 .
   * Non-maintainer upload.
   * Build depend on time, so that it works with shells other than bash
     (Closes: #459060).
Files: 
 3027c1c5fc4dbd0718f29dad6f15bf6d 13594 math optional acl2_3.3-1.1.diff.gz
 1f7c6956b83a7dde046bc8507a52b04b 821 math optional acl2_3.3-1.1.dsc