Ubuntu
acl2 package

acl2 8.1dfsg-3 source package in Ubuntu

Changelog

acl2 (8.1dfsg-3) unstable; urgency=medium

  * Bug fix: "excessive build time on 32-bit architectures", thanks to
    Aurelien Jarno (Closes: #926121).

 -- Camm Maguire <email address hidden>  Wed, 03 Apr 2019 13:47:29 +0000

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 Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
acl2_8.1dfsg-3.dsc 2.2 KiB 13aa87172d96106e53f0e90e56bcd27834aa1ac0d1f6a1fb21a57dab8ea705c2
acl2_8.1dfsg.orig.tar.gz 75.3 MiB 24ae60c24ca40ae7fc92db567e58fdb717a7f4d235fea51286a9301a7d91003d
acl2_8.1dfsg-3.debian.tar.xz 200.3 KiB 36d12fa447d348b8b5a0bcb76f85acd6a39a8302c9e10ef880751baa3ad6c0b0

No changes file available.

Binary packages built by this source

acl2: No summary available for acl2 in ubuntu eoan.

No description available for acl2 in ubuntu eoan.

acl2-books: No summary available for acl2-books in ubuntu eoan.

No description available for acl2-books in ubuntu eoan.

acl2-books-certs: No summary available for acl2-books-certs in ubuntu eoan.

No description available for acl2-books-certs in ubuntu eoan.

acl2-books-source: No summary available for acl2-books-source in ubuntu eoan.

No description available for acl2-books-source in ubuntu eoan.

acl2-doc: Computational Logic for Applicative Common Lisp: documentation

 ACL2 is both a programming language in which you can model computer
 systems and a tool to help you prove properties of those models.
 .
 This package contains the documentation for ACL2.

acl2-emacs: No summary available for acl2-emacs in ubuntu eoan.

No description available for acl2-emacs in ubuntu eoan.

acl2-infix: No summary available for acl2-infix in ubuntu eoan.

No description available for acl2-infix in ubuntu eoan.

acl2-infix-source: Computational Logic for Applicative Common Lisp: infix source

 ACL2 is both a programming language in which you can model computer
 systems and a tool to help you prove properties of those models.
 .
 This package contains the source files to the infix interface to
 ACL2.

acl2-source: No summary available for acl2-source in ubuntu eoan.

No description available for acl2-source in ubuntu eoan.