alla flaggor
jessie  ] [  stretch  ] [  buster  ] [  bullseye  ] [  sid  ]

Källkodspaket: acl2 (8.1dfsg-3)

Länkar för acl2

Debianresurser:

Ansvarig:

Följande binärpaket byggs från detta källkodspaket:
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-emacs
Computational Logic for Applicative Common Lisp: emacs interface
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

Andra paket besläktade med acl2

  • bygg-beroende
  • arkitekturoberoende bygg-beroende

Download acl2

FilStorlek (i kbyte)MD5-kontrollsumma
acl2_8.1dfsg-3.dsc 2,2 kbyte b65c7a8f5261bfa5291aba818fbdc3ec
acl2_8.1dfsg.orig.tar.gz 77.119,9 kbyte 9084e3b9da3fcb36386e84ed0d84d6d9
acl2_8.1dfsg-3.debian.tar.xz 200,3 kbyte 91912753ccb6a7c39f4d2f2241cbed8c