acl2 3.3-1.1 source package in Ubuntu
Changelog
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).
-- Nathan Handler <email address hidden> Fri, 09 May 2008 12:18:25 +0100
Upload details
- Uploaded by:
- Nathan Handler on 2008-05-09
- Uploaded to:
- Intrepid
- Original maintainer:
- Camm Maguire
- Architectures:
- any
- Section:
- math
- Urgency:
- Low Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| acl2_3.3.orig.tar.gz | 7.0 MiB | 4b97f9a8f27ba82fb05b5a0ca33bf34f6299fbb74f24651f58c689fd923cfe59 |
| acl2_3.3-1.1.diff.gz | 13.3 KiB | 1aa68e83e275add8d998baeada5102be84869e7c03da753a1c33f436025e902e |
| acl2_3.3-1.1.dsc | 821 bytes | 2fa89c15a83b8beab8063d54342e13043d31cdb8fd6a7485c244ff1b5bef42a2 |
Binary packages built by this source
- acl2: No summary available for acl2 in ubuntu intrepid.
No description available for acl2 in ubuntu intrepid.
- acl2-books: No summary available for acl2-books in ubuntu jaunty.
No description available for acl2-books in ubuntu jaunty.
- acl2-books-certs: No summary available for acl2-books-certs in ubuntu jaunty.
No description available for acl2-books-certs in ubuntu jaunty.
- acl2-books-source: No summary available for acl2-books-source in ubuntu jaunty.
No description available for acl2-books-source in ubuntu jaunty.
- acl2-doc: No summary available for acl2-doc in ubuntu intrepid.
No description available for acl2-doc in ubuntu intrepid.
- acl2-emacs: No summary available for acl2-emacs in ubuntu intrepid.
No description available for acl2-emacs in ubuntu intrepid.
- acl2-infix: No summary available for acl2-infix in ubuntu intrepid.
No description available for acl2-infix in ubuntu intrepid.
- acl2-infix-source: No summary available for acl2-infix-source in ubuntu jaunty.
No description available for acl2-infix-source in ubuntu jaunty.
- acl2-source: No summary available for acl2-source in ubuntu intrepid.
No description available for acl2-source in ubuntu intrepid.
