Register | Log in

acl2

Computational Logic for Applicative Common Lisp: main binary

Choose email to subscribe with

general

source: acl2 (main)
version: 8.1dfsg-3
maintainer: Camm Maguire [DMD]
arch: all any
std-ver: 4.3.0
VCS: unknown

versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]

[pool directory]

oldstable: 6.5-2
stable: 7.2dfsg-3
testing: 8.0dfsg-1
unstable: 8.1dfsg-3

versioned links

6.5-2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
7.2dfsg-3: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
8.0dfsg-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
8.1dfsg-3: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]

binaries

acl2
acl2-books
acl2-books-certs
acl2-books-source
acl2-doc
acl2-emacs
acl2-infix
acl2-infix-source
acl2-source

action needed

A new upstream version is available: 8.2 high

A new upstream version 8.2 is available, you should consider packaging it.

Created: 2019-05-12 Last update: 2019-05-22 10:56

The package has not entered testing even though the delay is over normal

The package has not entered testing even though the 5-day delay is over. Check why.

Created: 2019-04-09 Last update: 2019-05-22 12:39

lintian reports 1 warning normal

Lintian reports 1 warning about this package. You should make the package lintian clean getting rid of them.

Created: 2019-04-21 Last update: 2019-04-21 05:03

testing migrations

This package will soon be part of the auto-readline transition. You might want to ensure that your package is ready for it. You can probably find supplementary information in the debian-release archives or in the corresponding release.debian.org bug.
excuses:
- Migrates after: gcl
- 48 days old (5 needed)
- Piuparts tested OK - https://piuparts.debian.org/sid/source/a/acl2.html
- Not touching package due to block request by freeze (please contact debian-release if update is needed)
- Not considered

news

[2019-04-04] Accepted acl2 8.1dfsg-3 (source all amd64) into unstable (Camm Maguire)
[2019-03-30] Accepted acl2 8.1dfsg-2 (source all amd64) into unstable (Camm Maguire)
[2019-03-03] Accepted acl2 8.1dfsg-1 (source all amd64) into unstable (Camm Maguire)
[2019-02-13] acl2 8.0dfsg-1 MIGRATED to testing (Debian testing watch)
[2018-01-13] Accepted acl2 8.0dfsg-1 (source all amd64) into unstable (Camm Maguire)
[2017-10-08] acl2 7.4dfsg-4 MIGRATED to testing (Debian testing watch)
[2017-10-02] Accepted acl2 7.4dfsg-4 (source all amd64) into unstable (Camm Maguire)
[2017-08-14] acl2 7.4dfsg-3.1 MIGRATED to testing (Debian testing watch)
[2017-08-09] Accepted acl2 7.4dfsg-3.1 (source) into unstable (Sean Whitton)
[2017-07-10] acl2 7.4dfsg-3 MIGRATED to testing (Debian testing watch)
[2017-06-09] Accepted acl2 7.4dfsg-3 (source all amd64) into unstable (Camm Maguire)
[2017-05-31] Accepted acl2 7.4dfsg-2 (source all amd64) into unstable (Camm Maguire)
[2017-05-10] Accepted acl2 7.4dfsg-1 (source all amd64) into unstable (Camm Maguire)
[2016-10-24] acl2 7.2dfsg-3 MIGRATED to testing (Debian testing watch)
[2016-10-17] Accepted acl2 7.2dfsg-3 (source all amd64) into unstable (Camm Maguire)
[2016-05-18] acl2 7.2dfsg-2 MIGRATED to testing (Debian testing watch)
[2016-05-04] Accepted acl2 7.2dfsg-2 (source all amd64) into unstable (Camm Maguire)
[2016-04-26] acl2 7.2dfsg-1 MIGRATED to testing (Debian testing watch)
[2016-04-14] Accepted acl2 7.2dfsg-1 (source all amd64) into unstable (Camm Maguire)
[2015-11-03] acl2 7.1dfsg-2 MIGRATED to testing (Britney)
[2015-10-28] Accepted acl2 7.1dfsg-2 (source all amd64) into unstable (Camm Maguire)
[2015-10-21] Accepted acl2 7.1dfsg-1 (source all amd64) into unstable (Camm Maguire)
[2015-10-09] Accepted acl2 7.1-3 (source all amd64) into unstable (Camm Maguire)
[2015-10-02] Accepted acl2 7.1-2 (source all amd64) into unstable (Camm Maguire)
[2015-06-01] Accepted acl2 7.1-1 (source all amd64) into unstable (Camm Maguire)
[2015-01-27] Accepted acl2 7.0-1 (source all amd64) into unstable (Camm Maguire)
[2014-10-27] Accepted acl2 6.5-5 (source all amd64) into unstable (Camm Maguire)
[2014-10-26] Accepted acl2 6.5-4 (source all amd64) into unstable (Camm Maguire)
[2014-10-25] Accepted acl2 6.5-3 (source all amd64) into unstable (Camm Maguire)
[2014-10-03] acl2 6.5-2 MIGRATED to testing (Britney)

1
2

bugs [bug history graph]

all: 2
RC: 0
I&N: 1
M&W: 1
F&P: 0
patch: 0

links

lintian (0, 1)
buildd: logs, checks, clang, cross
popcon
browse source code
edit tags
screenshots

ubuntu

[Information about Ubuntu for Debian Developers]

version: 8.1dfsg-3
2 bugs

Debian Package Tracker — Copyright 2013-2018 The Distro Tracker Developers

Report problems to the tracker.debian.org pseudo-package in the Debian BTS.

Documentation — Bugs — Git Repository — Contributing