Installlion's Logo

Installlion.com

How To Install acl2 On Parrot 3.7

To install acl2 just follow these instructions.

Install acl2

Computational Logic for Applicative Common Lisp systems and a tool to help you prove properties of those models.Parrot 3.7math7.4dfsg-3
sudo apt-get install acl2

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

Package Data

Packageacl2
Version7.4dfsg-3
MaintainerCamm Maguire <[email protected]>
DescriptionComputational Logic for Applicative Common Lisp systems and a tool to help you prove properties of those models.
Distroparrot
Releasejollyroger
Repomain
Sectionmath

Dependencies