all options
squeeze  ] [  wheezy  ] [  wheezy-backports  ] [  jessie  ] [  sid  ]

Source Package: acl2 (4.0-3)

Links for acl2

Debian Resources:

Maintainer:

The following binary packages are built from this source package:
acl2
Une logique calculatoire pour Applicative Common Lisp : binaire principal
acl2-books
A Computational Logic for Applicative Common Lisp: compiled libraries
acl2-books-certs
A Computational Logic for Applicative Common Lisp: library certificates
acl2-books-source
A Computational Logic for Applicative Common Lisp: library sources
acl2-doc
Logique algorithmique pour application Common Lisp : documentation
acl2-emacs
Logique algorithmique pour application Common Lisp : interface emacs
acl2-infix
A Computational Logic for Applicative Common Lisp: infix interface
acl2-infix-source
Logique algorithmique pour application Common Lisp : source infix
acl2-source
Logique algorithmique pour application Common Lisp : fichiers sources

Other Packages Related to acl2

  • build-depends
  • build-depends-indep

Download acl2

FileSize (in kB)MD5 checksum
acl2_4.0-3.dsc 1.1 kB 54305cec97b142bc6f1795cfd092aea7
acl2_4.0.orig.tar.gz 11,158.0 kB 6da5dbb60f8f39fb359a0b9391d899fa
acl2_4.0-3.diff.gz 15.6 kB eb763682aa2f255748d5d11fc3ba3509