Ubuntu
acl2 package

acl2 8.0dfsg-1 source package in Ubuntu

Changelog

acl2 (8.0dfsg-1) unstable; urgency=medium

  * New upstream release
  * Applied dfsg changes from 7.1
  * build-dep latest gcl

 -- Camm Maguire <email address hidden>  Fri, 12 Jan 2018 14:04:36 +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
Bionic release universe math

Downloads

File Size SHA-256 Checksum
acl2_8.0dfsg-1.dsc 2.2 KiB a6066382f31e54b8f2b0799035547acab3e1f97c515d4ec529644ed5731c24c2
acl2_8.0dfsg.orig.tar.gz 74.0 MiB e1ec509864d0ffc1235cf727ffac1ca0d8cd7f9ab4915cc71ceb4bdadfdcc145
acl2_8.0dfsg-1.debian.tar.xz 200.0 KiB 9d041ee94da76dcc1dfdb0f3bfdf913d96beb410b6ac4a00f1f145fb44d39ea7

No changes file available.

Binary packages built by this source

acl2: No summary available for acl2 in ubuntu disco.

No description available for acl2 in ubuntu disco.

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

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

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

No description available for acl2-emacs in ubuntu disco.

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: No summary available for acl2-infix-source in ubuntu cosmic.

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

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

No description available for acl2-source in ubuntu disco.