Installlion's Logo

Installlion.com

Install or Uninstall acl2-infix on stretch

acl2-infix Computational Logic for Applicative Common Lisp Debian 9.0 math

Package Data

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