Пакунок: acl2 (8.4dfsg-2) [debports]

[ Source:  ]

Computational Logic for Applicative Common Lisp: main binary

ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.

This package contains the base ACL2 binary.

Інші пакунки пов'язані з acl2

• dep: libc6 (>= 2.32)

  Бібліотека GNU C: спільні бібліотеки
  also a virtual package provided by libc6-udeb

• dep: libgmp10 (>= 2:6.2.1+dfsg)

  Арифметична бібліотека багатоточності

• dep: libreadline8 (>= 6.0)

  Бібліотеки GNU readline та history, динамічні бібліотеки

• dep: libtirpc3 (>= 1.0.2)

  Транспортно-незалежна бібліотека RPC

• dep: libx11-6

  Клієнтська бібліотека X11

• rec: acl2-books

  Computational Logic for Applicative Common Lisp: compiled libraries

• rec: acl2-source

  Computational Logic for Applicative Common Lisp: source files

• sug: elpa-acl2

  Computational Logic for Applicative Common Lisp: emacs interface

Завантажити acl2

Завантаження для всіх доступних архітектур

Архітектура	Розмір пакунка	Розмір після встановлення	Файли
sh4 (unofficial port)	19,568.7 kB	158,973.0 kB	[список файлів]