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 <[EMAIL PROTECTED]>
Changed-By: Nathan Handler <[EMAIL PROTECTED]>
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
--
Intrepid-changes mailing list
[email protected]
Modify settings or unsubscribe at:
https://lists.ubuntu.com/mailman/listinfo/intrepid-changes
