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-1
maint
Camm Maguire
arch
any all
std-ver
4.5.1

todo

testing migration

excuses:
  • Migration status for acl2 (8.4dfsg-2 to 8.5dfsg-1): BLOCKED: Maybe temporary, maybe blocked but Britney is missing information (check below)
  • Issues preventing migration:
  • missing build on arm64
  • missing build on armel
  • missing build on armhf
  • missing build on mips64el
  • missing build on mipsel
  • arch:arm64 not built yet, autopkgtest delayed there
  • arch:armel not built yet, autopkgtest delayed there
  • arch:armhf not built yet, autopkgtest delayed there
  • Too young, only 1 of 5 days old

news RSS

bugs

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