acl2 6.3-5 source package in Ubuntu

Changelog

acl2 (6.3-5) unstable; urgency=low


  * rebuild against latest gcl

 -- Camm Maguire <email address hidden>  Fri, 18 Oct 2013 16:10:57 +0000

Upload details

Uploaded by:
Camm Maguire on 2013-10-19
Uploaded to:
Sid
Original maintainer:
Camm Maguire
Architectures:
any all
Section:
math
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Trusty release on 2013-10-24 universe math

Downloads

File Size SHA-256 Checksum
acl2_6.3-5.dsc 1.7 KiB fa96d454412549ed1e2658a47610872ead9174d3966a8cdef254defc3c164673
acl2_6.3.orig-books.tar.gz 13.0 MiB 29f9c5b1de6131695b01153f337bb107869e9ae0c1b506e46a3de9373bbd1bfa
acl2_6.3.orig.tar.gz 6.7 MiB ee7ca85232c36068516e8852a5b31fcd8f38cb2596ce8d4d7934009e28400bb9
acl2_6.3-5.debian.tar.gz 157.7 KiB 7c3ee2b6bf1067ef6b75e09a82ebd2c6eb30fcc8ce0cbef5eed568801919a79d

Available diffs

No changes file available.

Binary packages built by this source

acl2: No summary available for acl2 in ubuntu utopic.

No description available for acl2 in ubuntu utopic.

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: Computational Logic for Applicative Common Lisp: library certificates

 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 file contains certification records for the various precompiled
 libraries supplied in the ACL2-books package. ACL2 essentially
 requires that all included books be certified before use.

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: No summary available for acl2-doc in ubuntu utopic.

No description available for acl2-doc in ubuntu utopic.

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: Computational Logic for Applicative Common Lisp: infix 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 utilities and libraries to access ACL2 via an
 infix notation similar to that used in many non-lisp programming
 languages.

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