» Tanglu » Packages » aequorea » math » acl2-books-source
staging  ] [  aequorea  ] [  bartholomea  ] [  dasyatis  ] [  chromodoris  ]
[ Source: acl2  ]

Пакунок: acl2-books-source (6.3-6)

Links for acl2-books-source


Tanglu Resources:

Download Source Package acl2:


Please consider filing a bug before contacting the maintainer directly.

Original Maintainer (usually from Debian):

  • Camm Maguire

It should generally not be necessary for users to contact the original maintainer.

Similar packages:

Computational Logic for Applicative Common Lisp: library sources

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 source lisp files to the compiled libraries supplied in the ACL2-books package.

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

  • depends
  • recommends
  • suggests
  • dep: acl2 (>= 6.3-6)
    Computational Logic for Applicative Common Lisp: main binary
  • dep: dpkg (>= 1.14.18)
    Debian package management system
  • dep: tex-common (>= 3)
    common infrastructure for building and installing TeX

Завантажити acl2-books-source

Завантаження для всіх доступних архітектур
Архітектура Розмір пакунка Розмір після встановлення Файли
all 5,265.2 kB58,796.0 kB [список файлів]