Ubuntu
acl2 package

acl2 8.2dfsg-3build1 source package in Ubuntu

Changelog

acl2 (8.2dfsg-3build1) focal; urgency=medium

  * No-change rebuild for libgcc-s1 package name change.

 -- Matthias Klose <email address hidden>  Mon, 23 Mar 2020 07:09:23 +0100

Upload details

Uploaded by:
Matthias Klose
Uploaded to:
Focal
Original maintainer:
Camm Maguire
Architectures:
any all
Section:
math
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Focal release universe math

Downloads

File Size SHA-256 Checksum
acl2_8.2dfsg.orig.tar.gz 76.9 MiB 2548331764e904e00d654b5d703b6e0b43992a1716a40fd8f5ac322052cef987
acl2_8.2dfsg-3build1.debian.tar.xz 201.2 KiB 6d368a69d31d7d09df4adfeec8decb4515bdea662086b945da0a35ef73a685aa
acl2_8.2dfsg-3build1.dsc 2.2 KiB e64bca725c4f55374e2ad36d6037292f815e89c9b24d6f7e353ee5507185cc6f

View changes file

Binary packages built by this source

acl2: Computational Logic for Applicative Common Lisp: main binary

 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 base ACL2 binary.

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

No description available for acl2-books in ubuntu groovy.

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

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

acl2-books-source: Computational Logic for Applicative Common Lisp: library sources

 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 source lisp files to the compiled libraries
 supplied in the ACL2-books package.

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: Computational Logic for Applicative Common Lisp: emacs interface

 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 an emacs interface to ACL2.

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

No description available for acl2-infix in ubuntu groovy.

acl2-infix-source: No summary available for acl2-infix-source in ubuntu groovy.

No description available for acl2-infix-source in ubuntu groovy.

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

No description available for acl2-source in ubuntu groovy.