toutes les options
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]

Paquet source : acl2 (4.0-3)

Liens pour acl2

Ressources Debian :

Responsable :

Les paquets binaires suivants sont compilés à partir de ce paquet source :
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

Autres paquets associés à acl2

  • build-depends
  • build-depends-indep

Download acl2

FichierTaille (en ko)Somme MD5
acl2_4.0-3.dsc 1,1 ko 54305cec97b142bc6f1795cfd092aea7
acl2_4.0.orig.tar.gz 11 158,0 ko 6da5dbb60f8f39fb359a0b9391d899fa
acl2_4.0-3.diff.gz 15,6 ko eb763682aa2f255748d5d11fc3ba3509