FTP Search

Directory (beta)

Content Search (beta)

acl2

A Computational Logic for Applicative Common Lisp: main binary

/Main/Debian/armel/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 the base ACL2 binary.

Info:

Homepage:	-
Package version:	3.3-1.1
Architecture:	armel
Distribution:	Debian
Filename:	acl2_3.3-1.1_armel.deb

Browse inside acl2_3.3-1.1_armel.deb:

pkg://acl2_3.3-1.1_armel.deb:17360878/  info  downloads

[DIR]usr/  65535+ twin directories
582 B  2007-05-12md5sums  view  474+ mirrors
710 B  2007-05-12control  view  620+ mirrors

Download acl2_3.3-1.1_armel.deb:

2007-04-25  ftp://ftp.et-inf.fho-emden.de/pub/Mirrors/ftp.debian.org/debian/pool/main/a/acl2/acl2_3.3-1.1_armel.deb
2007-04-25  ftp://sapi.vlsm.org/.1/debian/pool/main/a/acl2/acl2_3.3-1.1_armel.deb
2007-04-25  ftp://ftp13.freebsd.org/pub/debian/pool/main/a/acl2/acl2_3.3-1.1_armel.deb
2007-04-25  ftp://ftp.int-evry.fr/mirror1/ubuntu.com/ubuntu-cd/.debian-mirror/pool/main/a/acl2/acl2_3.3-1.1_armel.deb
2008-04-23  ftp://ftp.ula.ve/linux/distribuciones/debian/pool/main/a/acl2/acl2_3.3-1.1_armel.deb
2008-04-23  ftp://ftp.efrei.fr/pub/mirrors/linux/distributions/debian/pool/main/a/acl2/acl2_3.3-1.1_armel.deb
2008-04-23  ftp://ftp.cstone.net/debian/pool/main/a/acl2/acl2_3.3-1.1_armel.deb
2008-04-23  ftp://ftp.gentoo.mesh-solutions.com/mirrors/ftp.de.debian.org/debian/pool/main/a/acl2/acl2_3.3-1.1_armel.deb
2008-04-23  ftp://ftp.keystealth.org/pub/debian/pool/main/a/acl2/acl2_3.3-1.1_armel.deb
2008-04-23  ftp://ftp.cerias.purdue.edu/pub/os/debian/pool/main/a/acl2/acl2_3.3-1.1_armel.deb
2008-04-23  ftp://ftp.informatik.rwth-aachen.de/pub/comp/Linux/debian/pool/main/a/acl2/acl2_3.3-1.1_armel.deb
2008-04-23  ftp://ftp.de.freebsd.org/pub/debian/pool/main/a/acl2/acl2_3.3-1.1_armel.deb
2008-04-23  ftp://ftp.gmd.de/ftp.debian.org/debian/pool/main/a/acl2/acl2_3.3-1.1_armel.deb
2008-04-23  ftp://ftp.informatik.uni-kiel.de/pub/unix/linux/debian/pool/main/a/acl2/acl2_3.3-1.1_armel.deb
2008-04-23  ftp://192.87.102.42/vol/4/linux-debian/pool/main/a/acl2/acl2_3.3-1.1_armel.deb
2008-04-23  ftp://ftp.uvigo.es/debian/pool/main/a/acl2/acl2_3.3-1.1_armel.deb
2008-04-23  ftp://ftp.uvigo.es/pub/linux/distribuciones/debian/pool/main/a/acl2/acl2_3.3-1.1_armel.deb
2008-04-23  ftp://ftp.task.gda.pl/vol/zfs/ftp.debian.org/pub/debian/pool/main/a/acl2/acl2_3.3-1.1_armel.deb