acl2
Computational Logic for Applicative Common Lisp: main binary

NEW: Take a look at the new package tracker: tracker.debian.org/pkg/acl2

general

source
acl2 (source, math)
version
8.5dfsg-5
maint
Camm Maguire
arch
any all
std-ver
4.5.1

todo

problems

  • The package has a debian/watch file, but the last attempt to use it for checking for newer upstream versions failed with an error:
    In debian/watch no matching files for watch line   https://github.com/acl2-devel/acl2-devel/releases .*/acl2-v?(\d\S*)\.tar\.gz

testing migration

  • This package is part of the ongoing testing transition known as auto-libtirpc. Please avoid uploads unrelated to this transition, they would likely delay it and require supplementary work from the release managers. On the other hand, if your package has problems preventing it to migrate to testing, please fix them as soon as possible. You can probably find supplementary information in the debian-release archives or in the corresponding release.debian.org bug.
excuses:
  • Migration status for acl2 (8.5dfsg-3 to 8.5dfsg-5): BLOCKED: Maybe temporary, maybe blocked but Britney is missing information (check below)
  • Issues preventing migration:
  • missing build on amd64
  • missing build on arm64
  • missing build on armel
  • missing build on armhf
  • missing build on i386
  • missing build on mips64el
  • missing build on mipsel
  • missing build on ppc64el
  • missing build on s390x
  • missing build on all
  • arch:all not built yet, autopkgtest delayed
  • Too young, only 1 of 5 days old
  • Build-Depends(-Arch): acl2 gcl

news RSS

bugs

all bug history graph
2
RC
0
I&N
0
M&W
2
F&P
0