Ubuntu
acl2 package

acl2 7.4dfsg-3.1 source package in Ubuntu

Changelog

acl2 (7.4dfsg-3.1) unstable; urgency=medium

  * Non-maintainer upload.
  * Bump {build-,}deps emacs24 -> emacs25 (Closes: #870663).

 -- Sean Whitton <email address hidden>  Thu, 03 Aug 2017 17:27:43 -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 Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
acl2_7.4dfsg-3.1.dsc 2.3 KiB 56e02f908ce8449102112581a12b6ddb4359eaa4a5ae022bc61fc18d805643b8
acl2_7.4dfsg.orig.tar.gz 62.2 MiB ed552f85afa580904a97fed43bb7d8bf3fe2dc15caadb4e308db0dfdc7bfe84b
acl2_7.4dfsg-3.1.debian.tar.xz 199.9 KiB 6060bd0a75a7119c2e997bcf1479cb6550dfbe9f4cb0be0878c1a336b2f98e6f

No changes file available.

Binary packages built by this source

acl2: No summary available for acl2 in ubuntu artful.

No description available for acl2 in ubuntu artful.

acl2-books: Computational Logic for Applicative Common Lisp: compiled libraries

 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 numerous precompiled and precertified libraries
 for use in proving theorems with ACL2. Serious users will no doubt
 want to install this package.

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

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

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 artful.

No description available for acl2-infix in ubuntu artful.

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

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

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

 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 lisp source files to the main ACL2 binary.