FTP Search

Directory

Content Search

acl2-infix

A Computational Logic for Applicative Common Lisp: infix interface

/Main/Debian/mips/math/

ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.

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

Info:

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

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

pkg://acl2-infix_2.9-2_mips.deb:256852/  info  downloads

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

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

2003-11-17  ftp://ftp.3logic.net/.1/debian-archive/pool/main/a/acl2/acl2-infix_2.9-2_mips.deb
2003-11-16  ftp://ftp.csie.chu.edu.tw/pub2/Debian/pool/main/a/acl2/acl2-infix_2.9-2_mips.deb
2003-11-17  ftp://200.17.202.16/debian-dists/debian/pool/main/a/acl2/acl2-infix_2.9-2_mips.deb
2004-11-15  ftp://ftp.rz.uni-kiel.de/pub2/linux/debian/pool/main/a/acl2/acl2-infix_2.9-2_mips.deb
2004-11-15  ftp://cudlug.cudenver.edu/debian/pool/main/a/acl2/acl2-infix_2.9-2_mips.deb
2004-11-15  ftp://ftp.uk.debian.org/debian/pool/main/a/acl2/acl2-infix_2.9-2_mips.deb
2004-11-15  ftp://200.17.202.17/debian-dists/debian/pool/main/a/acl2/acl2-infix_2.9-2_mips.deb
2005-08-06  ftp://ftp.ncku.edu.tw/Linux/Debian/debian/pool/main/a/acl2/acl2-infix_2.9-2_mips.deb
2004-11-15  ftp://ftp.funet.fi/.m/mirrors3/ftp.debian.org/debian/pool/main/a/acl2/acl2-infix_2.9-2_mips.deb
2004-11-15  ftp://ftp.gnome.org/cdimage/snapshot/Debian/pool/main/a/acl2/acl2-infix_2.9-2_mips.deb
2004-11-15  ftp://ftp.gnome.org/cdimage/.debian-mirror/pool/main/a/acl2/acl2-infix_2.9-2_mips.deb
2004-11-15  ftp://ftp.hosteurope.de/mirror/ftp.debian.org/debian-archive/pool/main/a/acl2/acl2-infix_2.9-2_mips.deb
2005-08-07  ftp://ftp.nsysu.edu.tw/Linux/Debian/debian/pool/main/a/acl2/acl2-infix_2.9-2_mips.deb
2004-11-16  ftp://core.ring.gr.jp/pub/linux/debian/debian/pool/main/a/acl2/acl2-infix_2.9-2_mips.deb
2004-11-16  ftp://202.18.64.24/pub/linux/debian/debian/pool/main/a/acl2/acl2-infix_2.9-2_mips.deb
2004-11-15  ftp://204.152.191.7/debian/pool/main/a/acl2/acl2-infix_2.9-2_mips.deb
2004-11-16  ftp://ftp.aist-nara.ac.jp/0/Linux/debian/debian/pool/main/a/acl2/acl2-infix_2.9-2_mips.deb
2004-11-15  ftp://192.87.102.42/vol/4/linux-debian/pool/main/a/acl2/acl2-infix_2.9-2_mips.deb
2004-11-15  ftp://192.87.102.43/vol/4/linux-debian/pool/main/a/acl2/acl2-infix_2.9-2_mips.deb
2004-11-16  ftp://133.37.44.6/pub/linux/debian/debian/pool/main/a/acl2/acl2-infix_2.9-2_mips.deb
2004-11-15  ftp://ftp.twaren.net/pub/Linux/Debian/debian/pool/main/a/acl2/acl2-infix_2.9-2_mips.deb
2004-11-15  ftp://ftp.cpan.nl/pub/debian/pool/main/a/acl2/acl2-infix_2.9-2_mips.deb
2004-11-15  ftp://ftp.task.gda.pl/vol/zfs/ftp.debian.org/pub/debian/pool/main/a/acl2/acl2-infix_2.9-2_mips.deb
2004-11-15  ftp://130.239.18.173/cdimage/snapshot/Debian/pool/main/a/acl2/acl2-infix_2.9-2_mips.deb
2004-11-15  ftp://130.239.18.137/cdimage/snapshot/Debian/pool/main/a/acl2/acl2-infix_2.9-2_mips.deb
2004-11-15  ftp://ftp.debian.de/archive/debian/pool/main/a/acl2/acl2-infix_2.9-2_mips.deb
2004-11-15  ftp://ftp2.nl.freebsd.org/debian-cdimage/snapshot/Debian/pool/main/a/acl2/acl2-infix_2.9-2_mips.deb
2004-11-15  ftp://ftp2.nl.freebsd.org/debian-archive/pool/main/a/acl2/acl2-infix_2.9-2_mips.deb
2004-11-15  ftp://ftp.tu-chemnitz.de/.SAN0/pub/linux/debian/debian-archive/pool/main/a/acl2/acl2-infix_2.9-2_mips.deb
2004-11-15  ftp://133.24.255.161/mirror3/debian/pool/main/a/acl2/acl2-infix_2.9-2_mips.deb
2005-08-06  ftp://ftp.ncku.edu.tw/.snapshot/nightly.9/Linux/Debian/debian/pool/main/a/acl2/acl2-infix_2.9-2_mips.deb
2004-11-15  ftp://ftp.nrc.ca/pub/systems/linux/debian.org/debian-archive/pool/main/a/acl2/acl2-infix_2.9-2_mips.deb
2004-11-15  ftp://130.239.18.163/cdimage/snapshot/Debian/pool/main/a/acl2/acl2-infix_2.9-2_mips.deb
2004-11-15  ftp://128.237.157.9/archive.debian.org/debian/pool/main/a/acl2/acl2-infix_2.9-2_mips.deb
2004-11-15  ftp://ftp.inf.tu-dresden.de/os/linux/dists/debian/archive/debian/pool/main/a/acl2/acl2-infix_2.9-2_mips.deb
2004-11-15  ftp://132.246.2.23/debian-archive/pool/main/a/acl2/acl2-infix_2.9-2_mips.deb
2004-11-15  ftp://ftp2.nl.freebsd.org/vol1/linux/debian-archive/pool/main/a/acl2/acl2-infix_2.9-2_mips.deb