Ubuntu
acl2 package

acl2 7.1-1 source package in Ubuntu

Changelog

acl2 (7.1-1) unstable; urgency=medium

  * New upstream release
  * build-dep latest gcl

 -- Camm Maguire <email address hidden>  Fri, 29 May 2015 14:33:46 +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
Xenial release universe math

Downloads

File Size SHA-256 Checksum
acl2_7.1-1.dsc 2.2 KiB 9559c9a8e9ea4662fca9b0849716b9c590ded5ce115d0bedb57715591b433a0f
acl2_7.1.orig.tar.gz 60.4 MiB 4b17ee4c3bbb554fd6e51009f91899904a61cee88a29613b5886f51637d9ac4e
acl2_7.1-1.debian.tar.xz 125.9 KiB 70bf0f764c93a5230141ffcab41a3c2c30dea25b92bd8ccb4fae1a2a4ad3c940

Available diffs

No changes file available.

Binary packages built by this source

acl2: No summary available for acl2 in ubuntu wily.

No description available for acl2 in ubuntu wily.

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

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

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

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

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

No description available for acl2-emacs in ubuntu wily.

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

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

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

No description available for acl2-source in ubuntu wily.