Installlion's Logo

Installlion.com

How To Install acl2-infix on stretch

To install acl2-infix just follow these instructions.

Install acl2-infix

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

sudo apt-get install acl2-infix

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

Package Data

Packageacl2-infix
Version7.2dfsg-3
MaintainerCamm Maguire
DescriptionComputational Logic for Applicative Common Lisp
Distrodebian
Releasestretch
Repomain
Sectionmath

Dependencies