acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface

This package contains utilities and libraries to access ACL2 via an infix notation similar to that used in many non-lisp programming languages.

Info:

Browse inside acl2-infix_2.9-2_amd64.deb:

pkg://acl2-infix_2.9-2_amd64.deb:215252/ info downloads

[DIR]usr/  65535+ twin directories
125 B 2003-11-13postrm  view  76 mirrors
106 B 2003-11-13postinst  view  162 mirrors
528 B 2003-11-13md5sums  view  244+ mirrors
662 B 2003-11-13control  view  550+ mirrors

Download acl2-infix_2.9-2_amd64.deb:

2004-04-30 ftp://debian.lcs.mit.edu/pub/debian-amd64/debian-amd64/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2004-04-30 ftp://debian.lcs.mit.edu/pub/debian-amd64/debian/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2004-04-30 ftp://130.251.19.2/debian-amd64/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2004-04-30 ftp://ftp.wh2.tu-dresden.de/pub/mirrors/debian-amd64/debian-amd64/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2004-04-30 ftp://ftp.wh2.tu-dresden.de/pub/mirrors/debian-amd64/debian/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2004-04-30 ftp://ftp.fr.debian.org/debian-amd64/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2004-04-30 ftp://ftp.tu-ilmenau.de/Mirrors/ftp.de.debian.org/debian-amd64/debian-amd64/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2004-04-30 ftp://ftp.tu-ilmenau.de/Mirrors/ftp.de.debian.org/debian-amd64/debian/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2004-04-30 ftp://161.53.160.16/debian-amd64/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2004-04-30 ftp://ftp.carnet.hr/misc/.ftp.hr.debian.org/debian-amd64/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2004-04-30 ftp://ftp.tiscali.nl/pub/mirror/debian-amd64/debian-amd64/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2004-04-30 ftp://ftp.tiscali.nl/pub/mirror/debian-amd64/debian/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2004-04-30 ftp://ftp.fh-giessen.de/pub/linux/debian-amd64/debian-amd64/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2004-04-30 ftp://ftp.fh-giessen.de/pub/linux/debian-amd64/debian/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2004-04-30 ftp://77.88.19.68/debian-pure64/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2004-04-30 ftp://ftp.uni-augsburg.de/mirrors/debian/ftp.de.debian.org/debian-amd64/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2005-04-29 ftp://ftp.tudelft.nl/pub/Linux/pure64.debian.org/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2005-04-29 ftp://ftp.nz.kernel.org/pub/debian-amd64/debian-amd64/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2005-04-29 ftp://ftp.nz.kernel.org/pub/debian-amd64/debian/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2005-04-29 ftp://ftp.uni-kl.de/pub/linux/debian-amd64/debian-amd64/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2005-04-29 ftp://ftp.uni-kl.de/pub/linux/debian-amd64/debian/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2005-04-29 ftp://ftp.at.debian.org/debian-amd64/debian-amd64/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2005-04-29 ftp://ftp.at.debian.org/debian-amd64/debian/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2005-04-29 ftp://ftp.uk.debian.org/debian-amd64/debian-amd64/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2005-04-29 ftp://ftp.uk.debian.org/debian-amd64/debian/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2005-04-29 ftp://ftp.gnome.org/cdimage/snapshot-amd64/Debian/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2005-04-29 ftp://ftp.gnome.org/mirror/debian-amd64/debian-amd64/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2005-04-29 ftp://ftp.gnome.org/mirror/debian-amd64/debian/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2005-04-29 ftp://ftp.tu-chemnitz.de/.SAN0/pub/linux/debian/debian-amd64/debian-amd64/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2005-04-29 ftp://ftp.tu-chemnitz.de/.SAN0/pub/linux/debian/debian-amd64/debian/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2005-04-29 ftp://ftp.unt.edu/mirrors/debian-amd64/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2005-04-29 ftp://ftp.ussg.iu.edu/linux/debian-amd64/debian-amd64/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2005-04-29 ftp://ftp.ussg.iu.edu/linux/debian-amd64/debian/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2005-04-29 ftp://ftp.debian.de/debian-amd64/debian-amd64/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2005-04-29 ftp://ftp.debian.de/debian-amd64/debian/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2005-04-29 ftp://ftp.inf.tu-dresden.de/os/linux/dists/debian/debian-amd64/debian-amd64/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2005-04-29 ftp://ftp.inf.tu-dresden.de/os/linux/dists/debian/debian-amd64/debian/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2005-04-29 ftp://ftp.hands.com/debian-amd64/debian-amd64/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2005-04-29 ftp://ftp.hands.com/debian-amd64/debian/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2005-04-29 ftp://ftp.aist-nara.ac.jp/0/Linux/debian/debian-amd64/debian-amd64/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2005-04-29 ftp://ftp.aist-nara.ac.jp/0/Linux/debian/debian-amd64/debian/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2005-04-29 ftp://130.239.18.173/cdimage/snapshot-amd64/Debian/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2005-04-29 ftp://130.239.18.173/mirror/debian-amd64/debian-amd64/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2005-04-29 ftp://130.239.18.173/mirror/debian-amd64/debian/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2005-04-29 ftp://130.239.18.137/cdimage/snapshot-amd64/Debian/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2005-04-29 ftp://130.239.18.137/mirror/debian-amd64/debian-amd64/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2005-04-29 ftp://130.239.18.137/mirror/debian-amd64/debian/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2005-04-29 ftp://ftp.sh.cvut.cz/storage/1/debian-amd64/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2005-04-29 ftp://ftp.debian.de/archive/debian-amd64/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb
2005-04-29 ftp://ftp2.nl.freebsd.org/debian-cdimage/snapshot-amd64/Debian/pool/main/a/acl2/acl2-infix_2.9-2_amd64.deb

Homepage:	-
Package version:	2.9-2
Architecture:	amd64
Distribution:	Debian
Filename:	acl2-infix_2.9-2_amd64.deb