|
|
|
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.3-1.1 Architecture: i386 Distribution: Debian Filename: acl2-infix_3.3-1.1_i386.deb Browse inside acl2-infix_3.3-1.1_i386.deb:
pkg://acl2-infix_3.3-1.1_i386.deb:171360/ info downloads[DIR]usr/ 65535+ twin directories
125 B 2007-04-25postrm view 76 mirrors
106 B 2007-04-25postinst view 162 mirrors
528 B 2007-04-25md5sums view 244+ mirrors
681 B 2007-04-25control view 605+ mirrorsDownload acl2-infix_3.3-1.1_i386.deb:
2007-04-07 ftp://ftp.int-evry.fr/mirror1/ubuntu.com/ubuntu-cd/.debian-mirror/pool/main/a/acl2/acl2-infix_3.3-1.1_i386.deb
2008-04-05 ftp://ftp.efrei.fr/pub/mirrors/linux/distributions/debian/pool/main/a/acl2/acl2-infix_3.3-1.1_i386.deb
2008-04-05 ftp://ftp.cstone.net/debian/pool/main/a/acl2/acl2-infix_3.3-1.1_i386.deb
2008-04-05 ftp://ftp.debian.hu/debian/pool/main/a/acl2/acl2-infix_3.3-1.1_i386.deb
2008-04-05 ftp://ftp.itb.ac.id/pub/debian/pool/main/a/acl2/acl2-infix_3.3-1.1_i386.deb
2008-04-05 ftp://ftp.uvigo.es/pub/linux/distribuciones/debian/pool/main/a/acl2/acl2-infix_3.3-1.1_i386.deb
2008-04-05 ftp://ftp.task.gda.pl/vol/zfs/ftp.debian.org/pub/debian/pool/main/a/acl2/acl2-infix_3.3-1.1_i386.deb
2008-04-05 ftp://ftp.lip6.fr/pub/linux/distributions/debian/pool/main/a/acl2/acl2-infix_3.3-1.1_i386.deb
2008-04-05 ftp://133.24.255.161/mirror3/debian/pool/main/a/acl2/acl2-infix_3.3-1.1_i386.deb
2008-04-05 ftp://ftp.ur.ru/debian/pool/main/a/acl2/acl2-infix_3.3-1.1_i386.deb
| Results 1 - 1 |