 |
| FTP Search |
| Directory (beta) |
| Content Search (beta) |
|
|
|
|
acl2 - A Computational Logic for Applicative Common Lisp: main binary
/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 the base ACL2 binary.
Homepage: - Package version: 3.3-1.1 Architecture: i386 Distribution: Debian Filename: acl2_3.3-1.1_i386.deb
Browse inside acl2_3.3-1.1_i386.deb:
pkg://acl2_3.3-1.1_i386.deb:16902202/ downloads635 B 2008-04-05control view 560+ mirrors
582 B 2008-04-05md5sums view 530+ mirrors
[DIR]usr/ 1000+ twin directories
Download acl2_3.3-1.1_i386.deb:
2008-04-05 ftp://core.ring.gr.jp/pub/linux/debian/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://ftp.itb.ac.id/pub/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://ftp.funet.fi/.m/mirrors3/ftp.debian.org/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://ftp.duth.gr/pub/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://ftp.song.fi/pub/mirrors/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://ftp.uni-kassel.de/Mirrors1/ftp.de.debian.org/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://ftp.gnome.org/cdimage/.debian-mirror/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://ftp.gmd.de/ftp.debian.org/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://ftp.udc.es/mirror/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://ftp.uni-augsburg.de/mirrors/debian/ftp.de.debian.org/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://ftp.nerim.net/mirrors/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://ftp.uni-koeln.de/mirrors/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://ftp.uni-siegen.de/pub/debian/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://129.102.1.25/pub/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://ftp.fh-brandenburg.de/pub/linux/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://ftp.kfki.hu/pub/linux/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://ftp.informatik.uni-kiel.de/pub/unix/linux/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://64.50.236.52/.1/debian/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://64.50.238.52/.1/debian/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://ftp.3logic.net/.1/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://sapi.vlsm.org/.1/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://ftp.externet.hu/.lib/disk1/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://ftp.free.fr/.mirrors1/ftp.debian.org/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://24.215.0.24/Debian/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://ftp.stu.edu.tw/Linux/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://sunsite.mff.cuni.cz/MIRRORS/ftp.debian.org/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://ftp.tu-ilmenau.de/Mirrors/ftp.de.debian.org/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://ftp.bme.hu/OS/Linux/dist/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://200.17.202.1/debian-dists/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://200.17.202.16/debian-dists/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://ftp.br.debian.org/debian-dists/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://ftp.linorg.usp.br/debian-raiz/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://130.225.254.99/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://130.251.19.2/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://139.124.132.163/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://161.53.160.16/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://193.226.140.51/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://195.184.181.213/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://195.184.181.4/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://204.152.191.7/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://212.87.224.145/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://216.107.0.37/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://217.75.96.164/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://77.88.19.68/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://83.166.201.99/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://cudlug.cudenver.edu/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://debian.lcs.mit.edu/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://ftp.ankara.edu.tr/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://ftp.at.debian.org/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
2008-04-05 ftp://ftp.bg.debian.org/debian/pool/main/a/acl2/acl2_3.3-1.1_i386.deb
| Results 1 - 1 |