Ubuntu
acl2 package

acl2 8.3dfsg-4 source package in Ubuntu

Changelog

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

  * Source only upload to allow testing migration

 -- Camm Maguire <email address hidden>  Mon, 11 Oct 2021 12:19:41 +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

Downloads

File Size SHA-256 Checksum
acl2_8.3dfsg-4.dsc 2.2 KiB 72bb40d4462f8857fb418c833bfe124cd265a3abc3a8b95a188a43ff1ae0ff20
acl2_8.3dfsg.orig.tar.gz 111.8 MiB e7322a6e842f862ae25a65cda43040828fe0ded725f4c45bcb04ae07ae492aee
acl2_8.3dfsg-4.debian.tar.xz 256.5 KiB df309a06591b1035fd949319ac9d4c16c712ef5c4f5e1826ebe568228bbc3555

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