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 | 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 |
Available diffs
- diff from 7.4dfsg-3.1 to 8.0dfsg-1 (7.5 MiB)
- diff from 7.4dfsg-4 to 8.0dfsg-1 (7.5 MiB)
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.