Installlion's Logo

Installlion.com

How To Install acl2-doc on stretch

To install acl2-doc just follow these instructions.

Install acl2-doc

Computational Logic for Applicative Common Lisp Debian 9.0 doc 7.2dfsg-3

sudo apt-get install acl2-doc

Which will install acl2-doc and any other packages on which it depends.

Package Data

Package acl2-doc
Version 7.2dfsg-3
Maintainer Camm Maguire
Description Computational Logic for Applicative Common Lisp
Distro debian
Release stretch
Repo main
Section doc

Dependencies