FTP Search

Directory

Content Search

acl2-infix

A Computational Logic for Applicative Common Lisp: infix interface

/Main/Debian/i386/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:	3.4-1
Architecture:	i386
Distribution:	Debian
Filename:	acl2-infix_3.4-1_i386.deb

Browse inside acl2-infix_3.4-1_i386.deb:

pkg://acl2-infix_3.4-1_i386.deb:399510/  info  downloads

[DIR]usr/  65535+ twin directories
125 B  2007-08-28postrm  view  76 mirrors
106 B  2007-08-28postinst  view  162 mirrors
528 B  2007-08-28md5sums  view  244+ mirrors
676 B  2007-08-28control  view  553+ mirrors

Download acl2-infix_3.4-1_i386.deb:

2007-08-26  ftp://ftp.wustl.edu/pub/linux/distributions/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2008-08-24  ftp://ftp.cs.iastate.edu/pub/linux/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2007-08-26  ftp://sapi.vlsm.org/.1/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2007-08-26  ftp://64.15.134.18/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2007-08-26  ftp://161.53.160.16/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2007-08-26  ftp://ftp.carnet.hr/misc/.ftp.hr.debian.org/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2007-08-26  ftp://ftp.linux.pt/pub/mirrors/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2007-08-26  ftp://200.17.202.1/debian-dists/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2007-08-26  ftp://ftp.lug.udel.edu/pub/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2007-08-26  ftp://200.17.202.16/debian-dists/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2007-08-26  ftp://ftp.tuke.sk/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2008-08-24  ftp://mir1.ovh.net/lv0/ftp.debian.org/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2008-08-24  ftp://ftp.nz.kernel.org/pub/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2008-08-24  ftp://cudlug.cudenver.edu/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2008-08-24  ftp://ftp.hk.debian.org/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2008-08-24  ftp://ftp.cstone.net/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2008-08-24  ftp://zoffy.asahi-net.or.jp/pub/linux/debian/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2008-08-24  ftp://ftp.uk.debian.org/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2008-08-24  ftp://200.17.202.17/debian-dists/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2008-08-24  ftp://ftp.funet.fi/.m/mirrors3/ftp.debian.org/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2008-08-24  ftp://ftp.gnome.org/cdimage/.debian-mirror/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2008-08-24  ftp://128.118.2.96/pub/.mirrors/1/ftp.debian.org/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2008-08-24  ftp://ftp.gva.es/mirror/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2008-08-24  ftp://ftp.gva.es/mirror/debian2/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2008-08-24  ftp://ftp.jp.xemacs.org/pub/linux/debian/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2008-08-24  ftp://ftp.informatik.rwth-aachen.de/pub/comp/Linux/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2008-08-24  ftp://ftp.filearena.net/mnt5/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2008-08-24  ftp://ftp.ussg.iu.edu/linux/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2008-08-24  ftp://core.ring.gr.jp/pub/linux/debian/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2008-08-24  ftp://202.18.64.24/pub/linux/debian/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2008-08-24  ftp://194.65.100.43/pub/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2008-08-24  ftp://194.65.100.42/ftp2/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2008-08-24  ftp://204.152.191.7/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2008-08-24  ftp://ftp.fh-niederrhein.de/pub/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2008-08-24  ftp://ftp.aist-nara.ac.jp/0/Linux/debian/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2008-08-24  ftp://ftp.via.ecp.fr/pub/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2008-08-24  ftp://192.87.102.42/vol/4/linux-debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2008-08-24  ftp://192.87.102.43/vol/4/linux-debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2008-08-24  ftp://133.37.44.6/pub/linux/debian/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2008-08-24  ftp://206.167.141.10/data/pub/distro/debian/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2008-08-24  ftp://ftp.twaren.net/pub/Linux/Debian/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2008-08-24  ftp://ftp.uvigo.es/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2008-08-24  ftp://ftp9.freebsd.org/pub/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2008-08-24  ftp://200.236.31.1/debian-dists/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2008-08-24  ftp://packages.ndir.dscr.i18n.2008.11.29-21.31.00.gz/debian-dists/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2008-08-24  ftp://ftp.polytechnic.edu.na/pub/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2008-08-24  ftp://wt t0_Series004_z005_ch01.tif/pub/mirrors/debian2/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2008-08-24  ftp://194.65.100.42/pub/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2008-08-24  ftp://194.65.100.43/ftp2/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
2008-08-24  ftp://ftp.au.freebsd.org/disks/la3/.p/debian/pool/main/a/acl2/acl2-infix_3.4-1_i386.deb