FTP Search

Directory (beta)

Content Search (beta)

acl2

A Computational Logic for Applicative Common Lisp: main binary

/Main/Debian/amd64/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:	2.9-2
Architecture:	amd64
Distribution:	Debian
Filename:	acl2_2.9-2_amd64.deb

Browse inside acl2_2.9-2_amd64.deb:

pkg://acl2_2.9-2_amd64.deb:16712026/  info  downloads

[DIR]usr/  65535+ twin directories
582 B  2003-11-13md5sums  view  474+ mirrors
555 B  2003-11-13control  view  605+ mirrors

Download acl2_2.9-2_amd64.deb:

2004-04-30  ftp://debian.lcs.mit.edu/pub/debian-amd64/debian-amd64/pool/main/a/acl2/acl2_2.9-2_amd64.deb
2004-04-30  ftp://debian.lcs.mit.edu/pub/debian-amd64/debian/pool/main/a/acl2/acl2_2.9-2_amd64.deb
2004-04-30  ftp://130.251.19.2/debian-amd64/pool/main/a/acl2/acl2_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_2.9-2_amd64.deb
2004-04-30  ftp://ftp.wh2.tu-dresden.de/pub/mirrors/debian-amd64/debian/pool/main/a/acl2/acl2_2.9-2_amd64.deb
2004-04-30  ftp://ftp.fr.debian.org/debian-amd64/pool/main/a/acl2/acl2_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_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_2.9-2_amd64.deb
2004-04-30  ftp://161.53.160.16/debian-amd64/pool/main/a/acl2/acl2_2.9-2_amd64.deb
2004-04-30  ftp://ftp.carnet.hr/misc/.ftp.hr.debian.org/debian-amd64/pool/main/a/acl2/acl2_2.9-2_amd64.deb
2004-04-30  ftp://ftp.tiscali.nl/pub/mirror/debian-amd64/debian-amd64/pool/main/a/acl2/acl2_2.9-2_amd64.deb
2004-04-30  ftp://ftp.tiscali.nl/pub/mirror/debian-amd64/debian/pool/main/a/acl2/acl2_2.9-2_amd64.deb
2004-04-30  ftp://ftp.fh-giessen.de/pub/linux/debian-amd64/debian-amd64/pool/main/a/acl2/acl2_2.9-2_amd64.deb
2004-04-30  ftp://ftp.fh-giessen.de/pub/linux/debian-amd64/debian/pool/main/a/acl2/acl2_2.9-2_amd64.deb
2004-04-30  ftp://77.88.19.68/debian-pure64/pool/main/a/acl2/acl2_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_2.9-2_amd64.deb
2005-04-29  ftp://ftp.tudelft.nl/pub/Linux/pure64.debian.org/pool/main/a/acl2/acl2_2.9-2_amd64.deb
2005-04-29  ftp://ftp.nz.kernel.org/pub/debian-amd64/debian-amd64/pool/main/a/acl2/acl2_2.9-2_amd64.deb
2005-04-29  ftp://ftp.nz.kernel.org/pub/debian-amd64/debian/pool/main/a/acl2/acl2_2.9-2_amd64.deb
2005-04-29  ftp://ftp.uni-kl.de/pub/linux/debian-amd64/debian-amd64/pool/main/a/acl2/acl2_2.9-2_amd64.deb
2005-04-29  ftp://ftp.uni-kl.de/pub/linux/debian-amd64/debian/pool/main/a/acl2/acl2_2.9-2_amd64.deb
2005-04-29  ftp://ftp.at.debian.org/debian-amd64/debian-amd64/pool/main/a/acl2/acl2_2.9-2_amd64.deb
2005-04-29  ftp://ftp.at.debian.org/debian-amd64/debian/pool/main/a/acl2/acl2_2.9-2_amd64.deb
2005-04-29  ftp://ftp.uk.debian.org/debian-amd64/debian-amd64/pool/main/a/acl2/acl2_2.9-2_amd64.deb
2005-04-29  ftp://ftp.uk.debian.org/debian-amd64/debian/pool/main/a/acl2/acl2_2.9-2_amd64.deb
2005-04-29  ftp://ftp.gnome.org/cdimage/snapshot-amd64/Debian/pool/main/a/acl2/acl2_2.9-2_amd64.deb
2005-04-29  ftp://ftp.gnome.org/mirror/debian-amd64/debian-amd64/pool/main/a/acl2/acl2_2.9-2_amd64.deb
2005-04-29  ftp://ftp.gnome.org/mirror/debian-amd64/debian/pool/main/a/acl2/acl2_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_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_2.9-2_amd64.deb
2005-04-29  ftp://ftp.unt.edu/mirrors/debian-amd64/pool/main/a/acl2/acl2_2.9-2_amd64.deb
2005-04-29  ftp://ftp.ussg.iu.edu/linux/debian-amd64/debian-amd64/pool/main/a/acl2/acl2_2.9-2_amd64.deb
2005-04-29  ftp://ftp.ussg.iu.edu/linux/debian-amd64/debian/pool/main/a/acl2/acl2_2.9-2_amd64.deb
2005-04-29  ftp://ftp.debian.de/debian-amd64/debian-amd64/pool/main/a/acl2/acl2_2.9-2_amd64.deb
2005-04-29  ftp://ftp.debian.de/debian-amd64/debian/pool/main/a/acl2/acl2_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_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_2.9-2_amd64.deb
2005-04-29  ftp://ftp.hands.com/debian-amd64/debian-amd64/pool/main/a/acl2/acl2_2.9-2_amd64.deb
2005-04-29  ftp://ftp.hands.com/debian-amd64/debian/pool/main/a/acl2/acl2_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_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_2.9-2_amd64.deb