acl2 6.0-2 source package in Ubuntu
Changelog
acl2 (6.0-2) unstable; urgency=low * HOME="/tmp" environment for make DOC -- Camm Maguire <email address hidden> Sun, 13 Jan 2013 17:54:15 +0000
Upload details
- Uploaded by:
- Camm Maguire
- Uploaded to:
- Sid
- Original maintainer:
- Camm Maguire
- Architectures:
- any all
- Section:
- math
- Urgency:
- Low Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| acl2_6.0-2.dsc | 1.7 KiB | daaeb509f0352a35eec7e62168d1f16493d5138f86cf95ec5bc8b11c9a0b46bb |
| acl2_6.0.orig-books.tar.gz | 10.5 MiB | 01efa29d8547856f5b8c566d834c386434aa82b4edaa022ffbb14cd570e7ffdb |
| acl2_6.0.orig.tar.gz | 6.5 MiB | 691cdf02ce9950cf0b06dc893a89c8da694ec553cc0f798049b61ddd304ab4ae |
| acl2_6.0-2.debian.tar.gz | 155.3 KiB | 4539e53633c7f87fb9f0511fe8815ac1424df9c674d4373a7a97d6747141b92e |
Available diffs
- diff from 4.3-3 to 6.0-2 (6.3 MiB)
- diff from 6.0-1 to 6.0-2 (423 bytes)
No changes file available.
Binary packages built by this source
- acl2: No summary available for acl2 in ubuntu saucy.
No description available for acl2 in ubuntu saucy.
- acl2-books: No summary available for acl2-books in ubuntu raring.
No description available for acl2-books in ubuntu raring.
- acl2-books-certs: No summary available for acl2-books-certs in ubuntu raring.
No description available for acl2-books-certs in ubuntu raring.
- acl2-books-source: No summary available for acl2-books-source in ubuntu saucy.
No description available for acl2-books-source in ubuntu saucy.
- acl2-doc: No summary available for acl2-doc in ubuntu raring.
No description available for acl2-doc in ubuntu raring.
- acl2-emacs: No summary available for acl2-emacs in ubuntu saucy.
No description available for acl2-emacs in ubuntu saucy.
- acl2-infix: No summary available for acl2-infix in ubuntu raring.
No description available for acl2-infix in ubuntu raring.
- acl2-infix-source: No summary available for acl2-infix-source in ubuntu raring.
No description available for acl2-infix-source in ubuntu raring.
- acl2-source: No summary available for acl2-source in ubuntu saucy.
No description available for acl2-source in ubuntu saucy.
