acl2 7.1dfsg-1 source package in Ubuntu
Changelog
acl2 (7.1dfsg-1) unstable; urgency=medium * Bug fix: "[acl2] Some sources are not included in your package", thanks to Bastien ROUCARIÈS (Closes: #787368). Repackage to add missing sources and delete questionable files. Removed files in orig tarball that are removed by clean target: books/workshops/1999/ivy/ivy-v2/ivy-sources/arithmetic.lisp.bak books/workshops/1999/ivy/ivy-v2/ivy-sources/util/checker.orig books/workshops/1999/ivy/ivy-v2/ivy-sources/util/make-saved-ivy.orig books/workshops/1999/ivy/ivy-v2/ivy-sources/util/sivy.orig books/workshops/1999/ivy/ivy-v2/ivy-sources/util/ivy.orig Removed sparc binary inadvertently included in upstream: books/workshops/2003/schmaltz-al-sammane-et-al/support/acl2link Added katex sources to debian/missing-sources: debian/missing-sources/books/xdoc/fancy/lib/katex/katex.js debian/missing-sources/books/xdoc/fancy/lib/katex/katex.min.css debian/missing-sources/books/xdoc/fancy/lib/katex/src/* Removed rfc file with non-dfsg licence: books/centaur/quicklisp/bundle/software/rfc2388-20130720-git/doc/rfc2388.txt Added source to debian/missing-sources to remove a lintian false positive: debian/missing-sources/books/workshops/2000/shumsky/slides2_files/script.js * build-dep latest gcl * updated README.Debian.in * remove clisp scripts from acl2-books-source * remove .gitignore from acl2-doc * added lintian override for (non) extra-license-file books/centaur/aignet/copying.cert -- Camm Maguire <email address hidden> Wed, 21 Oct 2015 02:21:10 +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 | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
acl2_7.1dfsg-1.dsc | 2.2 KiB | 9f56f318d8c4c62277d344365d4715955e54bfcb578e8c1f8b452f87ad725bff |
acl2_7.1dfsg.orig.tar.gz | 36.6 MiB | 9187de3612fdc9bf06261c77f4fd8efbb59b13765c3fece56c736269879c0ac5 |
acl2_7.1dfsg-1.debian.tar.xz | 198.8 KiB | 610d89932a1d8624ce59c3d0fea0c89a459e8e658e4bcb8e1dc79ec37eff1ab5 |
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.