acl2 7.2dfsg-2build2 source package in Ubuntu
Changelog
acl2 (7.2dfsg-2build2) yakkety; urgency=medium * Rebuild against gcl and readline -- Graham Inggs <email address hidden> Mon, 26 Sep 2016 17:10:30 +0200
Upload details
- Uploaded by:
- Graham Inggs
- Uploaded to:
- Yakkety
- 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_7.2dfsg.orig.tar.gz | 61.4 MiB | f54c3a3ee8583a121b23ea40ac18258d10e9c11e13795665c63c8cdca762655e |
acl2_7.2dfsg-2build2.debian.tar.xz | 199.2 KiB | c01920becf444e5e0b1ee1f7fdba8121c731fa54b829fda8a205724174fbf33e |
acl2_7.2dfsg-2build2.dsc | 2.2 KiB | 342d5d608c4c3a0e0d21d8d6e9097e149714480a8fd49676307b9e255a7ccc2f |
Available diffs
- diff from 7.2dfsg-2build1 to 7.2dfsg-2build2 (315 bytes)
Binary packages built by this source
- acl2: No summary available for acl2 in ubuntu yakkety.
No description available for acl2 in ubuntu yakkety.
- acl2-books: No summary available for acl2-books in ubuntu zesty.
No description available for acl2-books in ubuntu zesty.
- acl2-books-certs: No summary available for acl2-books-certs in ubuntu yakkety.
No description available for acl2-books-certs in ubuntu yakkety.
- acl2-books-source: No summary available for acl2-books-source in ubuntu yakkety.
No description available for acl2-books-source in ubuntu yakkety.
- acl2-doc: No summary available for acl2-doc in ubuntu yakkety.
No description available for acl2-doc in ubuntu yakkety.
- acl2-emacs: No summary available for acl2-emacs in ubuntu zesty.
No description available for acl2-emacs in ubuntu zesty.
- acl2-infix: No summary available for acl2-infix in ubuntu yakkety.
No description available for acl2-infix in ubuntu yakkety.
- acl2-infix-source: No summary available for acl2-infix-source in ubuntu yakkety.
No description available for acl2-infix-source in ubuntu yakkety.
- acl2-source: No summary available for acl2-source in ubuntu zesty.
No description available for acl2-source in ubuntu zesty.