Ubuntu
acl2 package

acl2 8.5dfsg-5build3 source package in Ubuntu

Changelog

acl2 (8.5dfsg-5build3) noble; urgency=medium

  * No-change rebuild for CVE-2024-3094

 -- William Grant <email address hidden>  Mon, 01 Apr 2024 16:02:30 +1100

Upload details

Uploaded by:
William Grant
Uploaded to:
Noble
Original maintainer:
Ubuntu Developers
Architectures:
any all
Section:
math
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Oracular release universe math
Noble release universe math

Downloads

File Size SHA-256 Checksum
acl2_8.5dfsg.orig.tar.gz 213.2 MiB 6e9c7a3c75111429e8009369a28593aa91d84f668e7918980f33bd9996c1d819
acl2_8.5dfsg-5build3.debian.tar.xz 305.7 KiB 4fb14d3b1a83741437778df30d1aa9b6db595a821235a5b401e4f67a02fefc6d
acl2_8.5dfsg-5build3.dsc 2.3 KiB adaf1b1fe9072d9497b3d7c74cfb606731b37d67ae2c99d2eebb3fbe37eb8534

Available diffs

View changes file

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

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