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

testing migration

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
1
RC
0
I&N
0
M&W
1
F&P
0