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 on 2018-01-13
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 on 2018-01-31 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 cosmic.

No description available for acl2 in ubuntu cosmic.

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

No description available for acl2-books in ubuntu disco.

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

No description available for acl2-infix in ubuntu cosmic.

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

No description available for acl2-source in ubuntu cosmic.