This page shows all known information about package acl2-infix.
acl2-infix - Computational Logic for Applicative Common Lisp: infix interface
From source: acl2
debian/control- Section
- Architecture
- Distribution