acl2 5.0-1 source package in Ubuntu
Changelog
acl2 (5.0-1) unstable; urgency=low * New upstream release * books retrieved separately from http://acl2-books.googlecode.com/files/books-5.0.tar.gz * Bug fix: "Should build-depend on emacs23 | emacs24", thanks to <email address hidden></a>; (Closes: #682719). -- Camm Maguire <email address hidden> Fri, 24 Aug 2012 18:45:28 +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_5.0-1.dsc | 1.5 KiB | 6a0e76456918d8254f73bd9d1f4c6cb4036eea8bc28583274619022e4ab4ba62 |
acl2_5.0.orig.tar.gz | 16.5 MiB | 60d3da31a80ad5f31c5530b54aa9172e60acaf6513713145a3fd2ff64b3b834c |
acl2_5.0-1.debian.tar.gz | 18.1 KiB | c033de3f9bdfcf3ef93b8482a05bc6a48f41d7f637c3b6820514cb1e9ce9da77 |
No changes file available.
Binary packages built by this source
- acl2: No summary available for acl2 in ubuntu raring.
No description available for acl2 in ubuntu raring.
- 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 raring.
No description available for acl2-books-source in ubuntu raring.
- 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 raring.
No description available for acl2-emacs in ubuntu raring.
- 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 raring.
No description available for acl2-source in ubuntu raring.