all options
stretch  ] [  buster  ] [  bullseye  ] [  bookworm  ] [  sid  ]

Source Package: acl2 (8.3dfsg-4)

Links for acl2

Debian Resources:

Maintainer:

External Resources:

The following binary packages are built from this source package:
acl2
Computational Logic for Applicative Common Lisp: main binary
acl2-books
Computational Logic for Applicative Common Lisp: compiled libraries
acl2-books-certs
Computational Logic for Applicative Common Lisp: library certificates
acl2-books-source
Computational Logic for Applicative Common Lisp: library sources
acl2-doc
Computational Logic for Applicative Common Lisp: documentation
acl2-infix
Computational Logic for Applicative Common Lisp: infix interface
acl2-infix-source
Computational Logic for Applicative Common Lisp: infix source
acl2-source
Computational Logic for Applicative Common Lisp: source files
elpa-acl2
Computational Logic for Applicative Common Lisp: emacs interface

Other Packages Related to acl2

  • build-depends
  • build-depends-indep

Download acl2

FileSize (in kB)MD5 checksum
acl2_8.3dfsg-4.dsc 2.2 kB bb7dfbe35e88ede9fa2969aad0891c31
acl2_8.3dfsg.orig.tar.gz 114,512.6 kB c7205f24ed678a7a20282a95e3173fb8
acl2_8.3dfsg-4.debian.tar.xz 256.5 kB c50a909e3be1d458eb83ebbba2ea2f69