acl2 6.5-4 source package in Ubuntu
Changelog
acl2 (6.5-4) unstable; urgency=medium * restore tick output for slow autobuilders -- Camm Maguire <email address hidden> Sat, 25 Oct 2014 09:01:06 -0400
Upload details
- Uploaded by:
- Camm Maguire
- Uploaded to:
- Sid
- Original maintainer:
- Camm Maguire
- Architectures:
- any all
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
acl2_6.5-4.dsc | 1.8 KiB | 382f3bda27850ad0319882f2e9f0978488a8f838549ce74259ed4dbca58a30a0 |
acl2_6.5.orig-books.tar.gz | 14.3 MiB | bb1b95a06f2e946f9610d7221bb97eb1be126a64cb01ef85efa69fafe9454c34 |
acl2_6.5.orig.tar.gz | 5.9 MiB | cf8c1c81a68429d1d77d6e23c9a84cbd0ec9e270f21aa04d00bafa761f656ea6 |
acl2_6.5-4.debian.tar.xz | 125.5 KiB | dbc749233b1dc8f1c365bbcde7b0120cb95a6e1f5a70991399827b6c68e043a2 |
Available diffs
- diff from 6.5-3 to 6.5-4 (645 bytes)
No changes file available.
Binary packages built by this source
- acl2: No summary available for acl2 in ubuntu vivid.
No description available for acl2 in ubuntu vivid.
- acl2-books: No summary available for acl2-books in ubuntu vivid.
No description available for acl2-books in ubuntu vivid.
- acl2-books-certs: No summary available for acl2-books-certs in ubuntu vivid.
No description available for acl2-books-certs in ubuntu vivid.
- acl2-books-source: No summary available for acl2-books-source in ubuntu vivid.
No description available for acl2-books-source in ubuntu vivid.
- acl2-doc: No summary available for acl2-doc in ubuntu vivid.
No description available for acl2-doc in ubuntu vivid.
- acl2-emacs: No summary available for acl2-emacs in ubuntu vivid.
No description available for acl2-emacs in ubuntu vivid.
- acl2-infix: No summary available for acl2-infix in ubuntu vivid.
No description available for acl2-infix in ubuntu vivid.
- acl2-infix-source: No summary available for acl2-infix-source in ubuntu vivid.
No description available for acl2-infix-source in ubuntu vivid.
- acl2-source: No summary available for acl2-source in ubuntu vivid.
No description available for acl2-source in ubuntu vivid.