You have searched for packages that names contain acl2-infix in all suites, all sections, and all architectures.
Found 2 matching packages.
Exact hits
Package acl2-infix
- etch (oldstable) (math):
A Computational Logic for Applicative Common Lisp: infix interface
3.1-1: alpha amd64 arm hppa i386 ia64 mips mipsel powerpc s390 sparc
- etch-m68k (math):
A Computational Logic for Applicative Common Lisp: infix interface
3.1-1: m68k
- squeeze (testing) (math):
A Computational Logic for Applicative Common Lisp: infix interface
3.4-2: amd64 armel hppa i386 ia64 mips mipsel powerpc s390 sparc
- sid (unstable) (math):
A Computational Logic for Applicative Common Lisp: infix interface
3.4-2: alpha amd64 armel hppa i386 ia64 mips mipsel powerpc s390 sparc
3.1-1 [debports]: m68k
Other hits
Package acl2-infix-source
- etch (oldstable) (math):
A Computational Logic for Applicative Common Lisp: infix source
3.1-1: all
- etch-m68k (math):
A Computational Logic for Applicative Common Lisp: infix source
3.1-1: all
- squeeze (testing) (math):
A Computational Logic for Applicative Common Lisp: infix source
3.4-2: all
- sid (unstable) (math):
A Computational Logic for Applicative Common Lisp: infix source
3.4-2: all
