 |
| FTP Search |
| Directory (beta) |
| Content Search (beta) |
|
|
|
|
acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
/Main/Debian/ia64/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.
Or, if you are fearless
join the beta test
of our new ajax based
web RSS reader.
Homepage: - Package version: 3.3-1 Architecture: ia64 Distribution: Debian Filename: acl2-infix_3.3-1_ia64.deb
Browse inside acl2-infix_3.3-1_ia64.deb:
pkg://acl2-infix_3.3-1_ia64.deb:301594/ downloads675 B 2008-02-10control view 600+ mirrors
528 B 2008-02-10md5sums view 250+ mirrors
106 B 2008-02-10postinst view 153 mirrors
125 B 2008-02-10postrm view 107 mirrors
[DIR]usr/ 1000+ twin directories
Download acl2-infix_3.3-1_ia64.deb:
2008-02-10 ftp://ftp.udc.es/mirror/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://ftp.nerim.net/mirrors/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://ftp.stu.edu.tw/Linux/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://200.17.202.1/debian-dists/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://ftp.br.debian.org/debian-dists/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://204.152.191.7/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://216.107.0.37/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://77.88.19.68/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://cudlug.cudenver.edu/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://ftp.debian.de/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://ftp.hk.debian.org/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://ftp.nz.debian.org/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://ftp.tugraz.at/ftp.tu-graz.ac.at/.mirror-sites/ftp.at.debian.org/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://ftp.gva.es/mirror/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://133.24.255.161/mirror3/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://ftp.man.szczecin.pl/pub/Linux/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://ftp.de.freebsd.org/pub/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://ftp.pl.debian.org/pub/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://ftp.u-picardie.fr/pub/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://ftp9.freebsd.org/pub/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://ftp.in2p3.fr/pub/linux/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://130.75.2.22/pub/mirror/linux/debian-mirror/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://130.75.2.80/pub/mirror/linux/debian-mirror/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://ftp.gul.uc3m.es/pub/mirrors/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://144.122.144.177/pub/mirrors/ftp.de.debian.org/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://ftp.nrc.ca/pub/systems/linux/debian.org/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://192.87.102.42/vol/4/linux-debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://ftp.cerias.purdue.edu/pub/os/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://64.50.236.52/.1/debian/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://64.50.238.52/.1/debian/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://ftp.tu-chemnitz.de/.SAN0/pub/linux/debian/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://ftp.funet.fi/.m/mirrors3/ftp.debian.org/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://ftp.free.fr/.mirrors1/ftp.debian.org/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://24.215.0.24/Debian/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://ftp.tu-ilmenau.de/Mirrors/ftp.de.debian.org/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://ftp.bme.hu/OS/Linux/dist/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://ftp.gnome.org/cdimage/.debian-mirror/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://200.17.202.16/debian-dists/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://200.17.202.17/debian-dists/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://ftp.linorg.usp.br/debian-raiz/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://130.225.254.99/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://161.53.160.16/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://212.87.224.145/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://217.75.96.164/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://debian.lcs.mit.edu/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://ftp.ankara.edu.tr/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://ftp.at.debian.org/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://ftp.bg.debian.org/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://ftp.bononia.it/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
2008-02-10 ftp://ftp.cl.debian.org/debian/pool/main/a/acl2/acl2-infix_3.3-1_ia64.deb
| Results 1 - 1 |