acl2 4.0-3 source package in Ubuntu
Changelog
acl2 (4.0-3) unstable; urgency=low
* compile nats to avoid invocation stack overflow on #-native-reloc
machines
acl2 (4.0-2) unstable; urgency=low
* Work around absence of HOME in buildd environments.
acl2 (4.0-1) unstable; urgency=low
* New upstream release
-- Angel Abad <email address hidden> Fri, 09 Jul 2010 13:00:12 +0000
Upload details
- Uploaded by:
- Angel Abad
- Sponsored by:
- Stefano Rivera
- Uploaded to:
- Maverick
- 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_4.0.orig.tar.gz | 10.9 MiB | 2410c0d55e687db999a3467427a43a28eafbced0340751f6c401ba4deda64880 |
| acl2_4.0-3.diff.gz | 15.6 KiB | 3835bedf951387a5367294876fac96ee3adee50a875ee68e2455e910556d54a8 |
| acl2_4.0-3.dsc | 1.1 KiB | 3de45c55fc17553cf9e3d93674e38c06ba255d0cc51cd876b4cfa7e481659aad |
Available diffs
- diff from 3.6.1-2 to 4.0-3 (3.6 MiB)
Binary packages built by this source
- acl2: No summary available for acl2 in ubuntu maverick.
No description available for acl2 in ubuntu maverick.
- acl2-books: No summary available for acl2-books in ubuntu maverick.
No description available for acl2-books in ubuntu maverick.
- acl2-books-certs: No summary available for acl2-books-certs in ubuntu natty.
No description available for acl2-books-certs in ubuntu natty.
- acl2-books-source: No summary available for acl2-books-source in ubuntu natty.
No description available for acl2-books-source in ubuntu natty.
- acl2-doc: No summary available for acl2-doc in ubuntu natty.
No description available for acl2-doc in ubuntu natty.
- acl2-emacs: No summary available for acl2-emacs in ubuntu maverick.
No description available for acl2-emacs in ubuntu maverick.
- acl2-infix: No summary available for acl2-infix in ubuntu maverick.
No description available for acl2-infix in ubuntu maverick.
- acl2-infix-source: No summary available for acl2-infix-source in ubuntu natty.
No description available for acl2-infix-source in ubuntu natty.
- acl2-source: No summary available for acl2-source in ubuntu maverick.
No description available for acl2-source in ubuntu maverick.
