acl2 8.3dfsg-2 source package in Ubuntu

Changelog

acl2 (8.3dfsg-2) unstable; urgency=medium

  * certify-books -> regression-fresh
  * debhelper-compat ( = 13 )
  * standards 4.5.0
  * ISO-8859-16 -> UTF-8
  * watch version 4
  * lintian override: rfc2388.txt is not a license file
  * clean books/centaur/vl/kit/test.vlzip books/centaur/getopt/demo2 books/centaur/getopt/demo2-test.ok
  * remove w3 validation in home-page.html

 -- Camm Maguire <email address hidden>  Wed, 27 Jan 2021 14:05:42 +0000

Upload details

Uploaded by:
Camm Maguire on 2021-01-27
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
Hirsute release on 2021-03-29 universe math

Downloads

File Size SHA-256 Checksum
acl2_8.3dfsg-2.dsc 2.2 KiB 63a168387c490ad10c10baf8d42314dd9d37a0be6d10a331d0d8ed77ea5c273b
acl2_8.3dfsg.orig.tar.gz 111.8 MiB e7322a6e842f862ae25a65cda43040828fe0ded725f4c45bcb04ae07ae492aee
acl2_8.3dfsg-2.debian.tar.xz 223.0 KiB 7e1c8ad06e8be538da2c5d4728ddfa37d6b04b8d6da857c05111e67b4980d705

Available diffs

No changes file available.

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