всички настройки
jessie  ] [  stretch  ] [  buster  ] [  sid  ]

Пакет-източник: acl2 (8.0dfsg-1)

Връзки за acl2

Ресурси за Debian:

Отговорник:

Следните двоични пакети са компилирани от този пакет-източник:
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

Други пакети, свързани с acl2

  • зависимости при компилиране
  • зависимости при компилиране (архитектурно-независими)

Download acl2

ФайлГолемина (в кБ)контролна сума MD5
acl2_8.0dfsg-1.dsc 2,2 кБ 2f855e72f4158ce57d83875a65aa8460
acl2_8.0dfsg.orig.tar.gz 75 816,0 кБ 05144a9a066802e76ba4fa79705cd917
acl2_8.0dfsg-1.debian.tar.xz 200,0 кБ dabede6da180854223dd1eeb4b24abbf